zowoq 8488ebab05 ocamlPackages.*: use spaces for indentation

2021-01-21 10:30:13 +10:00

..

0.9.nix

ocamlPackages: stdenv.lib → lib

2021-01-12 16:33:18 +01:00

default.nix

ocamlPackages.*: use spaces for indentation

2021-01-21 10:30:13 +10:00

unittest.patch

Matita and its dependencies.

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