coq-hott 8.18-3build2 source package in Ubuntu
Changelog
coq-hott (8.18-3build2) noble; urgency=medium * No-change rebuild for new libcoq-stdlib ABI -- Steve Langasek <email address hidden> Sun, 24 Mar 2024 00:13:47 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- 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-3build2.debian.tar.xz | 3.0 KiB | 4cd336d288ef392e64eefaaf690e7289cb2db0f5a90dfd9836bfbad93cd3e43b |
coq-hott_8.18-3build2.dsc | 2.1 KiB | 293cb3391ae20ae2e77951bc28c2ec88b060a8ed0f2b2a94a1a6bd9dbebbdb9c |
Available diffs
- diff from 8.18-3build1 to 8.18-3build2 (495 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.