Ubuntu
alt-ergo package

Branches for Trusty

Name Status Last Modified Last Commit
lp:ubuntu/trusty/alt-ergo 1 Development 2013-12-23 22:01:38 UTC
13. Rebuild for ocaml-4.01.

Author: Matthias Klose
Revision Date: 2013-12-23 22:01:38 UTC

Rebuild for ocaml-4.01.
lp:ubuntu/trusty-proposed/alt-ergo 1 Development 2013-12-23 22:01:38 UTC
13. Rebuild for ocaml-4.01.

Author: Matthias Klose
Revision Date: 2013-12-23 22:01:38 UTC

Rebuild for ocaml-4.01.
1 → 2 of 2 results First • Previous • Next • Last