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 on 2013-05-11
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket 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

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.