coq-hott 8.18-1build2 source package in Ubuntu
Changelog
coq-hott (8.18-1build2) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Thu, 23 Nov 2023 00:41:27 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-hott_8.18.orig.tar.gz | 888.0 KiB | 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 |
coq-hott_8.18-1build2.debian.tar.xz | 2.9 KiB | 343255c7497c0960cd7b9c3963042bd734a03b034dd782ce0d3a3c1403952d49 |
coq-hott_8.18-1build2.dsc | 2.0 KiB | 719834be73a2a68fc5b92d59f13b46ed9a1a650c669ad6c21aded004266dfb73 |
Available diffs
- diff from 8.18-1 (in Debian) to 8.18-1build2 (341 bytes)
- diff from 8.18-1build1 to 8.18-1build2 (307 bytes)
Binary packages built by this source
- libcoq-hott: Coq library for homotopy type theory
This library is a formalization of homotopy type
theory for Coq, where propositional equality is
interpreted as homotopy and type isomorphism as
homotopy equivalence.
.
Coq is a proof assistant for higher-order logic.