Index of /data/latest-per-pkg/hs-Agda/2.8.0/

../
freebsd_13_5_x64-HEAD-ALL.log                      12-Dec-2025 06:52              549289
freebsd_15_0_x64-HEAD-ALL.log                      28-Nov-2025 14:52              548215
freebsd_15_c_x64-HEAD-ALL.log                      03-Oct-2025 04:18              548493