summaryrefslogtreecommitdiffstats
path: root/pkgs/development/libraries/agda
ModeNameSize
d---------1lab39logstatsplain
d---------agda-categories39logstatsplain
d---------agda-prelude39logstatsplain
d---------agda2hs-base39logstatsplain
d---------agdarsec39logstatsplain
d---------cubical-mini39logstatsplain
d---------cubical39logstatsplain
d---------functional-linear-algebra39logstatsplain
d---------generics39logstatsplain
d---------iowa-stdlib39logstatsplain
d---------standard-library39logstatsplain
generated by cgit v1.3.1 (git 2.54.0) at 2026-09-19 11:43:34 -0400