Ubuntu
coq-stdpp package

coq-stdpp 1.9.0-1build1 source package in Ubuntu

Changelog

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

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:15:25 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-stdpp_1.9.0.orig.tar.gz 290.5 KiB 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc
coq-stdpp_1.9.0-1build1.debian.tar.xz 2.6 KiB 7de5f0d3be587cbe35c580818ea643263e08c775d4980b23b4a4ebc3de032dda
coq-stdpp_1.9.0-1build1.dsc 2.1 KiB c5376234b4fe7b1797dad18b3b8706b36d4f7cb84aa07799eeff84b1d387ab6f

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.