[ubuntu/noble-updates] coq-libhyps 2.0.8-1build1 (Accepted)

[Ubuntu Archive Robot]

coq-libhyps (2.0.8-1build1) noble; urgency=medium

  * Rebuild against latest coq

Date: 2023-12-23 01:30:13.956911+00:00
Changed-By: Jeremy Bícha <jeremy.bicha at canonical.com>
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-libhyps/2.0.8-1build1
-------------- next part --------------
Sorry, changesfile not available.