Ubuntu
coq-unimath package

coq-unimath 20231010-1build1 source package in Ubuntu

Changelog

coq-unimath (20231010-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:15:42 +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-unimath_20231010.orig.tar.gz 2.8 MiB c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b
coq-unimath_20231010-1build1.debian.tar.xz 2.2 KiB cc2027e752ad509d92387fc782028193f1d1f43cf2590701c6d29ae7b6f91a68
coq-unimath_20231010-1build1.dsc 2.2 KiB 30d7e81c164410a58692a898e6f0d1111d4342ff26f03853e42f0241b8069837

View changes file

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.