asau 7f67344f2a Update to FriCAS 1.3.1 ... Detailed changes are not known and not clear (besides regular cleanup).		2017-04-13 14:35:31 +00:00
..
DESCR
distinfo	Update to FriCAS 1.3.1	2017-04-13 14:35:31 +00:00
Makefile	Update to FriCAS 1.3.1	2017-04-13 14:35:31 +00:00
options.mk	Handle MACHINE_GNU_PLATFORM when generating PLIST.	2017-04-13 13:00:43 +00:00
PLIST	Update to FriCAS 1.3.1	2017-04-13 14:35:31 +00:00