coq-hott 8.18-3build4 source package in Ubuntu
Changelog
coq-hott (8.18-3build4) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:14:22 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | misc | |
| Noble | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-hott_8.18.orig.tar.gz | 888.0 KiB | 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 |
| coq-hott_8.18-3build4.debian.tar.xz | 3.1 KiB | 819d67736ad5f506550e4e560fd583df93d9a5310bc19256332a9c203a8f9aee |
| coq-hott_8.18-3build4.dsc | 2.1 KiB | 7133791050af385f132b2f082050e5f7a4eed9d4f537a21a5b6a17f90b95ac9e |
Available diffs
- diff from 8.18-3build3 to 8.18-3build4 (324 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.
