Ubuntu
coq-ext-lib package

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

Changelog

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:14:05 +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
Oracular release universe misc
Noble release universe misc

Downloads

File Size SHA-256 Checksum
coq-ext-lib_0.12.0.orig.tar.gz 81.5 KiB b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51
coq-ext-lib_0.12.0-1build4.debian.tar.xz 2.4 KiB fe3cea201e094d5e645c35273ef92f509d36619c95618d16148bf8fe3930e03f
coq-ext-lib_0.12.0-1build4.dsc 2.1 KiB ed68800847a37d0ccc413cd1780c238713e299b75fca1ee01e7b7969bcc777b7

Available diffs

View changes file

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.