coq-unimath 20240331-2build3 source package in Ubuntu

Changelog

coq-unimath (20240331-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

 -- Matthias Klose <email address hidden>  Sat, 07 Sep 2024 16:35:01 +0200

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Oracular
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.orig.tar.gz 3.2 MiB 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d
coq-unimath_20240331-2build3.debian.tar.xz 2.3 KiB f8658f83e26046934111469588877c3d31a35e8a75abf046fdca891b5bafec7c
coq-unimath_20240331-2build3.dsc 2.1 KiB 3a6385876799a264f3d94dd81eedb646b050a59b107335e56d4ed2c26b366aff

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.