Ubuntu
coqeal package

coqeal 2.0.2-1 source package in Ubuntu

Changelog

coqeal (2.0.2-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 30 Mar 2024 11:56:17 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
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-1.dsc 2.1 KiB 84c2833ca127b7268ac6ceb7bd7f723993c37fd4cee4b8b13f226f5ceaff22c9
coqeal_2.0.2.orig.tar.gz 211.9 KiB db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21
coqeal_2.0.2-1.debian.tar.xz 2.3 KiB d87666409899e0ef9089e6bf16808277f4f198447ff88e03e16145723d731697

No changes file available.

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.