coq-deriving 0.2.0-2 source package in Ubuntu
Changelog
coq-deriving (0.2.0-2) unstable; urgency=medium * Bump version because of binary issues. -- Julien Puydt <email address hidden> Sat, 24 Feb 2024 12:10:06 +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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-deriving_0.2.0-2.dsc | 2.1 KiB | 1ab02b875a98dd5f29b29a81e731604f4bfec60d25b9b708224aa03ce2f9c948 |
coq-deriving_0.2.0.orig.tar.gz | 30.7 KiB | b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 |
coq-deriving_0.2.0-2.debian.tar.xz | 2.1 KiB | 47d1e54c1a3291f04cd85c3ead0b71ffaff8f5976eb020fb67eb29edbb4ec4a4 |
No changes file available.
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.