coq-float 1:8.9.0-1 source package in Debian
Changelog
coq-float (1:8.9.0-1) unstable; urgency=medium * New upstream release (Closes: #813596) * Update Homepage and debian/watch * Update Vcs-* * Remove Samuel from Uploaders * Bump debhelper compat level to 12 * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no -- Stéphane Glondu <email address hidden> Sat, 01 Feb 2020 11:28:40 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- libdevel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-float_8.9.0-1.dsc | 1.7 KiB | 1909988cd544246228ff4a54bfe4e0c5fecdd80b39d25cd2fbc9cc47d930f851 |
coq-float_8.9.0.orig.tar.gz | 96.7 KiB | 8690288a0c5c7d3527981f469a9da57453db896e3161ccf1299c2a37f210a760 |
coq-float_8.9.0-1.debian.tar.xz | 3.0 KiB | bc7c28c443a057a86daf4da17377d10309cf54b1adc70584ac6d9a1a27afdf6d |
No changes file available.