alt-ergo 0.95.2-1build1 source package in Ubuntu
Changelog
alt-ergo (0.95.2-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose <email address hidden> Mon, 23 Dec 2013 22:01:38 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Trusty
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_0.95.2.orig.tar.gz | 228.3 KiB | 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac |
alt-ergo_0.95.2-1build1.debian.tar.gz | 11.7 KiB | 01eee9f1e4e3081d8aafce28a798d107a6af9e44e98a4d01bc0fce460ea02cff |
alt-ergo_0.95.2-1build1.dsc | 1.6 KiB | 554c38504c9aeb73f1dbcad9cd4d3a62fc27bd3c29abac6cff26008a1324ca01 |
Available diffs
- diff from 0.95.2-1 (in Debian) to 0.95.2-1build1 (315 bytes)
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 utopic.
No description available for libalt-
ergo-ocaml- dev in ubuntu utopic.