Ubuntu
coqeal package

coqeal 2.0.2-1build3 source package in Ubuntu

Changelog

coqeal (2.0.2-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 03 Jun 2024 23:43:40 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
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

Downloads

File Size SHA-256 Checksum
coqeal_2.0.2.orig.tar.gz 211.9 KiB db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21
coqeal_2.0.2-1build3.debian.tar.xz 2.4 KiB b8b679342ee45231d462b9339e4b7b01b413857f48603e1fa5fd19dc2dec7c2a
coqeal_2.0.2-1build3.dsc 2.1 KiB c7686ea807ea25e4b5a88aa78ebaf2cd02f555323faf1212e29ee8cc2d11d059

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.