Name(Sorted by ascending file name)Last modifiedSize
(File)
agda-bin_2.6.0.1-1build4_amd64.deb
February 8, 2020 8:19 PM
6.3M
(File)
agda-bin_2.6.1-1build2.1_amd64.deb
September 16, 2021 3:28 PM
9.1M
(File)
agda-bin_2.6.3-1build1_amd64.deb
November 11, 2023 3:19 AM
10M
(File)
agda-bin_2.6.4.3-1_amd64.deb
October 26, 2024 4:15 AM
10M
(File)
agda-mode_2.6.0.1-1build4_all.deb
February 8, 2020 8:19 PM
3.6K
(File)
agda_2.6.0.1-1build4_all.deb
February 8, 2020 8:19 PM
4.0K
(File)
agda_2.6.1-1build2.1_all.deb
September 16, 2021 3:28 PM
4.0K
(File)
agda_2.6.3-1build1_all.deb
November 11, 2023 3:19 AM
3.7K
(File)
agda_2.6.4.3-1_all.deb
October 26, 2024 4:15 AM
3.6K
(File)
elpa-agda2-mode_2.6.0.1-1build4_all.deb
February 8, 2020 8:19 PM
40K
(File)
elpa-agda2-mode_2.6.1-1build2.1_all.deb
September 16, 2021 3:28 PM
45K
(File)
elpa-agda2-mode_2.6.3-1build1_all.deb
November 11, 2023 3:19 AM
45K
(File)
elpa-agda2-mode_2.6.4.3-1_all.deb
October 26, 2024 4:15 AM
45K
(File)
libghc-agda-dev_2.6.0.1-1build4_amd64.deb
February 8, 2020 8:19 PM
19M
(File)
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
September 16, 2021 3:28 PM
38M
(File)
libghc-agda-dev_2.6.3-1build1_amd64.deb
November 11, 2023 3:19 AM
24M
(File)
libghc-agda-dev_2.6.4.3-1_amd64.deb
October 26, 2024 4:15 AM
23M
(File)
libghc-agda-doc_2.6.0.1-1build4_all.deb
February 8, 2020 8:19 PM
4.0M
(File)
libghc-agda-doc_2.6.1-1build2.1_all.deb
September 16, 2021 3:28 PM
5.2M
(File)
libghc-agda-doc_2.6.3-1build1_all.deb
November 11, 2023 3:19 AM
6.0M
(File)
libghc-agda-doc_2.6.4.3-1_all.deb
October 26, 2024 4:15 AM
6.4M