summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cedille
ModeNameSize
-rw-r--r--Fix-to-string.agda-to-compile-with-Agda-2.6.1.patch1238log plain blame
-rw-r--r--default.nix1522log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 03:59:56 +0000