Index of /debian/pool/main/a/agda/

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.5.4.1-3+b1_amd64.deb2018-Dec-04 05:59:055.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_arm64.deb2018-Dec-04 08:27:436.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_i386.deb2018-Dec-04 05:43:515.6Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1+b2_amd64.deb2020-Aug-19 15:59:368.5Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1+b2_arm64.deb2020-Aug-19 17:57:189.9Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1+b2_i386.deb2020-Aug-19 18:58:588.5Mapplication/vnd.debian.binary-package
agda-bin_2.6.2.2-1.1_amd64.deb2022-Dec-06 12:57:337.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1+b1_arm64.deb2023-Oct-22 17:29:479.8Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1+b1_i386.deb2024-Apr-13 15:29:1814.6Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1+b2_amd64.deb2023-Oct-30 12:22:289.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1+b2_arm64.deb2024-Apr-13 16:10:469.8Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1+b3_amd64.deb2024-Apr-13 13:30:389.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1_i386.deb2023-Oct-30 13:12:4614.6Mapplication/vnd.debian.binary-package
agda-mode_2.5.4.1-3_all.deb2018-Oct-20 17:57:49114.9Kapplication/vnd.debian.binary-package
agda_2.5.4.1-3_all.deb2018-Oct-20 17:57:49115.3Kapplication/vnd.debian.binary-package
agda_2.6.1-1_all.deb2020-Jul-29 12:40:5328.0Kapplication/vnd.debian.binary-package
agda_2.6.2.2-1.1_all.deb2022-Dec-06 12:41:5612.0Kapplication/vnd.debian.binary-package
agda_2.6.3-1_all.deb2023-Oct-13 12:30:2219.6Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.5.4.1-3_all.deb2018-Oct-20 17:57:49151.8Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.1-1_all.deb2020-Jul-29 12:40:5365.2Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.2.2-1.1_all.deb2022-Dec-06 12:41:5649.7Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.3-1_all.deb2023-Oct-13 12:30:2257.8Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-Dec-04 05:59:0516.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb2018-Dec-04 08:27:4318.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_i386.deb2018-Dec-04 05:43:5216.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1+b2_amd64.deb2020-Aug-19 15:59:3636.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1+b2_arm64.deb2020-Aug-19 17:57:1842.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1+b2_i386.deb2020-Aug-19 18:58:5836.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-Dec-06 12:57:3323.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1+b1_arm64.deb2023-Oct-22 17:29:4724.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1+b1_i386.deb2024-Apr-13 15:29:1937.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1+b2_amd64.deb2023-Oct-30 12:22:2822.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1+b2_arm64.deb2024-Apr-13 16:10:4624.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1+b3_amd64.deb2024-Apr-13 13:30:3822.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1_i386.deb2023-Oct-30 13:12:4637.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.4.1-3_all.deb2018-Oct-20 17:57:493.6Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.1-1_all.deb2020-Jul-29 12:40:535.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.2.2-1.1_all.deb2022-Dec-06 12:41:566.3Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.3-1_all.deb2023-Oct-13 12:30:226.6Mapplication/vnd.debian.binary-package
lighttpd/1.4.53