nixpkgs/pkgs/development/compilers/ats2
Thales Macedo Garitezi 8a3ae55970 ats2: 0.3.13 -> 0.4.1
2020-10-10 22:26:59 -03:00
..
default.nix ats2: 0.3.13 -> 0.4.1 2020-10-10 22:26:59 -03: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