My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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		4 years ago
..
agda-categories	agda-categories: fix hash	4 years ago
agda-prelude	…
cubical	…
functional-linear-algebra	…
generic	agdaPackages.generic: 0.1 -> 0.1.0.1	4 years ago
iowa-stdlib	…
standard-library	…