Index of /nova/pool/extendido/a/agda/


../
agda-bin_2.5.3-3build1_amd64.deb                   11-Jun-2020 01:59             5728080
agda-bin_2.5.3-3build1_i386.deb                    11-Jun-2020 01:18             5735576
agda-bin_2.6.0.1-1build4_amd64.deb                 22-Jun-2020 06:27             6571852
agda-bin_2.6.1-1build2.1_amd64.deb                 30-Apr-2022 08:15             9541384
agda-mode_2.5.3-3build1_all.deb                    11-Jun-2020 02:37                3584
agda-mode_2.6.0.1-1build4_all.deb                  22-Jun-2020 18:44                3644
agda_2.5.3-3build1.debian.tar.xz                   10-Jun-2020 17:21                9800
agda_2.5.3-3build1.dsc                             10-Jun-2020 17:21                4572
agda_2.5.3-3build1_all.deb                         11-Jun-2020 05:52                3052
agda_2.5.3.orig.tar.gz                             10-Jun-2020 17:21             1201344
agda_2.6.0.1-1build4.debian.tar.xz                 22-Jun-2020 08:19               10220
agda_2.6.0.1-1build4.dsc                           22-Jun-2020 08:19                4293
agda_2.6.0.1-1build4_all.deb                       22-Jun-2020 07:42                4056
agda_2.6.0.1.orig.tar.gz                           22-Jun-2020 08:19             2372106
agda_2.6.1-1build2.1.debian.tar.xz                 01-May-2022 05:53               10232
agda_2.6.1-1build2.1.dsc                           01-May-2022 05:53                4293
agda_2.6.1-1build2.1_all.deb                       30-Apr-2022 08:23                4134
agda_2.6.1.orig.tar.gz                             01-May-2022 05:53             2646289
elpa-agda2-mode_2.5.3-3build1_all.deb              11-Jun-2020 04:04               40852
elpa-agda2-mode_2.6.0.1-1build4_all.deb            22-Jun-2020 18:10               41180
elpa-agda2-mode_2.6.1-1build2.1_all.deb            30-Apr-2022 05:31               46174
libghc-agda-dev_2.5.3-3build1_amd64.deb            11-Jun-2020 04:17            15874428
libghc-agda-dev_2.5.3-3build1_i386.deb             11-Jun-2020 01:37            15587704
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          22-Jun-2020 07:50            19681864
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          30-Apr-2022 06:11            40255774
libghc-agda-doc_2.5.3-3build1_all.deb              11-Jun-2020 03:43             2752184
libghc-agda-doc_2.6.0.1-1build4_all.deb            22-Jun-2020 12:15             4206940
libghc-agda-doc_2.6.1-1build2.1_all.deb            30-Apr-2022 08:58             5403312