Sign in
Join now
nixpkgs
pyrox.dev
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
lol
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
nixpkgs
/
nixos
/
tests
/
agda
1 folder
·
3 files
at
master
quantenzitrone
·
nixosTests.agda.base: fix build
·
1y ago
4947d15d
files
Incorporate suggestions
1y ago
base.nix
nixosTests.agda.base: fix build
1y ago
default.nix
Add test to override Agda package with custom backend
1y ago
override-with-backend.nix
Conditionally create symlink to agda-mode if present
1y ago
