1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:36:27 +00:00
nixpkgs/pkgs/development/compilers/ats2
2016-11-25 09:21:29 +01:00
..
default.nix ats2 : advance Postiats to version 0.2.12, which is the latest release. 2016-11-25 09:21:29 +01:00
installed-lib-directory-version.patch ats2 : advance Postiats to version 0.2.12, which is the latest release. 2016-11-25 09:21:29 +01: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