[ubuntu/noble-updates] coq-simple-io 1.8.0-4ubuntu1 (Accepted)

[Ubuntu Archive Robot]

coq-simple-io (1.8.0-4ubuntu1) noble; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
      to fix the V exported value.

Date: 2023-12-24 07:59:07.627930+00:00
Changed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-4ubuntu1
-------------- next part --------------
Sorry, changesfile not available.