ssreflect 1.2+dfsg-3build1 source package in Ubuntu
Changelog
ssreflect (1.2+dfsg-3build1) lucid; urgency=low * No-change rebuild for OCaml 3.11.2 transition (LP: #529408). -- Ilya Barygin <email address hidden> Sat, 06 Mar 2010 10:09:56 +0300
Upload details
- Uploaded by:
- Ilya Barygin
- Uploaded to:
- Lucid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.2+dfsg.orig.tar.gz | 324.5 KiB | be53184a5fffea4e055f616461f2adab660e1424c73d146b898ee35f0921cb94 |
ssreflect_1.2+dfsg-3build1.debian.tar.gz | 12.2 KiB | c694cc6444c7b0270cd59c0467a12160376c888c9b2cbbae08fa44fda34e9728 |
ssreflect_1.2+dfsg-3build1.dsc | 1.8 KiB | 40946cb9498ea4f791679f3baf543a519c5c8ec6864070c2d9fc5732140b9871 |
Available diffs
- diff from 1.2+dfsg-3 to 1.2+dfsg-3build1 (350 bytes)
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu maverick.
No description available for libssreflect-coq in ubuntu maverick.
- libssreflect-ocaml: No summary available for libssreflect-ocaml in ubuntu maverick.
No description available for libssreflect-ocaml in ubuntu maverick.
- libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu maverick.
No description available for libssreflect-
ocaml-dev in ubuntu maverick.