mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-30 00:50:17 +02:00
.. | ||
default.nix | ||
Fix-to-string.agda-to-compile-with-Agda-2.6.1.patch |
.. | ||
default.nix | ||
Fix-to-string.agda-to-compile-with-Agda-2.6.1.patch |