nixpkgs/pkgs/data/misc/polytopes_db
Timo Kaufmann 6fc8b0d69a polytopes_db: init at 20170220 2018-06-30 01:20:45 +02:00
..
default.nix polytopes_db: init at 20170220 2018-06-30 01:20:45 +02:00