Ubuntu
coq-ext-lib package

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

Changelog

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

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 24 Feb 2024 09:56:43 +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
coq-ext-lib_0.12.1-1.dsc 2.0 KiB 00173e5cc235832fa75216b2039e9b73d3bc68dfdda8b24907b2fc822329dbbf
coq-ext-lib_0.12.1.orig.tar.gz 82.3 KiB e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d
coq-ext-lib_0.12.1-1.debian.tar.xz 2.2 KiB d1ad6d64448371b326b6af54f778298a3969f5a23b78583e337417d54bf85310

No changes file available.

Binary packages built by this source

libcoq-ext-lib: Collection of theories and plugins for Coq

 This package provides a collection of theories and plugins
 that may be useful in other Coq developments.
 .
 Coq is a proof assistant for higher-order logic.