Naïm Favier f0bced1070 agdaPackages.agda-categories: remove heap size increase ... The maximum heap size was removed in Agda 2.6.4.2 https://github.com/agda/agda/issues/7070		2024-03-18 17:30:52 +01:00
..
default.nix	agdaPackages.agda-categories: remove heap size increase	2024-03-18 17:30:52 +01:00