Sandro Jäckel 026fb18487 ginac: switch to pname + version, cleanup		2021-08-21 11:20:15 +02:00
..
default.nix	ginac: switch to pname + version, cleanup	2021-08-21 11:20:15 +02:00