Index of /x86_64/pool/universe/a/agda/

../
agda-bin_2.6.1-1build2.1_amd64.deb                 14-Sep-2023 17:28             9541384
agda-bin_2.6.3-1build1_amd64.deb                   24-Apr-2025 15:57            10985550
agda_2.6.1-1build2.1_all.deb                       14-Sep-2023 17:28                4134
agda_2.6.3-1build1_all.deb                         24-Apr-2025 15:57                3758
elpa-agda2-mode_2.6.1-1build2.1_all.deb            14-Sep-2023 17:28               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              24-Apr-2025 15:57               46250
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          14-Sep-2023 17:28            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            24-Apr-2025 15:57            25485196
libghc-agda-doc_2.6.1-1build2.1_all.deb            14-Sep-2023 17:28             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              24-Apr-2025 15:57             6288876