Publishing details

• Published on 2014-01-21
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

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

Builds

• i386

Built packages

• libfloat-coq Coq library on floating-point arithmetic

Package files

• coq-float_8.4-3.debian.tar.xz (3.3 KiB)
• coq-float_8.4-3.dsc (1.9 KiB)
• coq-float_8.4.orig.tar.gz (344.1 KiB)
• libfloat-coq_8.4-3_all.deb (10.9 MiB)