Ubuntu
coq-unimath package

coq-unimath 20240331-2 source package in Ubuntu

Changelog

coq-unimath (20240331-2) unstable; urgency=medium

  * Team upload
  * Do not hardcode /usr/lib/ocaml
  * Use makefile DH buildsystem (to parallelize)

 -- Stéphane Glondu <email address hidden>  Sun, 04 Aug 2024 06:32:31 +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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
coq-unimath_20240331-2.dsc 1.8 KiB 3f34a25a83405c48d26b40b28415fe86cb626d762780299387b8a8ac9e76cad1
coq-unimath_20240331.orig.tar.gz 3.2 MiB 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d
coq-unimath_20240331-2.debian.tar.xz 2.2 KiB e36e649497643929873ecb57c3b4dee995a57f2b88a17f5e73b6b7dfa8733ac4

No changes file available.

Binary packages built by this source

libcoq-unimath: univalent formalization of mathematics for Coq

 This package provides a library to formalize a substantial body
 of mathematics using the univalent point of view.
 .
 Coq is a proof assistant for higher-order logic.