nixpkgs/pkgs/development/compilers/idris2
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