asis-2007-4
f82b8bcf · * debian/install_asis.gpr: adjust to the fact that gnatvsn.gpr is now ·