Ubuntu
alt-ergo package

lp:ubuntu/lucid/alt-ergo

  1. Lucid (10.04)
  2. lucid
Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/lucid/alt-ergo
Members of Ubuntu branches can upload to this branch. Log in for directions.

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Review team:
Ubuntu Development Team
Status:
Development

Recent revisions

5. By Ilya Barygin

No-change rebuild for OCaml 3.11.2 transition (LP: #529408).

4. By Mehdi

* New Upstream Version
* Update build dependencies to ease OCaml 3.11.1 transition
* Bump standards version to 3.8.2

3. By Michael Bienia

Rebuild with OCaml 3.11.1 on armel (lp: #421084)

2. By Mehdi

Initial release (Closes: #468557)

1. By Mehdi

Import upstream version 0.8

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:ubuntu/maverick/alt-ergo
This branch contains Public information 
Everyone can see this information.

Subscribers