[ubuntu/focal-proposed] coq-float 1:8.10.0-1 (Accepted)

[Gianfranco Costamagna]

coq-float (1:8.10.0-1) unstable; urgency=medium

  * Team upload
  * New upstream release, compiles with coq 8.11.0  (closes: #953765)
  * Add debian/upstream, containing the reference of the TPHOL paper

Date: 2020-03-16 16:31:45.288756+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-float/1:8.10.0-1
-------------- next part --------------
Sorry, changesfile not available.