nixpkgs/pkgs/development/compilers/ats2
2016-05-16 08:08:50 -05:00
..
default.nix ats2: 0.2.6 -> 0.2.7 2016-05-16 08:08:50 -05:00
setup-hook.sh Add ats-extsolve (formerly patsolve) 2015-04-30 18:54:40 -04:00