Index of /sites/raspbian.org/raspbian/pool/main/a/agda-stdlib

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] agda-stdlib-doc_0.12-2_all.deb            2016-06-23 20:55  1.2M  
[   ] agda-stdlib-doc_0.13-1_all.deb            2017-07-10 15:43  1.3M  
[   ] agda-stdlib-doc_0.14-1_all.deb            2017-11-26 12:28  1.0M  
[   ] agda-stdlib-doc_0.17-1_all.deb            2018-11-24 02:48  1.3M  
[   ] agda-stdlib-doc_0.6-2_all.deb             2012-04-19 06:44  1.6M  
[   ] agda-stdlib-doc_0.8-2_all.deb             2014-08-12 11:40  1.2M  
[   ] agda-stdlib-doc_1.1-1_all.deb             2019-09-13 17:47  1.8M  
[   ] agda-stdlib-doc_1.3-2_all.deb             2020-08-01 15:34  2.3M  
[   ] agda-stdlib-doc_1.7.1-1_all.deb           2022-08-06 20:46  2.9M  
[   ] agda-stdlib-doc_1.7.3-1_all.deb           2023-11-04 13:59  2.9M  
[   ] agda-stdlib_0.12-2.debian.tar.xz          2016-06-23 19:53  4.9K  
[TXT] agda-stdlib_0.12-2.dsc                    2016-06-23 19:53  2.1K  
[   ] agda-stdlib_0.12-2_all.deb                2016-06-23 20:55   16M  
[   ] agda-stdlib_0.12.orig.tar.gz              2016-06-20 10:47  248K  
[   ] agda-stdlib_0.13-1.debian.tar.xz          2017-07-06 11:51  4.9K  
[TXT] agda-stdlib_0.13-1.dsc                    2017-07-06 11:51  2.0K  
[   ] agda-stdlib_0.13-1_all.deb                2017-07-10 15:43   16M  
[   ] agda-stdlib_0.13.orig.tar.gz              2017-07-06 11:51  258K  
[   ] agda-stdlib_0.14-1.debian.tar.xz          2017-11-26 11:48  5.1K  
[TXT] agda-stdlib_0.14-1.dsc                    2017-11-26 11:48  2.1K  
[   ] agda-stdlib_0.14-1_all.deb                2017-11-26 12:28   17M  
[   ] agda-stdlib_0.14.orig.tar.gz              2017-11-26 11:48  279K  
[   ] agda-stdlib_0.17-1.debian.tar.xz          2018-11-24 02:07  5.2K  
[TXT] agda-stdlib_0.17-1.dsc                    2018-11-24 02:07  2.2K  
[   ] agda-stdlib_0.17-1_all.deb                2018-11-24 02:48   31M  
[   ] agda-stdlib_0.17.orig.tar.gz              2018-11-24 02:07  388K  
[   ] agda-stdlib_0.6-2.debian.tar.gz           2012-04-19 01:32  4.1K  
[TXT] agda-stdlib_0.6-2.dsc                     2012-04-19 01:32  1.4K  
[   ] agda-stdlib_0.6-2_all.deb                 2012-04-19 06:44   16M  
[   ] agda-stdlib_0.6.orig.tar.gz               2012-04-19 01:32  211K  
[   ] agda-stdlib_0.8-2.debian.tar.xz           2014-08-12 11:40  4.4K  
[TXT] agda-stdlib_0.8-2.dsc                     2014-08-12 11:40  2.0K  
[   ] agda-stdlib_0.8-2_all.deb                 2014-08-12 11:40   22M  
[   ] agda-stdlib_0.8.orig.tar.gz               2014-08-05 11:28  240K  
[   ] agda-stdlib_1.1-1.debian.tar.xz           2019-09-04 15:26  5.4K  
[TXT] agda-stdlib_1.1-1.dsc                     2019-09-04 15:26  2.1K  
[   ] agda-stdlib_1.1-1_all.deb                 2019-09-13 17:47   45M  
[   ] agda-stdlib_1.1.orig.tar.gz               2019-09-04 15:26  557K  
[   ] agda-stdlib_1.3-2.debian.tar.xz           2020-08-01 14:54  5.5K  
[TXT] agda-stdlib_1.3-2.dsc                     2020-08-01 14:54  2.1K  
[   ] agda-stdlib_1.3-2_all.deb                 2020-08-01 15:34   70M  
[   ] agda-stdlib_1.3.orig.tar.gz               2020-07-31 13:50  734K  
[   ] agda-stdlib_1.7.1-1.debian.tar.xz         2022-08-06 19:10  5.5K  
[TXT] agda-stdlib_1.7.1-1.dsc                   2022-08-06 19:10  2.1K  
[   ] agda-stdlib_1.7.1-1_all.deb               2022-08-06 20:46   95M  
[   ] agda-stdlib_1.7.1.orig.tar.gz             2022-08-06 19:10  918K  
[   ] agda-stdlib_1.7.3-1.debian.tar.xz         2023-11-04 13:33  5.6K  
[TXT] agda-stdlib_1.7.3-1.dsc                   2023-11-04 13:33  2.1K  
[   ] agda-stdlib_1.7.3-1_all.deb               2023-11-04 13:59  112M  
[   ] agda-stdlib_1.7.3.orig.tar.gz             2023-11-04 13:33  920K