ssreflect 1.13.0-2 source package in Ubuntu
Changelog
ssreflect (1.13.0-2) unstable; urgency=medium * Source-only upload to trigger rebuild. (Closes: #1003797) -- Julien Puydt <email address hidden> Mon, 17 Jan 2022 08:57:04 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.13.0-2.dsc | 2.1 KiB | 4b2e56a046ced98c9db735c0f477b8f73b3a6f52213bad949542e0c8482ef5af |
ssreflect_1.13.0.orig.tar.gz | 1.3 MiB | 4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0 |
ssreflect_1.13.0-2.debian.tar.xz | 11.9 KiB | ffc2d39af00b107a5877c5a1174f310a9ad9bdb658d2f635449eee8db96de5ef |
Available diffs
- diff from 1.13.0-1 to 1.13.0-2 (335 bytes)
No changes file available.
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu jammy.
No description available for libssreflect-coq in ubuntu jammy.