1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 21:50:55 +00:00
nixpkgs/pkgs/development/compilers/ats2
2015-11-29 10:04:57 -05:00
..
default.nix ats2: 0.1.12 -> 0.2.4 2015-11-29 10:04:57 -05:00
setup-hook.sh Add ats-extsolve (formerly patsolve) 2015-04-30 18:54:40 -04:00