ssreflect 1.14.0-12 source package in Ubuntu
Changelog
ssreflect (1.14.0-12) unstable; urgency=medium * Use dh-coq. -- Julien Puydt <email address hidden> Sun, 12 Jun 2022 14:00:32 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.14.0-12.dsc | 2.5 KiB | 15b86233aa8777cc682e517b07fb02ceb38d1734a11450d0062606c40db73730 |
ssreflect_1.14.0.orig.tar.gz | 1.3 MiB | d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 |
ssreflect_1.14.0-12.debian.tar.xz | 12.2 KiB | a468d16ba4cfb61310d1ebd650f7fc64b401df225651a71c316e2ebec36d13a3 |
Available diffs
- diff from 1.14.0-11 to 1.14.0-12 (1002 bytes)
No changes file available.
Binary packages built by this source
- libcoq-mathcomp: No summary available for libcoq-mathcomp in ubuntu kinetic.
No description available for libcoq-mathcomp in ubuntu kinetic.
- libcoq-mathcomp-algebra: No summary available for libcoq-mathcomp-algebra in ubuntu kinetic.
No description available for libcoq-
mathcomp- algebra in ubuntu kinetic.
- libcoq-mathcomp-character: No summary available for libcoq-mathcomp-character in ubuntu kinetic.
No description available for libcoq-
mathcomp- character in ubuntu kinetic.
- libcoq-mathcomp-field: No summary available for libcoq-mathcomp-field in ubuntu kinetic.
No description available for libcoq-
mathcomp- field in ubuntu kinetic.
- libcoq-mathcomp-fingroup: No summary available for libcoq-mathcomp-fingroup in ubuntu kinetic.
No description available for libcoq-
mathcomp- fingroup in ubuntu kinetic.
- libcoq-mathcomp-solvable: No summary available for libcoq-mathcomp-solvable in ubuntu kinetic.
No description available for libcoq-
mathcomp- solvable in ubuntu kinetic.
- libcoq-mathcomp-ssreflect: No summary available for libcoq-mathcomp-ssreflect in ubuntu kinetic.
No description available for libcoq-
mathcomp- ssreflect in ubuntu kinetic.