coq 8.15.1+dfsg-1build1 source package in Ubuntu
Changelog
coq (8.15.1+dfsg-1build1) kinetic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 02 May 2022 10:39:50 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Kinetic
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.15.1+dfsg.orig.tar.xz | 4.5 MiB | 75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89 |
coq_8.15.1+dfsg-1build1.debian.tar.xz | 38.8 KiB | ac1566af240c65cf87928d0ba0ff55dbbce0957c5d48047335bd08ce205cc38f |
coq_8.15.1+dfsg-1build1.dsc | 2.5 KiB | 8058636c989bbbad1f448ce8766708de2ad30003c61b2995c3c09a9ec7461663 |
Available diffs
Binary packages built by this source
- coq: No summary available for coq in ubuntu kinetic.
No description available for coq in ubuntu kinetic.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu kinetic.
No description available for coq-dbgsym in ubuntu kinetic.
- coqide: No summary available for coqide in ubuntu kinetic.
No description available for coqide in ubuntu kinetic.
- coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu kinetic.
No description available for coqide-dbgsym in ubuntu kinetic.
- libcoq-core-ocaml: No summary available for libcoq-core-ocaml in ubuntu kinetic.
No description available for libcoq-core-ocaml in ubuntu kinetic.
- libcoq-core-ocaml-dbgsym: No summary available for libcoq-core-ocaml-dbgsym in ubuntu kinetic.
No description available for libcoq-
core-ocaml- dbgsym in ubuntu kinetic.
- libcoq-core-ocaml-dev: No summary available for libcoq-core-ocaml-dev in ubuntu kinetic.
No description available for libcoq-
core-ocaml- dev in ubuntu kinetic.
- libcoq-stdlib: No summary available for libcoq-stdlib in ubuntu kinetic.
No description available for libcoq-stdlib in ubuntu kinetic.