R. Ryantm e5c56b29ab agdaPackages.standard-library: 2.0 -> 2.1

2024-07-27 22:06:45 +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

…

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

agdaPackages.standard-library: 2.0 -> 2.1

2024-07-27 22:06:45 +02:00