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


../
agda-stdlib-doc_0.6-2_all.deb                      19-Apr-2012 04:44             1704574
agda-stdlib-doc_0.7-2_all.deb                      27-May-2013 18:46             1739092
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.7-2.debian.tar.gz                    27-May-2013 18:46                4455
agda-stdlib_0.7-2.dsc                              27-May-2013 18:46                2077
agda-stdlib_0.7-2_all.deb                          27-May-2013 18:46            18100406
agda-stdlib_0.7.orig.tar.gz                        10-Apr-2013 11:24              226400