Folder Path

/debian/pool/main/a/agda/

0 directories 22 files 233 MiB total

	Name	Size	Modified
	Up
	agda-bin_2.5.4.1-3+b1_amd64.deb	5.6 MiB	12/04/2018 10:59:05 AM +00:00
	agda-bin_2.5.4.1-3+b1_i386.deb	5.7 MiB	12/04/2018 10:43:51 AM +00:00
	agda-bin_2.6.1-1+b2_amd64.deb	8.5 MiB	08/19/2020 07:59:36 PM +00:00
	agda-bin_2.6.1-1+b2_arm64.deb	9.9 MiB	08/19/2020 09:57:18 PM +00:00
	agda-bin_2.6.1-1+b2_i386.deb	8.6 MiB	08/19/2020 10:58:58 PM +00:00
	agda-bin_2.6.2.2-1.1_amd64.deb	7.4 MiB	12/06/2022 05:57:33 PM +00:00
	agda-mode_2.5.4.1-3_all.deb	115 KiB	10/20/2018 09:57:49 PM +00:00
	agda_2.5.4.1-3_all.deb	115 KiB	10/20/2018 09:57:49 PM +00:00
	agda_2.6.1-1_all.deb	28 KiB	07/29/2020 04:40:53 PM +00:00
	agda_2.6.2.2-1.1_all.deb	12 KiB	12/06/2022 05:41:56 PM +00:00
	elpa-agda2-mode_2.5.4.1-3_all.deb	152 KiB	10/20/2018 09:57:49 PM +00:00
	elpa-agda2-mode_2.6.1-1_all.deb	65 KiB	07/29/2020 04:40:53 PM +00:00
	elpa-agda2-mode_2.6.2.2-1.1_all.deb	50 KiB	12/06/2022 05:41:56 PM +00:00
	libghc-agda-dev_2.5.4.1-3+b1_amd64.deb	16 MiB	12/04/2018 10:59:05 AM +00:00
	libghc-agda-dev_2.5.4.1-3+b1_i386.deb	16 MiB	12/04/2018 10:43:52 AM +00:00
	libghc-agda-dev_2.6.1-1+b2_amd64.deb	36 MiB	08/19/2020 07:59:36 PM +00:00
	libghc-agda-dev_2.6.1-1+b2_arm64.deb	43 MiB	08/19/2020 09:57:18 PM +00:00
	libghc-agda-dev_2.6.1-1+b2_i386.deb	36 MiB	08/19/2020 10:58:58 PM +00:00
	libghc-agda-dev_2.6.2.2-1.1_amd64.deb	24 MiB	12/06/2022 05:57:33 PM +00:00
	libghc-agda-doc_2.5.4.1-3_all.deb	3.6 MiB	10/20/2018 09:57:49 PM +00:00
	libghc-agda-doc_2.6.1-1_all.deb	5.5 MiB	07/29/2020 04:40:53 PM +00:00
	libghc-agda-doc_2.6.2.2-1.1_all.deb	6.3 MiB	12/06/2022 05:41:56 PM +00:00