[ubuntu/mantic-proposed] hol-light 20230128-2 (Accepted)

[Gianfranco Costamagna]

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.