Ubuntu
coq-ext-lib package

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

Changelog

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

  [Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

  [Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044715).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 15:24:39 +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.0-1.dsc 2.0 KiB 79700b63435804bc7b4f81c5fbac86813563908e8a49b642ef8b7ed7f0757150
coq-ext-lib_0.12.0.orig.tar.gz 81.5 KiB b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51
coq-ext-lib_0.12.0-1.debian.tar.xz 2.2 KiB 59ec97967a778b444a85c3ade1fc02ef0e01482d6b07ac634e9a55269b29fc76

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.