nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 02:13:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
c98e6b6771
nixpkgs/pkgs/development/compilers/ats2
History
Yurii Rashkovskii a83067ea9e ats2: 0.3.0 -> 0.3.7 
The patch is no longer needed as ats2 includes contribs in the
upstream Makefile_dist file
2017-11-30 13:09:50 +07:00
..
default.nix ats2: 0.3.0 -> 0.3.7 2017-11-30 13:09:50 +07: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