naddy 11e3dd67b3 switch COMPILER from the old, confusing shortcuts to the more explicit format		2017-11-16 23:20:37 +00:00
..
patches	update to ginac-1.7.2	2017-04-29 19:18:49 +00:00
pkg	update to ginac-1.7.2	2017-04-29 19:18:49 +00:00
distinfo	update to ginac-1.7.2	2017-04-29 19:18:49 +00:00
Makefile	switch COMPILER from the old, confusing shortcuts to the more explicit format	2017-11-16 23:20:37 +00:00