Ubuntu
coq-stdpp package

coq-stdpp 1.9.0-1build3 source package in Ubuntu

Changelog

coq-stdpp (1.9.0-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:15:15 +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
coq-stdpp_1.9.0.orig.tar.gz 290.5 KiB 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc
coq-stdpp_1.9.0-1build3.debian.tar.xz 2.7 KiB 8a6da1e56aa03a9b6547a81c6bd7cc121477d6ab6386c36c471448c09cc7e68c
coq-stdpp_1.9.0-1build3.dsc 2.1 KiB d700ce63c7e9ab82bff0ce785851996f65bdc05852896d8c5b39afb7c0285578

Available diffs

View changes file

Binary packages built by this source

libcoq-stdpp: Extended standard library for Coq

 This package provides an extended standard library
 for Coq, for instance:
  - a great number of definitions and lemmas for common data
 structures like lists, finite maps and finite multisets ;
  - type classes for common properties like decidable equality,
 finiteness or countability ;
  - various tactics for common tasks ;
 all of this dependency-free and axiom-free.
 .
 Coq is a proof assistant for higher-order logic.