paramcoq 1.1.3-5 source package in Ubuntu
Changelog
paramcoq (1.1.3-5) unstable; urgency=medium * Break the package in several binary packages so the future dh_coq can work its magic. -- Julien Puydt <email address hidden> Fri, 03 Jun 2022 08:49:02 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
paramcoq_1.1.3-5.dsc | 2.1 KiB | 250a32c7d4f0f9ac236fb11bd264e79297bea11259265949e57f2e087190af18 |
paramcoq_1.1.3.orig.tar.gz | 44.7 KiB | 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc |
paramcoq_1.1.3-5.debian.tar.xz | 2.8 KiB | 4045252325d67138ca318c978b64bb8331fc7dfff760d5b168cf6d260713b9a6 |
Available diffs
- diff from 1.1.3-4 to 1.1.3-5 (1.0 KiB)
No changes file available.
Binary packages built by this source
- libcoq-paramcoq: No summary available for libcoq-paramcoq in ubuntu kinetic.
No description available for libcoq-paramcoq in ubuntu kinetic.
- libcoq-paramcoq-ocaml: No summary available for libcoq-paramcoq-ocaml in ubuntu kinetic.
No description available for libcoq-
paramcoq- ocaml in ubuntu kinetic.
- libcoq-paramcoq-ocaml-dbgsym: No summary available for libcoq-paramcoq-ocaml-dbgsym in ubuntu kinetic.
No description available for libcoq-
paramcoq- ocaml-dbgsym in ubuntu kinetic.
- libcoq-paramcoq-ocaml-dev: No summary available for libcoq-paramcoq-ocaml-dev in ubuntu kinetic.
No description available for libcoq-
paramcoq- ocaml-dev in ubuntu kinetic.