coq-float 1:8.10.0-1 source package in Debian
Changelog
coq-float (1:8.10.0-1) unstable; urgency=medium * Team upload * New upstream release, compiles with coq 8.11.0 (closes: #953765) * Add debian/upstream, containing the reference of the TPHOL paper -- Ralf Treinen <email address hidden> Mon, 16 Mar 2020 11:08:42 +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.10.0-1.dsc | 1.9 KiB | c3fc3fe55ae235432900519627df7673cb660f07df755cb335c11fd001e5e061 |
coq-float_8.10.0.orig.tar.gz | 96.8 KiB | e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea |
coq-float_8.10.0-1.debian.tar.xz | 3.3 KiB | d1bd0ca61d5c38ffc8789eb5a6cf808f2f913bac1c790ee8db531b03c6343f8f |
Available diffs
No changes file available.