Name					Size	Modified
----					----	--------
agda-bin_2.6.3-1_amd64.deb		9.8 MiB	September 9, 2024 at 16:39:34
agda-bin_2.6.3-2_amd64.deb		9.8 MiB	September 9, 2024 at 16:39:34
agda-bin_2.6.4.3-1_amd64.deb		9.4 MiB	October 8, 2024 at 15:55:51
agda_2.6.3-1.debian.tar.xz		11 KiB	September 9, 2024 at 16:39:34
agda_2.6.3-1.dsc			4.8 KiB	September 9, 2024 at 16:39:34
agda_2.6.3-1_all.deb			20 KiB	September 9, 2024 at 16:39:34
agda_2.6.3-2_all.deb			20 KiB	September 9, 2024 at 16:39:34
agda_2.6.3.orig.tar.gz			1.7 MiB	September 9, 2024 at 16:39:34
agda_2.6.4.3-1_all.deb			12 KiB	October 8, 2024 at 15:55:51
elpa-agda2-mode_2.6.3-1_all.deb		58 KiB	September 9, 2024 at 16:39:36
elpa-agda2-mode_2.6.3-2_all.deb		58 KiB	September 9, 2024 at 16:39:36
elpa-agda2-mode_2.6.4.3-1_all.deb	50 KiB	October 8, 2024 at 15:55:52
libghc-agda-dev_2.6.3-1_amd64.deb	23 MiB	September 9, 2024 at 16:39:54
libghc-agda-dev_2.6.3-2_amd64.deb	23 MiB	September 9, 2024 at 16:39:54
libghc-agda-dev_2.6.4.3-1_amd64.deb	22 MiB	October 8, 2024 at 15:55:55
libghc-agda-doc_2.6.3-1_all.deb		6.7 MiB	September 9, 2024 at 16:39:54
libghc-agda-doc_2.6.3-2_all.deb		6.7 MiB	September 9, 2024 at 16:39:54
libghc-agda-doc_2.6.4.3-1_all.deb	7.1 MiB	October 8, 2024 at 15:55:55