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