Brandon Elam Barker 3aac221a2e ats2: 0.3.12 -> 0.3.13 ... Due to upcoming packaging changes with ATS2, the -gmp release will be the same as the old release, and it is the most full-featured release. So nothing is changing other than the .tgz archive name.		2019-02-16 13:40:15 +00:00
..
default.nix	ats2: 0.3.12 -> 0.3.13	2019-02-16 13:40:15 +00:00
setup-contrib-hook.sh	ats2 : update to latest stable release 0.2.11	2016-10-24 06:40:30 -05:00
setup-hook.sh	Add ats-extsolve (formerly patsolve)	2015-04-30 18:54:40 -04:00