coq-unimath 20240923-2 source package in Ubuntu

Changelog

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

  * Unbreak autopkgtest.

 -- Julien Puydt <email address hidden>  Mon, 25 Nov 2024 10:37:16 +0100

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
Plucky release universe misc

Downloads

File Size SHA-256 Checksum
coq-unimath_20240923-2.dsc 2.1 KiB 145bc63df145e376c60194bd7411fa0586f175144dca032e9c3ae1c9f7b06086
coq-unimath_20240923.orig.tar.gz 3.4 MiB db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0
coq-unimath_20240923-2.debian.tar.xz 2.2 KiB 865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178

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.