Artyom Shalkhakov 82ee506f43 Bump to ATS-0.2.12		2015-03-16 15:50:48 +01:00
..
default.nix	Bump to ATS-0.2.12	2015-03-16 15:50:48 +01:00
install-atsdoc-hats-files.patch	Adding ATS1, updating ATS2 package.	2014-03-25 04:53:13 +01:00