Debian
coq-float package

coq-float 1:8.2-1.2-9 source package in Debian

Changelog

coq-float (1:8.2-1.2-9) unstable; urgency=low


  * Rebuild with Coq 8.3pl3 (no source changes)

 -- Stéphane Glondu <email address hidden>  Sun, 25 Dec 2011 17:51:31 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
coq-float_8.2-1.2-9.dsc 2.0 KiB 302095a9083323ea65e7c09e688b3776197476117a412dd00aef4e0d6da527fc
coq-float_8.2-1.2.orig.tar.gz 315.4 KiB df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2
coq-float_8.2-1.2-9.debian.tar.gz 3.4 KiB 043cb19c0d5519e36f907f25db54034c4abea0f7c98818ce2d0dd4aeabda7a7e

No changes file available.

Binary packages built by this source