Index of /agda-free-groups/_darcs/pristine.hashed

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]0000000294-d928c5ce97acbea34fd89122046d84864f178a2f19a1ccec75bf98a787c1372b2012-05-07 15:23 208  
[   ]0000000294-fde752dbcc9ac8a7e4de345e80c2f7b1b8779b6418daf0a0455b0db6dede81a72012-05-07 16:08 210  
[   ]0000000486-7df61319269d4bb474fbd161e9b73e93dcd167091f3002e96d5dbd10ae1c1e2c2012-09-11 17:20 313  
[   ]0000001345-5c468a7856a7e942bb755925b9b072e320c86fa5df2fd005818627ddc5fec1532012-09-11 17:20 554  
[   ]0000002843-51cbf0dc5006dd3c6111e2567869d8917c26ef5cdddde3896791ecc5226d0c3b2012-05-07 15:23 1.0K 
[   ]0000004942-cb8544b819321fca189ab674b0b1f3ed22c006aba1af89a46fffbb6035dcbc582012-09-11 17:20 1.3K 
[   ]0000005319-f04b85972b74d88b92be544159a488d2b9e92e4e4acd707a6a654eadc586957b2012-05-07 15:23 1.6K 
[   ]0000005647-3c9e969cbc3e7490edc7f2bc5ee848e0ee9edb1ccc342bfa4294b3b387ec784b2012-09-11 17:20 1.7K 
[   ]0000005694-edd496e923af002a16ddb62ba1ca4da2466bd9f5decf73f894aba9e8e53d15722012-09-11 17:20 1.7K 
[   ]0000005695-0c1d214008780e5d25ca548f3916be09feb98e310be82344597bfe7c6d9457dd2012-05-07 16:08 1.7K 
[   ]0000005713-27202c76f21d3d7dfc9621130556270a762a142a02eaf85050ebca4acd31151a2012-05-07 15:23 1.7K 
[   ]da39a3ee5e6b4b0d3255bfef95601890afd807092012-05-07 15:23 0  

Apache/2.4.25 (Debian) Server at darcs.nomeata.de Port 80