ssreflect 1.6.1-3build1 source package in Ubuntu
Changelog
ssreflect (1.6.1-3build1) bionic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 28 Oct 2017 16:41:34 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Bionic
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.6.1.orig.tar.gz | 4.5 MiB | 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 |
ssreflect_1.6.1-3build1.debian.tar.xz | 12.3 KiB | a053b9dc55319fac6cbab2095a64262d34ec4e0841b9f88b6b4972da2670c21c |
ssreflect_1.6.1-3build1.dsc | 2.2 KiB | ffec9fa562931def013f0222e2c2f63323def9fc7b793ba1469fcbd5c54bfff4 |
Available diffs
- diff from 1.6.1-2build4 to 1.6.1-3build1 (765 bytes)
- diff from 1.6.1-3 (in Debian) to 1.6.1-3build1 (326 bytes)
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu disco.
No description available for libssreflect-coq in ubuntu disco.
- libssreflect-ocaml: No summary available for libssreflect-ocaml in ubuntu cosmic.
No description available for libssreflect-ocaml in ubuntu cosmic.
- libssreflect-ocaml-dbgsym: No summary available for libssreflect-ocaml-dbgsym in ubuntu disco.
No description available for libssreflect-
ocaml-dbgsym in ubuntu disco.
- libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu disco.
No description available for libssreflect-
ocaml-dev in ubuntu disco.