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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] agda-stdlib-doc_0.11-1_all.deb   2016-01-05 12:20  1.2M  
[   ] agda-stdlib-doc_0.13-1_all.deb   2017-07-10 22:28  1.3M  
[   ] agda-stdlib-doc_0.14-1_all.deb   2017-11-27 05:04  1.0M  
[   ] agda-stdlib-doc_0.6-2_all.deb    2012-03-19 09:03  1.6M  
[   ] agda-stdlib-doc_0.7-2_all.deb    2013-05-28 09:33  1.7M  
[   ] agda-stdlib_0.11-1.debian.tar.xz 2016-01-05 10:25  4.5K  
[   ] agda-stdlib_0.11-1.dsc           2016-01-05 10:25  2.1K  
[   ] agda-stdlib_0.11-1_all.deb       2016-01-05 12:20   17M  
[   ] agda-stdlib_0.11.orig.tar.gz     2016-01-05 10:25  247K  
[   ] agda-stdlib_0.13-1.debian.tar.xz 2017-07-07 15:08  4.9K  
[   ] agda-stdlib_0.13-1.dsc           2017-07-07 15:08  2.0K  
[   ] agda-stdlib_0.13-1_all.deb       2017-07-10 22:28   16M  
[   ] agda-stdlib_0.13.orig.tar.gz     2017-07-07 15:08  258K  
[   ] agda-stdlib_0.14-1.debian.tar.xz 2017-11-27 04:08  5.1K  
[   ] agda-stdlib_0.14-1.dsc           2017-11-27 04:08  2.1K  
[   ] agda-stdlib_0.14-1_all.deb       2017-11-27 05:04   17M  
[   ] agda-stdlib_0.14.orig.tar.gz     2017-11-26 22:14  279K  
[   ] agda-stdlib_0.6-2.debian.tar.gz  2012-03-19 08:33  4.1K  
[   ] agda-stdlib_0.6-2.dsc            2012-03-19 08:33  1.4K  
[   ] agda-stdlib_0.6-2_all.deb        2012-03-19 09:03   16M  
[   ] agda-stdlib_0.6.orig.tar.gz      2012-01-04 12:04  211K  
[   ] agda-stdlib_0.7-2.debian.tar.gz  2013-05-28 09:33  4.4K  
[   ] agda-stdlib_0.7-2.dsc            2013-05-28 09:33  2.0K  
[   ] agda-stdlib_0.7-2_all.deb        2013-05-28 09:33   17M  
[   ] agda-stdlib_0.7.orig.tar.gz      2013-04-11 04:03  221K