oasis2opam 0.3.6 requires oasis <= 0.4.1
Merge pull request #1718 from hcarty/patch-1

oasis2opam 0.3.6 requires oasis <= 0.4.1
Add ocp-index.1.0.2
Merge pull request #1709 from AltGr/ocp-index.1.0.2

New release of ocp-index
oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1720 from Chris00/master

oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1719 from mirage/master

+mirage-xen.1.1.1
Add a "&" to separate and clauses

Fixes https://github.com/ocaml/opam-repository/issues/1721
Merge pull request #1722 from Chris00/master

Add a "&" to separate and clauses
bibtex2html depends on hevea
glical.0.0.1: a library to glance at iCalendar data

Glical is a tiny library that does the minimal necessary parsing
work for iCalendar data. The library provides an extensible data
structure to allow multiple structure transformations for iCalendar
data.
Merge pull request #1724 from backtracking/master

bibtex2html depends on hevea
Add Weberizer 0.7.7
Merge pull request #1726 from Chris00/master

Add Weberizer 0.7.7
Merge pull request #1725 from pw374/master

glical.0.0.1: a library to glance at iCalendar data
Add camltc.0.8.3
Heptagon/BZR version 1.00.06

Heptagon/BZR is a synchronous dataflow language whose syntax and
semantics is inspired from Lustre, with a syntax allowing the
expression of control structures (e.g., switch or mode automata).

Heptagon/BZR is a research compiler, whose aim is to facilitate
experimentation. The current version of the compiler includes the
following features:
- Inclusion of discrete controller synthesis within the compilation
- Expression and compilation of array values with modular memory optimization

See http://bzr.inria.fr for further informations.
New release of SmartPrint
Merge pull request #1728 from clarus/master

New release of SmartPrint
Merge pull request #1727 from gdelaval/master

Heptagon/BZR version 1.00.06