Resolve "INSTALL.md: Update due to Debian package now available"

Closes #76 (closed)

changed milestone to %1.0 - Pony

added packaging question labels

added 3 commits

• b784a9fc - 1 commit from branch master
• 75fa07f5 - INSTALL: Sort distributions alphabetically
• 682ead0c - INSTALL: Update Debian package status

Compare with previous version

added 4 commits

• 682ead0c...bdd55810 - 2 commits from branch master
• dc5387d9 - INSTALL: Sort distributions alphabetically
• 0bcb515d - INSTALL: Update Debian package status

Compare with previous version

added 1 commit

• 0da065fc - Update INSTALL.md

Compare with previous version

What about the Nautilus extension?

added 4 commits

• 4999209f - 1 commit from branch master
• b6be7ca9 - INSTALL: Sort distributions alphabetically
• 61eaadaf - INSTALL: Update Debian package status
• 3b8b41fe - Update INSTALL.md

Compare with previous version

enabled an automatic merge when the pipeline for 3b8b41fe succeeds

canceled the automatic merge

added 1 commit

• ee5c988b - Update INSTALL.md

Compare with previous version

added 5 commits

• dc5603eb - 1 commit from branch master
• 09f2eee4 - INSTALL: Sort distributions alphabetically
• 9736b938 - INSTALL: Update Debian package status
• 3927a9ee - Update INSTALL.md
• a879ce40 - Update INSTALL.md

Compare with previous version

enabled an automatic merge when the pipeline for a879ce40 succeeds

merged