Ubuntu
alt-ergo package

alt-ergo 1.30-1build1 source package in Ubuntu

Changelog

alt-ergo (1.30-1build1) artful; urgency=high

  * No change rebuild against ocaml 4.04.

 -- Dimitri John Ledkov <email address hidden>  Mon, 03 Jul 2017 01:29:31 +0100

Upload details

Uploaded by:
Dimitri John Ledkov
Uploaded to:
Artful
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
alt-ergo_1.30.orig.tar.gz 371.4 KiB 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708
alt-ergo_1.30-1build1.debian.tar.xz 14.0 KiB 8ad3ccb68657b086abbb0ddd8dcdd60a650dbbeaee5d458d4ec5e570bc8a5f90
alt-ergo_1.30-1build1.dsc 1.9 KiB 96bd1dbd24b9f83de3d662aa07d5bba444f1f8739f0cd4fd88b43f0be3812f3c

Available diffs

View changes file

Binary packages built by this source

alt-ergo: No summary available for alt-ergo in ubuntu artful.

No description available for alt-ergo in ubuntu artful.

alt-ergo-dbgsym: debug symbols for alt-ergo