ssreflect 1.11.0-1build1 source package in Ubuntu
Changelog
ssreflect (1.11.0-1build1) groovy; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Mon, 05 Oct 2020 14:38:09 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Groovy
- 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.11.0.orig.tar.gz | 1.2 MiB | b16108320f77d15dd19ecc5aad90775b576edfa50c971682a1a439f6d364fef6 |
ssreflect_1.11.0-1build1.debian.tar.xz | 12.5 KiB | 885a3fa2ab2a0d22b070a8c952f778efb34379e1b6e6a0dd1099334142883576 |
ssreflect_1.11.0-1build1.dsc | 2.1 KiB | 4d6867c6213d2796d40d9f14089955796b5ea74d134d13472d2ca15f8d509d2f |
Available diffs
- diff from 1.11.0-1 (in Debian) to 1.11.0-1build1 (321 bytes)
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu groovy.
No description available for libssreflect-coq in ubuntu groovy.