coq-mtac2 1.4+8.17-1build1 source package in Ubuntu
Changelog
coq-mtac2 (1.4+8.17-1build1) mantic; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Wed, 26 Jul 2023 07:12:52 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Mantic
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Mantic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-mtac2_1.4+8.17.orig.tar.gz | 245.7 KiB | 88795eb5a08debde60ab1a2eb7c9925fbdaf561e240e3c807528dc84242b555f |
coq-mtac2_1.4+8.17-1build1.debian.tar.xz | 2.6 KiB | 6a600685a511ef08a562c8662161bb8ee668edd4b0442e9ca0fe266e840eee70 |
coq-mtac2_1.4+8.17-1build1.dsc | 2.0 KiB | 33e3f320d3d2e92490978d939ace9daeadb35a112db9c81eb5bacbf7b8fdf81c |
Available diffs
Binary packages built by this source
- libcoq-mtac2: Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.
.
Coq is a proof assistant for higher-order logic.
- libcoq-mtac2-dbgsym: debug symbols for libcoq-mtac2