ssreflect 1.5-1 source package in Ubuntu
Changelog
ssreflect (1.5-1) unstable; urgency=medium * New upstream release -- Stéphane Glondu <email address hidden> Thu, 13 Mar 2014 13:25:52 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ssreflect_1.5-1.dsc | 2.2 KiB | a98a5635fb361b6b6ee36aa77025577bb51181ecee258d7eb2862c6655f9ad7b |
| ssreflect_1.5.orig.tar.gz | 212.7 KiB | bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 |
| ssreflect_1.5-1.debian.tar.xz | 11.2 KiB | 8ecc04c5fad36a31ed27e9590c6ecb6e9cecc11c0a15b9d2b4106efac8b43ee4 |
Available diffs
- diff from 1.5~rc1-3 to 1.5-1 (29.0 KiB)
No changes file available.
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu utopic.
No description available for libssreflect-coq in ubuntu utopic.
- libssreflect-ocaml: No summary available for libssreflect-ocaml in ubuntu utopic.
No description available for libssreflect-ocaml in ubuntu utopic.
- libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu utopic.
No description available for libssreflect-
ocaml-dev in ubuntu utopic.
