Frederik Rietdijk 3e9d81498b conway_polynomials: use python2		2021-03-25 11:43:39 +01:00
..
default.nix	conway_polynomials: use python2	2021-03-25 11:43:39 +01:00