Devuan package info manager -- cgi script