Sign in
Join now
nixpkgs
lukegb.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
What happens if I push all of nixpkgs
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
nixpkgs
/
pkgs
/
development
/
compilers
/
idris2
5 files
at
llvm-cleanup
Fabián Heredia Montiel
·
Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10
·
2y ago
cc6431d5
build-idris.nix
idris2Packages.buildIdris: better nix-shell support via shellHook
2y ago
default.nix
idris2Packages.idris2Lsp: init at 2024-01-21
2y ago
idris2-lsp.nix
treewide: add meta.mainProgram to packages with a single binary
2y ago
idris2.nix
idris2: prefer chez 10 over chez-racket
2y ago
tests.nix
treewide: optional -> optionals where the argument is a list
4y ago
