Michael Raskin 7c5784d1f0 maxima: 5.38.1 -> 5.39.0		2017-01-02 21:53:21 +01:00
..
default.nix	maxima: 5.38.1 -> 5.39.0	2017-01-02 21:53:21 +01:00