Ubuntu
coq-float package

Change logs for coq-float source package in Utopic

  1. Utopic (14.10)
  2. Change log 
  • coq-float (1:8.4-4) unstable; urgency=medium


  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <email address hidden>  Wed, 30 Jul 2014 08:59:29 +0200
  • coq-float (1:8.4-3) unstable; urgency=medium


  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Mon, 20 Jan 2014 07:44:07 +0100