Commit 1be0a4ee authored by georg's avatar georg Committed by jvoisin

INSTALL: Update Debian package status

Also, make the note generic, to omit the need to update it "constantly".

Closes #76
parent dc5603eb
Pipeline #25819 passed with stages
in 2 minutes and 12 seconds