Ubuntu
coq-ext-lib package

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

Changelog

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:34:01 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
coq-ext-lib_0.12.1.orig.tar.gz 82.3 KiB e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d
coq-ext-lib_0.12.1-1build3.debian.tar.xz 2.3 KiB 944763f017c8990d0c89c9752943b523e471c1d8260a3cd62c09487c8932d454
coq-ext-lib_0.12.1-1build3.dsc 2.0 KiB f5c991274271fcd983d5a5870ae5f565f087da8f96eeb73279b6ab462c84bb57

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.