Index of /201510011644/raspbian/pool/main/a/agda-stdlib/


../
agda-stdlib-doc_0.6-2_all.deb                      19-Apr-2012 04:44             1704574
agda-stdlib-doc_0.8-2_all.deb                      12-Aug-2014 09:40             1234684
agda-stdlib-doc_0.9-1_all.deb                      20-May-2015 11:53             1244584
agda-stdlib_0.6-2.debian.tar.gz                    18-Apr-2012 23:32                4226
agda-stdlib_0.6-2.dsc                              18-Apr-2012 23:32                1437
agda-stdlib_0.6-2_all.deb                          19-Apr-2012 04:44            16979124
agda-stdlib_0.6.orig.tar.gz                        18-Apr-2012 23:32              216273
agda-stdlib_0.8-2.debian.tar.xz                    12-Aug-2014 09:40                4524
agda-stdlib_0.8-2.dsc                              12-Aug-2014 09:40                2094
agda-stdlib_0.8-2_all.deb                          12-Aug-2014 09:40            23527642
agda-stdlib_0.8.orig.tar.gz                        05-Aug-2014 09:28              246158
agda-stdlib_0.9-1.debian.tar.xz                    20-May-2015 11:53                4564
agda-stdlib_0.9-1.dsc                              20-May-2015 11:53                2098
agda-stdlib_0.9-1_all.deb                          20-May-2015 11:53            11053016
agda-stdlib_0.9.orig.tar.gz                        20-May-2015 11:53              248895