[ubuntu/mantic-proposed] hol-light 20230128-2 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Thu Sep 7 14:45:04 UTC 2023
hol-light (20230128-2) unstable; urgency=medium
* Team upload
* Add support for camlp5 8.02
* Bump Standards-Version to 4.6.2
Date: 2023-09-07 10:35:43.889021+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/hol-light/20230128-2
-------------- next part --------------
Sorry, changesfile not available.
More information about the mantic-changes
mailing list