coq-float 1:8.3pl1-4 source package in Debian
Changelog
coq-float (1:8.3pl1-4) unstable; urgency=low * Recompile with camlp5 6.06 (no changes) -- Stéphane Glondu <email address hidden> Wed, 06 Jun 2012 22:59:40 +0200
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 | |
|---|---|---|---|---|
| Wheezy | release | main | libdevel |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-float_8.3pl1-4.dsc | 2.0 KiB | 1314b9ee05a376efd668b053289123cdfeb3333ce4b7ac97e77bea6aa20a4bfc |
| coq-float_8.3pl1.orig.tar.gz | 351.3 KiB | f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 |
| coq-float_8.3pl1-4.debian.tar.gz | 3.2 KiB | 9f87c4f1841025baa621974200a3984d7fe2a0d28de45d07a3483100470b726f |
Available diffs
- diff from 1:8.3pl1-3 to 1:8.3pl1-4 (326 bytes)
No changes file available.
