Mauricio Collares d2814c733a maxima-ecl-5_45: remove		2023-05-20 16:02:17 +02:00
..
default.nix	maxima-ecl: fix build by removing upstreamed patch	2023-03-10 21:57:12 +01:00