Mateusz Kowalczyk 7a45996233 Turn some license strings into lib.licenses values		2014-07-28 11:31:14 +02:00
..
4.2.nix	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
4.3pre.nix	proofgeneral_4_3_pre: Add expression needed for current prooftree	2014-06-20 22:31:55 -07:00