nixpkgs/pkgs/development/compilers/ats2
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
setup-hook.sh