Ingo Blechschmidt efa79e6e53 agda-categories: fix hash ... Apparently, v0.1.4 was released twice. The current version of the build points to the first edition of v0.1.4, which is no longer attached to the tag "v0.1.4" on GitHub. Hence currently, downloading fails. This commit adjusts the hash to appropriately refer to the second edition of v0.1.4		2020-11-01 10:33:06 +01:00
..
agda-categories	agda-categories: fix hash	2020-11-01 10:33:06 +01:00
agda-prelude	agda-prelude: compat-2.6.0 -> compat-2.6.1	2020-08-10 15:07:49 +01:00
cubical	agdaPackages.cubical: init at 0.2 (#76994)	2020-05-19 13:20:35 -04:00
functional-linear-algebra	agda-packages: add fla library at v0.1	2020-10-15 10:54:22 -06:00
generic	agdaPackages.generic: 0.1 -> 0.1.0.1	2020-10-19 12:27:31 +02:00
iowa-stdlib	Agda: Add turion as maintainer	2020-05-14 20:54:12 +01:00
standard-library	agdaPackages.standard-library: 1.3 -> 1.4	2020-10-19 09:26:52 +02:00