uk-mirror.onlyservers.com

Index of /ubuntu/pool/universe/a/agda/

Show dotfiles

Name

Last modified

Size

../

agda-bin_2.3.2.2-1_amd64.deb

06-Nov-2013 17:28

5.22 MB

agda-bin_2.3.2.2-1_i386.deb

06-Nov-2013 17:28

4.86 MB

agda-bin_2.4.2.5-1build1_amd64.deb

12-Jan-2016 22:59

4.58 MB

agda-bin_2.4.2.5-1build1_i386.deb

12-Jan-2016 22:45

4.56 MB

agda-bin_2.5.3-3build1_amd64.deb

25-Nov-2017 20:09

5.46 MB

agda-bin_2.5.3-3build1_i386.deb

25-Nov-2017 20:09

5.47 MB

agda-bin_2.6.0.1-1build4_amd64.deb

08-Feb-2020 13:19

6.27 MB

agda-bin_2.6.1-1build2.1_amd64.deb

16-Sep-2021 08:28

9.1 MB

agda-bin_2.6.3-1build1_amd64.deb

10-Nov-2023 20:19

10.48 MB

agda-bin_2.6.4.3-1_amd64.deb

25-Oct-2024 21:15

10.05 MB

agda-bin_2.6.4.3-1build1_amd64.deb

01-Nov-2025 18:57

10.05 MB

agda-bin_2.6.4.3-1build1_amd64v3.deb

01-Nov-2025 18:57

10.05 MB

agda-bin_2.8.0-2build1_amd64.deb

01-Mar-2026 19:50

10.48 MB

agda-bin_2.8.0-2build1_amd64v3.deb

01-Mar-2026 19:51

10.48 MB

agda-mode_2.3.2.2-1_all.deb

06-Nov-2013 17:28

46.95 KB

agda-mode_2.4.2.5-1build1_all.deb

12-Jan-2016 22:59

36.4 KB

agda-mode_2.5.3-3build1_all.deb

25-Nov-2017 20:09

3.5 KB

agda-mode_2.6.0.1-1build4_all.deb

08-Feb-2020 13:19

3.56 KB

agda_2.3.2.2-1.debian.tar.gz

06-Nov-2013 17:28

7.23 KB

agda_2.3.2.2-1.dsc

06-Nov-2013 17:28

3.21 KB

agda_2.3.2.2-1_all.deb

06-Nov-2013 17:28

2.93 KB

agda_2.3.2.2.orig.tar.gz

06-Nov-2013 17:28

1.94 MB

agda_2.4.2.5-1build1.debian.tar.xz

12-Jan-2016 22:30

7.66 KB

agda_2.4.2.5-1build1.dsc

12-Jan-2016 22:30

3.74 KB

agda_2.4.2.5-1build1_all.deb

12-Jan-2016 22:59

2.9 KB

agda_2.4.2.5.orig.tar.gz

04-Jan-2016 23:25

1,007.25 KB

agda_2.5.3-3build1.debian.tar.xz

25-Nov-2017 19:15

9.57 KB

agda_2.5.3-3build1.dsc

25-Nov-2017 19:15

4.46 KB

agda_2.5.3-3build1_all.deb

25-Nov-2017 20:09

2.98 KB

agda_2.5.3.orig.tar.gz

01-Nov-2017 13:05

1.15 MB

agda_2.6.0.1-1build4.debian.tar.xz

08-Feb-2020 11:38

9.98 KB

agda_2.6.0.1-1build4.dsc

08-Feb-2020 11:38

4.19 KB

agda_2.6.0.1-1build4_all.deb

08-Feb-2020 13:19

3.96 KB

agda_2.6.0.1.orig.tar.gz

01-Sep-2019 12:43

2.26 MB

agda_2.6.1-1build2.1.debian.tar.xz

16-Sep-2021 07:39

9.99 KB

agda_2.6.1-1build2.1.dsc

16-Sep-2021 07:39

4.19 KB

agda_2.6.1-1build2.1_all.deb

16-Sep-2021 08:28

4.04 KB

agda_2.6.1.orig.tar.gz

29-Jul-2020 23:19

2.52 MB

agda_2.6.3-1build1.debian.tar.xz

08-Nov-2023 09:36

11.36 KB

agda_2.6.3-1build1.dsc

08-Nov-2023 09:36

4.82 KB

agda_2.6.3-1build1_all.deb

10-Nov-2023 20:19

3.67 KB

agda_2.6.3.orig.tar.gz

26-Oct-2023 15:43

1.71 MB

agda_2.6.4.3-1.debian.tar.xz

