about summary refs log tree commit diff
path: root/nixos/tests/agda.nix
AgeCommit message (Expand)AuthorFilesLines
2020-09-18tests/agda: Fix commentManuel Bärenz1-1/+1
2020-05-14agda: Added testManuel Bärenz1-0/+41
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-14 15:23:31 +0000