Markus Kowalewski 3c1819fcce ginac: add license		2018-08-20 21:02:45 +02:00
..
default.nix	ginac: add license	2018-08-20 21:02:45 +02:00