Commit graph

4 commits

Author SHA1 Message Date
Alex Rice 9d4867074b Agda: mark packages as broken until 2.6.2 compatible release is made
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2021-07-26 11:41:06 +02:00
Ingo Blechschmidt 01bb748cb4 agdaPackages.generic: 0.1.0.1 -> 0.1.0.2 2021-01-27 14:07:52 +01:00
Manuel Bärenz 6e1ce8ca07 agdaPackages.generic: 0.1 -> 0.1.0.1 2020-10-19 12:27:31 +02:00
Alex Rice c63ece0998
agdaPackages.generic: init at v0.1 2020-08-10 14:56:23 +01:00