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

../
agda-stdlib-doc_0.6-2_all.deb                                                                                            18-Mar-2012 22:03      2M
agda-stdlib_0.6-2_all.deb                                                                                                18-Mar-2012 22:03     16M