nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/nixos/tests/agda
History
quantenzitrone 4947d15dff nixosTests.agda.base: fix build 
the binary adga-mode has been deprecated
one is supposed to use the main binary with --emacs-mode instead
2025-11-08 15:26:25 +01:00
..
files
Incorporate suggestions
2025-10-28 18:21:22 +01:00
base.nix
nixosTests.agda.base: fix build
2025-11-08 15:26:25 +01:00
default.nix
…
override-with-backend.nix
Conditionally create symlink to agda-mode if present
2025-10-28 18:21:23 +01:00