Naïm Camille Favier daebcd8dbc agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05 (#451024)

2025-10-12 16:12:39 +02:00

..

1lab

various: remove superflous usages of pname

2025-09-25 20:45:06 -05:00

agda2hs-base

agdaPackages.agda2hs-base: don't hard code agda2hs source name

2025-10-06 15:03:04 +02:00

agda-categories

agdaPackages.agda-categories: 0.2.0 -> 0.3.0

2025-09-08 16:26:18 +02:00

agda-prelude

…

agdarsec

agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05

2025-10-11 17:06:08 +02:00

cubical

various: remove superflous usages of pname

2025-09-25 20:45:06 -05:00

cubical-mini

various: remove superflous usages of pname

2025-09-25 20:45:06 -05:00

functional-linear-algebra

…

generics

various: remove superflous usages of pname

2025-09-25 20:45:06 -05:00

iowa-stdlib

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

standard-library

agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3

2025-08-11 11:33:17 +02:00