Timo Kaufmann c7d4528a89 conway_polynomials: init at 0.5		2018-06-30 01:20:45 +02:00
..
default.nix	conway_polynomials: init at 0.5	2018-06-30 01:20:45 +02:00