nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-23 22:23:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
30ada3e6af
nixpkgs/pkgs/development/compilers/idris2
History
Fabián Heredia Montiel c454c6855e idris2: 0.3.0 → 0.4.0 
v0.4.0:
 - Added gmp as a build dependency
 - Removed bootstrap-test (test still available and more general)
 - Renamed bootstrap-build to bootstrap (bootstrap previously did
   bootstrap-build and bootstrap-test)
2021-06-24 13:27:56 -05:00
..
default.nix idris2: 0.3.0 → 0.4.0 2021-06-24 13:27:56 -05:00