Mateusz Kowalczyk 7a45996233 Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

..

default.nix

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

unittest.patch

Matita and its dependencies.

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