Russell O'Connor 88ec92d14c Matita and its dependencies. ...

svn path=/nixpkgs/trunk/; revision=25328

2010-12-31 17:48:55 +00:00

..

batteries

…

camlzip

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

camomile

…

cryptgps

…

cryptokit

…

expat

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

gmetadom

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

http

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

lablgtk

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

lablgtkmathview

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

lwt

…

menhir

…

mysql

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

ocamlnet

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

ounit

…

pcre

…

react

…

sqlite3

…

ssl

…

ulex

Matita and its dependencies.

2010-12-31 17:48:55 +00:00