Index of /math/hs-Agda/

../
Makefile                                           23-Oct-2026 18:19                1011
Makefile.cabal                                     23-Oct-2026 18:19                2110
distinfo                                           23-Oct-2026 18:19               22547
pkg-descr                                          23-Oct-2026 18:19                 702
pkg-plist                                          23-Oct-2026 18:19                5296