ssreflect 1.14.0-10 source package in Ubuntu
Changelog
ssreflect (1.14.0-10) unstable; urgency=medium * Re-upload to fix ABI breakage. -- Julien Puydt <email address hidden> Sun, 22 May 2022 19:20:43 +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-10.dsc | 2.5 KiB | d83ec7cff10b1fa66ab9f5a9ab65ff8e1b93404c733baa002c46e99b2d027521 |
ssreflect_1.14.0.orig.tar.gz | 1.3 MiB | d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 |
ssreflect_1.14.0-10.debian.tar.xz | 12.2 KiB | 9e1fc2474631f42fa35682f08f8be3b5f95bf591ef4d9429f76a6660aa0a899e |
Available diffs
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.