ssreflect 1.14.0-9 source package in Ubuntu
Changelog
ssreflect (1.14.0-9) unstable; urgency=medium * Changed all Architecture: to any. -- Julien Puydt <email address hidden> Sun, 17 Apr 2022 13:54:05 +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-9.dsc | 2.5 KiB | 41258926d14532f058de01d7492e7cbc2aa9c733f66e2dc07d752c0f3f996ae5 |
ssreflect_1.14.0.orig.tar.gz | 1.3 MiB | d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 |
ssreflect_1.14.0-9.debian.tar.xz | 12.1 KiB | 7e98e4b5abd28e85dd5132aa16bbf68a5d51e947485da54f841cdb821915fdc6 |
Available diffs
- diff from 1.14.0-7 to 1.14.0-9 (858 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.