4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
matita 0.99.3-1 0 0.00 An experimental, interactive theorem prover andrea_berling
ocaml-expat 0.9.1-1 0 0.00 An ocaml wrapper for the Expat XML parsing library andrea_berling
ocaml-http-git 0.1.6-1 0 0.00 OCaml library that lets you to write simple HTTP daemons andrea_berling
ulex08 0.8-1 0 0.00 OCaml lexer generator with Unicode support - CamlP5 version - version 0.8 andrea_berling

4 packages found. Page 1 of 1.