alt-ergo 0.99.1+dfsg1-2 source package in Ubuntu
Changelog
alt-ergo (0.99.1+dfsg1-2) unstable; urgency=low * upload to unstable. -- Ralf Treinen <email address hidden> Mon, 04 May 2015 19:05:42 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- 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 |
---|---|---|
alt-ergo_0.99.1+dfsg1-2.dsc | 2.2 KiB | 85d413856a214e8642846acf2ca7ce0f6358272ead56d85c1e80537134cb0e6d |
alt-ergo_0.99.1+dfsg1.orig.tar.gz | 217.7 KiB | 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f |
alt-ergo_0.99.1+dfsg1-2.debian.tar.xz | 11.7 KiB | 2d99526526e072e2e7f2579e5283dad55d0600af5c004906b28b880f9af0529b |
Available diffs
- diff from 0.95.2-3 to 0.99.1+dfsg1-2 (108.2 KiB)
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu wily.
No description available for alt-ergo in ubuntu wily.
- alt-ergo-dbgsym: No summary available for alt-ergo-dbgsym in ubuntu wily.
No description available for alt-ergo-dbgsym in ubuntu wily.