And when to remove unmaintained lines? After yet another year or so?
unmaintained "git-hash" "package-name" "2014-jan"
^^ so that you know when to remove that line?
^ you may want to catch the install by name case
^^ you cannot instert it, you have to use the git hash
before that one
Marc Weber