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

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