coq-float 1:8.2-1.2-1 source package in Debian
Changelog
coq-float (1:8.2-1.2-1) unstable; urgency=low [ Samuel Mimram ] * Switch packaging to git. * Enforce strict dependency on coq ABI. * Update standards version to 3.8.0. * Add Homepage field. [ Stephane Glondu ] * New Upstream Version * Use debhelper 7 * Add a build cache (for Debian debugging) * Set Maintainer to d-o-m, add Samuel and myself to Uploaders * Add DM-Upload-Allowed * Switch copyright to machine-parsable format * Add a more detailed long description for libfloat-coq -- Stephane Glondu <email address hidden> Wed, 11 Mar 2009 17:13:21 +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.2-1.2-1.dsc | 1.3 KiB | 584ef8a1ba9b214abd4e3d6b5bab7fb64fcfe6af3910cc1c9fed67d086b8a5a1 |
coq-float_8.2-1.2.orig.tar.gz | 315.4 KiB | df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 |
coq-float_8.2-1.2-1.diff.gz | 2.6 KiB | eb5d1affb0481e475e93c1dd7c0e90067f9aa926752d16d7520c916560d9179f |
No changes file available.