coq-float 1:8.3pl1-2 source package in Debian
Changelog
coq-float (1:8.3pl1-2) unstable; urgency=low * Recompile with camlp5 6.04 (no changes) -- Stéphane Glondu <email address hidden> Tue, 06 Mar 2012 08:30:25 +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 | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-float_8.3pl1-2.dsc | 2.0 KiB | 64fc74edee88abfe323a590b0ebaaa20d3076e2ace330a82f1318b0cebefe348 |
coq-float_8.3pl1.orig.tar.gz | 351.3 KiB | f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 |
coq-float_8.3pl1-2.debian.tar.gz | 3.2 KiB | 639898a7df238967542df39450f74100e7a361c84f1034f6498fcb4fd9b03e3f |
No changes file available.