ssreflect 1.12.0-1 source package in Ubuntu
Changelog
ssreflect (1.12.0-1) unstable; urgency=medium * New upstream release. * Update test loadssreflect. * Standards-version 4.5.1 (no change) -- Ralf Treinen <email address hidden> Sat, 02 Jan 2021 15:39:29 +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.12.0-1.dsc | 2.0 KiB | 733be6c9676b842ab11b96fb2a40f57b3824c31767f9086b1f08ac97a19e582d |
ssreflect_1.12.0.orig.tar.gz | 1.3 MiB | a57b79a280e7e8527bf0d8710c1f65cde00032746b52b87be1ab12e6213c9783 |
ssreflect_1.12.0-1.debian.tar.xz | 12.5 KiB | c8141b3be4f18418b83e4d06e60d2e16982238373afdcea1ff6d1645917def30 |
Available diffs
- diff from 1.11.0-2build1 (in Ubuntu) to 1.12.0-1 (184.6 KiB)
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.