25-Oct-2024 19:11

10.21 KB

agda_2.6.4.3-1.dsc

25-Oct-2024 19:11

5.08 KB

agda_2.6.4.3-1_all.deb

25-Oct-2024 21:15

3.65 KB

agda_2.6.4.3-1build1.debian.tar.xz

01-Nov-2025 08:04

10.26 KB

agda_2.6.4.3-1build1.dsc

01-Nov-2025 08:04

5.07 KB

agda_2.6.4.3-1build1_all.deb

01-Nov-2025 18:57

3.75 KB

agda_2.6.4.3.orig.tar.gz

25-Oct-2024 19:11

1.78 MB

agda_2.8.0-2build1.debian.tar.xz

01-Mar-2026 19:49

10.43 KB

agda_2.8.0-2build1.dsc

01-Mar-2026 19:49

5.79 KB

agda_2.8.0-2build1_all.deb

01-Mar-2026 19:50

2.82 KB

agda_2.8.0.orig.tar.gz

15-Feb-2026 06:16

1.86 MB

elpa-agda2-mode_2.5.3-3build1_all.deb

25-Nov-2017 20:09

39.89 KB

elpa-agda2-mode_2.6.0.1-1build4_all.deb

08-Feb-2020 13:19

40.21 KB

elpa-agda2-mode_2.6.1-1build2.1_all.deb

16-Sep-2021 08:28

45.09 KB

elpa-agda2-mode_2.6.3-1build1_all.deb

10-Nov-2023 20:19

45.17 KB

elpa-agda2-mode_2.6.4.3-1_all.deb

25-Oct-2024 21:15

45.25 KB

elpa-agda2-mode_2.6.4.3-1build1_all.deb

01-Nov-2025 18:57

45.35 KB

elpa-agda2-mode_2.8.0-2build1_all.deb

01-Mar-2026 19:50

46.57 KB

libghc-agda-dev_2.3.2.2-1_amd64.deb

06-Nov-2013 17:28

12.96 MB

libghc-agda-dev_2.3.2.2-1_i386.deb

06-Nov-2013 17:28

12.31 MB

libghc-agda-dev_2.4.2.5-1build1_amd64.deb

12-Jan-2016 22:59

10.18 MB

libghc-agda-dev_2.4.2.5-1build1_i386.deb

12-Jan-2016 22:45

10.05 MB

libghc-agda-dev_2.5.3-3build1_amd64.deb

25-Nov-2017 20:09

15.14 MB

libghc-agda-dev_2.5.3-3build1_i386.deb

25-Nov-2017 20:09

14.87 MB

libghc-agda-dev_2.6.0.1-1build4_amd64.deb

08-Feb-2020 13:19

18.77 MB

libghc-agda-dev_2.6.1-1build2.1_amd64.deb

16-Sep-2021 08:28

38.39 MB

libghc-agda-dev_2.6.3-1build1_amd64.deb

10-Nov-2023 20:19

24.3 MB

libghc-agda-dev_2.6.4.3-1_amd64.deb

25-Oct-2024 21:15

23.05 MB

libghc-agda-dev_2.6.4.3-1build1_amd64.deb

01-Nov-2025 18:57

23.02 MB

libghc-agda-dev_2.6.4.3-1build1_amd64v3.deb

01-Nov-2025 18:57

23.02 MB

libghc-agda-dev_2.8.0-2build1_amd64.deb

01-Mar-2026 19:50

37.42 MB

libghc-agda-dev_2.8.0-2build1_amd64v3.deb

01-Mar-2026 19:51

37.42 MB

libghc-agda-doc_2.3.2.2-1_all.deb

06-Nov-2013 17:28

2.09 MB

libghc-agda-doc_2.4.2.5-1build1_all.deb

12-Jan-2016 22:59

2.08 MB

libghc-agda-doc_2.5.3-3build1_all.deb

25-Nov-2017 20:09

2.62 MB

libghc-agda-doc_2.6.0.1-1build4_all.deb

08-Feb-2020 13:19

4.01 MB

libghc-agda-doc_2.6.1-1build2.1_all.deb

16-Sep-2021 08:28

5.15 MB

libghc-agda-doc_2.6.3-1build1_all.deb

10-Nov-2023 20:19

6 MB

libghc-agda-doc_2.6.4.3-1_all.deb

25-Oct-2024 21:15

6.38 MB

libghc-agda-doc_2.6.4.3-1build1_all.deb

01-Nov-2025 18:57

6.38 MB

libghc-agda-doc_2.8.0-2build1_all.deb

01-Mar-2026 19:50

6.49 MB