coqeal 2.0.1-1build5 source package in Ubuntu
Changelog
coqeal (2.0.1-1build5) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:19:25 +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 |
---|---|---|
coqeal_2.0.1.orig.tar.gz | 211.7 KiB | 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 |
coqeal_2.0.1-1build5.debian.tar.xz | 2.5 KiB | 09dc41cd09c011b60d8b4c2ba358a096474cf48d655d7d8833cf38bb0f94b4f4 |
coqeal_2.0.1-1build5.dsc | 2.2 KiB | 66509688beaddd498e72d990d0de9f74168c542e2b6fdc0d8d45563548696e42 |
Available diffs
- diff from 2.0.1-1build4 to 2.0.1-1build5 (323 bytes)
Binary packages built by this source
- libcoq-coqeal: algebra and data structure algorithms for Coq
This library provides developments in algebra (including
normal forms of matrices), optimized algorithms on
MathComp data structures, and a data representation change
framework.
.
Coq is a proof assistant for higher-order logic, and MathComp
is a large set of mathematical theories for Coq.