sternenseemann b4d48b0f9e Merge branch master into haskell-updates

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

..

1lab

Merge branch master into haskell-updates

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

agda-categories

agdaPackages.agda-categories: remove heap size increase

2024-03-18 17:30:52 +01: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

…

iowa-stdlib

…

standard-library

agdaPackages.standard-library: 1.7.3 -> 2.0

2023-12-12 16:10:13 +01:00