worldofpeace cab7c6cbd9 treewide: use dontConfigure

2019-07-01 04:23:51 -04:00

..

0.9.nix

treewide: use dontConfigure

2019-07-01 04:23:51 -04:00

default.nix

ocamlPackages.ocaml_expat: 1.0.0 -> 1.1.0

2018-03-30 21:53:20 -07:00

unittest.patch

Matita and its dependencies.

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