Index of /pub/linux/INSTALL/Ubuntu/archive/pool/universe/a/agda-stdlib

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[CMP] agda-stdlib_2.1.orig.tar.gz                        2024-10-31 17:16  1.2M  
[   ] agda-stdlib_2.1-3_all.deb                          2024-10-31 19:19  136M  
[TXT] agda-stdlib_2.1-3.dsc                              2024-10-31 17:16  2.2K  
[   ] agda-stdlib_2.1-3.debian.tar.xz                    2024-10-31 17:16  5.9K  
[CMP] agda-stdlib_1.7.3.orig.tar.gz                      2023-11-04 18:15  920K  
[   ] agda-stdlib_1.7.3-1_all.deb                        2023-11-10 23:50  115M  
[TXT] agda-stdlib_1.7.3-1.dsc                            2023-11-04 18:15  2.1K  
[   ] agda-stdlib_1.7.3-1.debian.tar.xz                  2023-11-04 18:15  5.6K  
[CMP] agda-stdlib_1.7.1.orig.tar.gz                      2022-08-06 23:19  918K  
[   ] agda-stdlib_1.7.1-1_all.deb                        2022-08-26 19:09   98M  
[TXT] agda-stdlib_1.7.1-1.dsc                            2022-08-06 23:19  2.1K  
[   ] agda-stdlib_1.7.1-1.debian.tar.xz                  2022-08-06 23:19  5.5K  
[CMP] agda-stdlib_1.3.orig.tar.gz                        2020-08-01 23:33  734K  
[   ] agda-stdlib_1.3-2_all.deb                          2020-08-02 05:43   70M  
[TXT] agda-stdlib_1.3-2.dsc                              2020-08-02 05:13  2.1K  
[   ] agda-stdlib_1.3-2.debian.tar.xz                    2020-08-02 05:13  5.5K  
[CMP] agda-stdlib_1.1.orig.tar.gz                        2019-09-04 13:38  557K  
[   ] agda-stdlib_1.1-1_all.deb                          2019-09-06 15:48   45M  
[TXT] agda-stdlib_1.1-1.dsc                              2019-09-06 15:48  2.1K  
[   ] agda-stdlib_1.1-1.debian.tar.xz                    2019-09-06 15:48  5.4K  
[CMP] agda-stdlib_0.14.orig.tar.gz                       2017-11-26 11:14  279K  
[   ] agda-stdlib_0.14-1_all.deb                         2017-11-26 18:04   17M  
[TXT] agda-stdlib_0.14-1.dsc                             2017-11-26 17:08  2.1K  
[   ] agda-stdlib_0.14-1.debian.tar.xz                   2017-11-26 17:08  5.1K  
[CMP] agda-stdlib_0.11.orig.tar.gz                       2016-01-04 23:25  247K  
[   ] agda-stdlib_0.11-1_all.deb                         2016-01-05 01:20   17M  
[TXT] agda-stdlib_0.11-1.dsc                             2016-01-04 23:25  2.1K  
[   ] agda-stdlib_0.11-1.debian.tar.xz                   2016-01-04 23:25  4.5K  
[CMP] agda-stdlib_0.7.orig.tar.gz                        2013-04-10 18:03  221K  
[   ] agda-stdlib_0.7-2_all.deb                          2013-05-27 23:33   17M  
[TXT] agda-stdlib_0.7-2.dsc                              2013-05-27 23:33  2.0K  
[CMP] agda-stdlib_0.7-2.debian.tar.gz                    2013-05-27 23:33  4.4K  
[   ] agda-stdlib-doc_2.1-3_all.deb                      2024-10-31 19:19  3.4M  
[   ] agda-stdlib-doc_1.7.3-1_all.deb                    2023-11-10 23:50  2.8M  
[   ] agda-stdlib-doc_1.7.1-1_all.deb                    2022-08-26 19:09  2.8M  
[   ] agda-stdlib-doc_1.3-2_all.deb                      2020-08-02 05:43  2.3M  
[   ] agda-stdlib-doc_1.1-1_all.deb                      2019-09-06 15:48  1.8M  
[   ] agda-stdlib-doc_0.14-1_all.deb                     2017-11-26 18:04  1.0M  
[   ] agda-stdlib-doc_0.11-1_all.deb                     2016-01-05 01:20  1.2M  
[   ] agda-stdlib-doc_0.7-2_all.deb                      2013-05-27 23:33  1.7M