Ubuntu
coqeal package

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 Pocket 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

View changes file

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.