alt-ergo 0.95.2-3 source package in Ubuntu
Changelog
alt-ergo (0.95.2-3) sid; urgency=medium * Remove previously introduced patch since relevant API change has been reverted in OCamlgraph 1.8.5. - Remove 0002-Port-to-OCamlgraph-1.8.4.patch - Build-Depend on OCamlgraph >= 1.8.5~. -- Mehdi Dogguy <email address hidden> Sun, 27 Apr 2014 21:42:15 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_0.95.2-3.dsc | 2.2 KiB | 3b391aeb29611513e828a96089039ed4ae756b898de5e1592da7feafcf214e8e |
alt-ergo_0.95.2.orig.tar.gz | 228.3 KiB | 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac |
alt-ergo_0.95.2-3.debian.tar.xz | 11.0 KiB | 4991ea152a5b95795304295c2641e615fb88feff44afee0b41db252b25ceb27d |
Available diffs
- diff from 0.95.2-1build1 (in Ubuntu) to 0.95.2-3 (1.2 KiB)
- diff from 0.95.2-2 to 0.95.2-3 (954 bytes)
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu utopic.
No description available for alt-ergo in ubuntu utopic.
- libalt-ergo-ocaml-dev: No summary available for libalt-ergo-ocaml-dev in ubuntu wily.
No description available for libalt-
ergo-ocaml- dev in ubuntu wily.