Ubuntu
alt-ergo package

Branches for Saucy

Name		Status	Last Modified	Last Commit
lp:ubuntu/saucy/alt-ergo		2 Mature	2013-08-24 10:56:21 UTC 2013-08-24	11. make libalt-ergo-ocaml-dev conflict a... Author: Ralf Treinen Revision Date: 2013-08-24 10:56:21 UTC 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).
lp:ubuntu/saucy-proposed/alt-ergo		1 Development	2013-08-24 10:56:21 UTC 2013-08-24	11. make libalt-ergo-ocaml-dev conflict a... Author: Ralf Treinen Revision Date: 2013-08-24 10:56:21 UTC 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).