[ubuntu/saucy-proposed] alt-ergo 0.95.1-3 (Accepted)

[Logan Rosen]

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).

Date: 2013-08-24 16:10:59.351728+00:00
Signed-By: Logan Rosen <logatronico at gmail.com>
https://launchpad.net/ubuntu/saucy/+source/alt-ergo/0.95.1-3
-------------- next part --------------
Sorry, changesfile not available.