Manuel Bärenz a28173cf76 agdaPackages.generics: init at 1.0.1

2024-07-01 17:11:41 +02:00

..

1lab

Merge branch master into haskell-updates

2024-03-21 21:01:05 +01:00

agda-categories

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

agda-prelude

agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04

2023-10-25 14:08:28 +02:00

agdarsec

agdaPackages.agdarsec: mark as broken

2023-12-27 12:17:49 +01:00

cubical

agdaPackages.cubical: add maintainer phijor

2024-02-18 00:23:06 +02:00

functional-linear-algebra

agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0

2023-12-23 21:52:05 +01:00

generic

…

generics

agdaPackages.generics: init at 1.0.1

2024-07-01 17:11:41 +02:00

iowa-stdlib

…

standard-library

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00