Publishing details

• Removed from disk on 2015-04-28.
• Removal requested on 2015-04-24.
• Published on 2013-09-02
• 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.1-3) unstable; urgency=low


  * make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
    0.95.1-1) to resolve file conflict with versions of the package before
    the split into two binary packages (closes: #718010).

 -- Ralf Treinen <email address hidden>  Sat, 24 Aug 2013 10:56:21 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc

Package files

• alt-ergo_0.95.1-3.debian.tar.gz (14.1 KiB)
• alt-ergo_0.95.1-3.dsc (1.5 KiB)
• alt-ergo_0.95.1-3_amd64.deb (1.8 MiB)
• alt-ergo_0.95.1-3_arm64.deb (577.0 KiB)
• alt-ergo_0.95.1-3_armhf.deb (1.8 MiB)
• alt-ergo_0.95.1-3_i386.deb (1.6 MiB)
• alt-ergo_0.95.1-3_powerpc.deb (1.9 MiB)
• alt-ergo_0.95.1.orig.tar.gz (233.5 KiB)
• libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb (642.0 KiB)
• libalt-ergo-ocaml-dev_0.95.1-3_arm64.deb (217.3 KiB)
• libalt-ergo-ocaml-dev_0.95.1-3_armhf.deb (674.0 KiB)
• libalt-ergo-ocaml-dev_0.95.1-3_i386.deb (638.0 KiB)
• libalt-ergo-ocaml-dev_0.95.1-3_powerpc.deb (730.1 KiB)