Ubuntu
coq-ext-lib package

coq-ext-lib 0.11.6-1 source package in Ubuntu

Changelog

coq-ext-lib (0.11.6-1) unstable; urgency=medium

  * Initial release. (Closes: #1013963)

 -- Julien Puydt <email address hidden>  Tue, 28 Jun 2022 08:08:54 +0200

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
coq-ext-lib_0.11.6-1.dsc 2.0 KiB b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa
coq-ext-lib_0.11.6.orig.tar.gz 80.6 KiB ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409
coq-ext-lib_0.11.6-1.debian.tar.xz 1.9 KiB 7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb

No changes file available.

Binary packages built by this source

libcoq-ext-lib: No summary available for libcoq-ext-lib in ubuntu kinetic.

No description available for libcoq-ext-lib in ubuntu kinetic.