Ubuntu
coq-float package

Change logs for coq-float source package in Hardy

  1. Hardy (8.04)
  2. Change log 
  • coq-float (1:8.1-1.0-3) unstable; urgency=low

  * Rebuild with latest coq.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  19 Nov 2007 11:43:31 +0000
  • coq-float (1:8.1-1.0-2) unstable; urgency=low

  * Rebuild with latest version of coq.

coq-float (1:8.1-1.0-1) unstable; urgency=low

  * New upstream release.
  * Updated upstream url and watch.
  * Made the package arch all since coq libraries should be
    platform-independant.

coq-float (2001-1) unstable; urgency=low

  * Initial release, closes: #438613.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Sun,  28 Oct 2007 16:51:40 +0000