Icon  Name                             Last modified      Size  
[DIR] Parent Directory - [   ] Manifest 14-Jun-2018 14:39 2.1K [   ] agda-stdlib-2.4.2.5.ebuild 28-Feb-2017 15:50 1.9K [   ] agda-stdlib-2.5.2.0.13.ebuild 28-Feb-2017 15:50 2.1K [DIR] files/ 06-Dec-2019 15:39 - [   ] metadata.xml 24-Jan-2016 19:06 658
Halifax, Nova Scotia [44.636607, -63.591380] mirror maintained by Karl Vollmer of ITS and Chris Maxwell and Jeff Allen of CS @ Dalhousie University
Sponsored By: Computer Science @ Dalhousie University, Networks & Systems @ Dalhousie University, ACORN Members