coq-deriving 0.2.1-1build2 source package in Ubuntu

Changelog

coq-deriving (0.2.1-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Jan 2025 09:27:07 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Plucky
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-deriving_0.2.1.orig.tar.gz 31.1 KiB 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1
coq-deriving_0.2.1-1build2.debian.tar.xz 2.3 KiB 5891c96ae62b5af625ea03290bbfc92d5b9054b3f825bdfd0c127fccea47f146
coq-deriving_0.2.1-1build2.dsc 2.1 KiB 82df0c86428fdaf9d74c6305c3a4de84a96932cac1dd9c5607fe23aff161060a

Available diffs

View changes file

Binary packages built by this source

libcoq-deriving: deriving MathComp classes from inductive types

 This package builds instances of MathComp classes with little
 boilerplate, mimicking Haskell's deriving facility.
 .
 MathComp is a mathematical library for Coq.
 .
 Coq is a proof assistant for higher-order logic.