asau b63c74fdfd "user-destdir" is default these days		2012-09-11 23:04:15 +00:00
..
patches	The gnu triple for Linux is *-*-linux not *-*-linux-gnu.	2012-01-16 21:02:20 +00:00
DESCR
distinfo	The gnu triple for Linux is *-*-linux not *-*-linux-gnu.	2012-01-16 21:02:20 +00:00
gap.package.mk
Makefile	"user-destdir" is default these days	2012-09-11 23:04:15 +00:00
PLIST