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