coq-unimath 20231010-1build3 source package in Ubuntu
Changelog
coq-unimath (20231010-1build3) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:15:36 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Noble | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-unimath_20231010.orig.tar.gz | 2.8 MiB | c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b |
coq-unimath_20231010-1build3.debian.tar.xz | 2.2 KiB | 3e05d758233dbe7c3d136966d3970b2b629d818b12b2b9d6a5fc0a4c05d2e0e2 |
coq-unimath_20231010-1build3.dsc | 2.1 KiB | d07542ebb4beed9b49868de214155edccd791f6b5da182e7155062a0ab80b10f |
Available diffs
- diff from 20231010-1build1 to 20231010-1build3 (404 bytes)
- diff from 20231010-1build2 to 20231010-1build3 (342 bytes)
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.