asau b63c74fdfd "user-destdir" is default these days		2012-09-11 23:04:15 +00:00
..
DESCR
distinfo	Update to FriCAS 1.1.6	2012-02-23 19:24:34 +00:00
Makefile	"user-destdir" is default these days	2012-09-11 23:04:15 +00:00
options.mk	Update to FriCAS 1.1.1	2010-11-24 22:43:40 +00:00
PLIST	Update to FriCAS 1.1.6	2012-02-23 19:24:34 +00:00