nomicon

kookie

nomicon

Author	SHA1	Message	Date
Ingo Blechschmidt	95d62a696c	agdaPackages.standard-library: 1.7 -> 1.7.1	3 years ago
Manuel Bärenz	b0284395a6	agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1	3 years ago
Alex Rice	9d4867074b	Agda: mark packages as broken until 2.6.2 compatible release is made Co-authored-by: sternenseemann <sternenseemann@systemli.org>	3 years ago
Manuel Bärenz	a773d882d1	agdaPackages.standard-library: 1.5 -> 1.6 (#120180 ) * agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.6	3 years ago
Ingo Blechschmidt	0c3b6defc1	agdaPackages.agda-categories: 0.1.4 -> 0.1.5	3 years ago
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
Manuel Bärenz	3da3661ad3	agdaPackages.agda-categories: 1.3.1 -> 1.4	4 years ago
Alex Rice	fa3bd91478	agda-categories: 0.1 -> 0.1.3.1	4 years ago
Alex Rice	8ee4c3698c	Agda: Add turion as maintainer	4 years ago
Alex Rice	6c1cdedb6d	agda-categories: init at 0.1	4 years ago