Ubuntu
coqeal package

coqeal 2.0.1-1build2 source package in Ubuntu

Changelog

coqeal (2.0.1-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 17 Feb 2024 01:27:41 +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
coqeal_2.0.1.orig.tar.gz 211.7 KiB 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385
coqeal_2.0.1-1build2.debian.tar.xz 2.4 KiB 0ef968e915fa061fc0949614fa17b990a458522dbf826edd4d2a179f52c0f115
coqeal_2.0.1-1build2.dsc 2.1 KiB 3866aa7f064cde7cf2d288f211ab24efd646f563df6bbfe568fd2b0b755b33d3

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.