Peter Simons 6475f0d1fe fricas: clean up meta section		2014-01-20 18:20:08 +01:00
..
default.nix	fricas: clean up meta section	2014-01-20 18:20:08 +01:00