Index of /gpn12-agda-talk/_darcs/inventories

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]0000000210-f7f03e9ed7eaf875fef644782b1fe19e59f71f13901f4d0c9edca6f48a9348d62012-06-03 23:06 182  
[   ]0000000306-437ab60396ddd4eed54fe4e3acb1be7c25687e9a10307d67cb2df66c96952db42012-06-07 23:54 247  
[   ]0000000430-dd1853212605498b57e4df368c70f2be280fb13dd3823cc74387a0f202cb4bce2012-06-04 12:40 287  
[   ]0000000645-e25b6468b86a3afb528cec90420a16b339da428b50e04ed172c94238bf085d112012-06-04 12:42 372  
[   ]0000001705-e3c6fd29918e91ca9609ed8c165d91cf068fea87e7c669a99ca0355386106d442012-06-06 10:51 800  
[   ]0000003383-afdcc77d9d030d813a82f30e8f406110f5b0940b5cc165f763aae430a754f8612012-06-06 15:49 1.4K 
[   ]0000004456-4d7e12dee38fa94a15a10f000fcd1a7dfb118911ad89818eb7636b7dbb9998b92012-06-07 11:33 1.9K 
[   ]0000004666-280817bc7d843f9babc5014f90c362ba5a1af89d12406c75c8b89c4805292efb2012-06-07 12:00 2.0K 
[   ]0000005741-04d4286b79ec9589d0a5dec2f395f5f164ea4795ba5e83e30badef0ac194355f2012-06-07 23:43 2.4K 

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