Ubuntu
coq-hott package

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 Pocket 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

View changes file

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.