alt-ergo 0.95.1-2 source package in Ubuntu
Changelog
alt-ergo (0.95.1-2) unstable; urgency=low * upload to unstable -- Ralf Treinen <email address hidden> Fri, 10 May 2013 21:19:12 +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.95.1-2.dsc | 1.5 KiB | b66ac836de344679a08fe1fed7c38e8ae2b95c012267c0107d9ffc84d29ad817 |
alt-ergo_0.95.1.orig.tar.gz | 233.5 KiB | 31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 |
alt-ergo_0.95.1-2.debian.tar.gz | 14.0 KiB | d08e2f85e1c04f5af7393f94834897027c3b5d239cd9e56465a95c166d25f9d6 |
Available diffs
- diff from 0.94-2 to 0.95.1-2 (155.0 KiB)
No changes file available.
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu saucy.
No description available for alt-ergo in ubuntu saucy.
- libalt-ergo-ocaml-dev: No summary available for libalt-ergo-ocaml-dev in ubuntu saucy.
No description available for libalt-
ergo-ocaml- dev in ubuntu saucy.