Mauricio Collares 045d6f35d9 polymake: 3.2.rc4 -> 4.4		2021-07-25 20:12:21 -03:00
..
default.nix	polymake: 3.2.rc4 -> 4.4	2021-07-25 20:12:21 -03:00