ssreflect 1.14.0-9build1 source package in Ubuntu
Changelog
ssreflect (1.14.0-9build1) kinetic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 14 May 2022 12:28:53 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Kinetic
- 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.orig.tar.gz | 1.3 MiB | d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 |
| ssreflect_1.14.0-9build1.debian.tar.xz | 12.2 KiB | 78ea2b2cac825b15b131151863e2051490c394dfaac2d47a6c18eb851479fe66 |
| ssreflect_1.14.0-9build1.dsc | 2.5 KiB | 8ce738ede62af0d7ca14c7e071be48215a3c913efa5f7f3f89c7307c0245c01a |
Available diffs
- diff from 1.14.0-9 (in Debian) to 1.14.0-9build1 (334 bytes)
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.
