Ubuntu
ssreflect package

lp:ubuntu/lucid/ssreflect

  1. Lucid (10.04)
  2. lucid
Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/lucid/ssreflect
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 Ilya Barygin

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

3. By Stéphane Glondu

* debian/control:
  - add libssreflect-ocaml-dev binary package
  - put *ocaml* packages in ocaml section
  - libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)

2. By Stéphane Glondu

Use -R when invoking coq_makefile to avoid warnings and need of
explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect

1. By Stéphane Glondu

Import upstream version 1.2+dfsg

Branch metadata

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

Subscribers