edd 46df24bd84 As discussed with espie@, I don't mind taking MAINTAINER on the maxima related stuff.		2011-11-22 11:36:55 +00:00
..
patches	Update to maxima-5.25.1. OK stu@	2011-11-14 20:48:43 +00:00
pkg	Update to maxima-5.25.1. OK stu@	2011-11-14 20:48:43 +00:00
distinfo	Update to maxima-5.25.1. OK stu@	2011-11-14 20:48:43 +00:00
Makefile	As discussed with espie@, I don't mind taking MAINTAINER on the maxima related stuff.	2011-11-22 11:36:55 +00:00