ssreflect 1.5~rc1-3 source package in Ubuntu
Changelog
ssreflect (1.5~rc1-3) unstable; urgency=medium * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update debian/watch -- Stéphane Glondu <email address hidden> Mon, 20 Jan 2014 08:53:40 +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 | |
---|---|---|---|---|
Trusty | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.5~rc1-3.dsc | 2.2 KiB | 5ff8912de41befcd1ded43944ba0cdc6fc00e948c61531348b69d26b576d4db1 |
ssreflect_1.5~rc1.orig.tar.gz | 199.2 KiB | f85d8ced769b6c38a499681a52480f2e0b9b7a0a8f028a3d35ecd1794ae64fc2 |
ssreflect_1.5~rc1-3.debian.tar.xz | 11.2 KiB | fd273dbd60ed2a961cde3ad753ac542675a832855f1b3cdc00342377e8f0da37 |
Available diffs
- diff from 1.5~rc1-2 to 1.5~rc1-3 (741 bytes)
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: small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
- libssreflect-ocaml-dev: small scale reflection extension for Coq (devt files)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides the static native-code library, needed
to build custom toplevels, and the compiled interface.