Ubuntu
coq-hott package

coq-hott 8.18-1 source package in Ubuntu

Changelog

coq-hott (8.18-1) unstable; urgency=medium

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1045075)
  * New upstream release.

 -- Julien Puydt <email address hidden>  Fri, 01 Sep 2023 14:05:19 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
coq-hott_8.18-1.dsc 2.0 KiB dfe65356412f39e28e38d918d72d8989a83831a0f63413db35682b2a008428b9
coq-hott_8.18.orig.tar.gz 888.0 KiB 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00
coq-hott_8.18-1.debian.tar.xz 2.8 KiB 646401373a126160573b2d9c4994ca2d59b31421ec100972773354d494552c5d

No changes file available.

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.