coq-unicoq 1.6-8.19-1 source package in Ubuntu
Changelog
coq-unicoq (1.6-8.19-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.7.0. -- Julien Puydt <email address hidden> Fri, 26 Apr 2024 15:27:08 +0200
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 | |
---|---|---|---|---|
Oracular | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-unicoq_1.6-8.19-1.dsc | 2.0 KiB | 98b3df66a18b80e1837355f704c4c9541b04bdb459993b52d9af5fb7a17956de |
coq-unicoq_1.6-8.19.orig.tar.gz | 579.8 KiB | c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 |
coq-unicoq_1.6-8.19-1.debian.tar.xz | 2.5 KiB | d297d553929e693a51206af73e9bb8af86f8ec21786253d59f935606a26754e7 |
Available diffs
No changes file available.
Binary packages built by this source
- libcoq-unicoq: enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
.
Coq is a proof assistant for higher-order logic.
- libcoq-unicoq-dbgsym: debug symbols for libcoq-unicoq