Ubuntu
coq-unimath package

coq-unimath 20230420-4build3 source package in Ubuntu

Changelog

coq-unimath (20230420-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 00:42:34 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Debian OCaml Maintainers
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_20230420.orig.tar.gz 2.5 MiB 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50
coq-unimath_20230420-4build3.debian.tar.xz 3.3 KiB 7a8767cd8fc15425567087defe8cc62180419bf2876e985c0eec21aa959e0e79
coq-unimath_20230420-4build3.dsc 2.1 KiB eba34a5e1440afc07fe6c0e436eae8493ad95378fa907b9fd491205130a5a215

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.