Robin Gloster 5808bfb977 yacas: no format hardening		2016-02-07 22:51:21 +00:00
..
default.nix	yacas: no format hardening	2016-02-07 22:51:21 +00:00
gcc43.patch	Adding a yacas needed patch for it to build	2010-08-09 22:42:48 +00:00