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

Logan Rosen logatronico at gmail.com
Mon Sep 2 22:04:42 UTC 2013

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>
-------------- next part --------------
Sorry, changesfile not available.

More information about the Saucy-changes mailing list