Publishing details

• Removed from disk on 2018-01-19.
• Removal requested on 2016-11-03.
• Published on 2014-04-29
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

alt-ergo (0.95.2-3) sid; urgency=medium


  * Remove previously introduced patch since relevant API change
    has been reverted in OCamlgraph 1.8.5.
    - Remove 0002-Port-to-OCamlgraph-1.8.4.patch
    - Build-Depend on OCamlgraph >= 1.8.5~.

 -- Mehdi Dogguy <email address hidden>  Sun, 27 Apr 2014 21:42:15 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Package files

• alt-ergo_0.95.2-3.debian.tar.xz (11.0 KiB)
• alt-ergo_0.95.2-3.dsc (2.2 KiB)
• alt-ergo_0.95.2-3_amd64.deb (1.5 MiB)
• alt-ergo_0.95.2-3_arm64.deb (285.2 KiB)
• alt-ergo_0.95.2-3_armhf.deb (1.5 MiB)
• alt-ergo_0.95.2-3_i386.deb (1.4 MiB)
• alt-ergo_0.95.2-3_powerpc.deb (1.3 MiB)
• alt-ergo_0.95.2-3_ppc64el.deb (285.2 KiB)
• alt-ergo_0.95.2.orig.tar.gz (228.3 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb (698.1 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_arm64.deb (154.3 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb (852.2 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_i386.deb (702.2 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_powerpc.deb (768.1 KiB)
• libalt-ergo-ocaml-dev_0.95.2-3_ppc64el.deb (154.0 KiB)