gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
4ec104a4fd22835d6ce2ef0260034bd11c912e80
nixpkgs/nixos/tests/agda.nix
Martin Weinelt 52822c9037 nixosTests.agda: migrate to runTest 
Part Of #386873
2025-03-13 22:48:41 +01:00

1019 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink