Ubuntu
coq package

lp:ubuntu/hoary/coq

  1. Hoary (5.04)
  2. hoary
Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/hoary/coq
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

4. By Stefano Zacchiroli

Reuploaded since powerpc .deb did not include native code executable

3. By Ralf Treinen <email address hidden>

* Added build-dependency on ocaml-best-compilers, check for opt compilers
  in the configure-stamp target of debian/rules. Thanks to Mike Furr for
  the patch (closes: #242761).
* Converted changelog to UTF-8.

2. By Judicael Courant <email address hidden>

ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.

1. By Judicael Courant <email address hidden>

Import upstream version 7.2

Branch metadata

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

Subscribers