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 <[email protected]>
https://launchpad.net/ubuntu/saucy/+source/alt-ergo/0.95.1-3
Sorry, changesfile not available.
--
Saucy-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/saucy-changes
