geistesk 499df932d3 racket: 7.0 -> 7.1		2018-10-27 11:51:16 +02:00
..
default.nix	racket: 7.0 -> 7.1	2018-10-27 11:51:16 +02:00
minimal.nix	racket: 7.0 -> 7.1	2018-10-27 11:51:16 +02:00