Maximilian Bosch 19dfc1b011
Merge pull request #90689 from cole-h/fix-manual
agda: fix manual build -- blocks nixpkgs-unstable
2020-06-17 23:05:58 +02:00
..
2019-01-08 15:08:42 +00:00