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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]0000000168-91c216fb196707dccc3b207c7eca4461185d238da6d2797f0ae242e3873a033c2012-06-06 15:49 160  
[   ]0000000181-42b1a1d4ac6a12e798c5d16bbc7d51097305fa47a785169ebfd5902137da3bee2012-06-07 11:33 169  
[   ]0000000214-2e4b2c3b28265e31d727cbb0462b616680b85c44ed4130406e80c5ec077863cb2012-06-07 11:33 166  
[   ]0000000257-56d1c2dd76ffd8c2dce1a04052fa7e42a47b30316f49841f6323eee552317d6b2012-06-06 10:51 209  
[   ]0000000284-65a3cededb3d0b7fcd72b9a12ab9188f03dbb422d777a84a347f69b8fb31cf7d2012-06-06 15:49 209  
[   ]0000000336-7b5e6178e9d245764c7de59891b76eef79c78fec0e13483e03c5ba49d54a6abc2012-06-06 15:49 235  
[   ]0000000346-17198acc99a62e3d3181c21c905dffae6047ff3c5c1e941c2bb43c6b250e3ae02012-06-07 23:43 285  
[   ]0000000408-22d04b0c555ae6bd578221b85e9b831605fdb8c40a2cc454f65533466aaa67522012-06-06 10:51 257  
[   ]0000000522-7fff63df92c30ce14d3ccb722c37f778ca75627b8d1a8e2a4a1d339d63c8f6372012-06-07 23:43 328  
[   ]0000000714-f7f4b82707df61168c9d746d5bcd27aed16f1145178c37f4a9eb8a2542ae586f2012-06-07 23:43 350  
[   ]0000001144-fe8d93fc03ae83131c303c789ed38138db80f79810a87bdd01d5773dfa629f282012-06-07 23:43 502  
[   ]0000001185-9ed06dc0cbacf63d02f8e51428b55822a9186a8b79d635eee395571adc8bf9ea2012-06-06 10:51 588  
[   ]0000001290-50e1b4840b69e796ca6b3898798c37c306570fd502f64b58c13cdfa85a4ac4fc2012-06-06 15:49 623  
[   ]0000001444-d9bd40b97bddd7fb58567b4c6e29f411ed15d2f7d132832dbbbd50d5ff491d492012-06-06 10:51 634  
[   ]0000003267-78e5b7797a093fa02e851e002d9e78e666b432141ae6df446a8b2f5efbf9064c2012-06-07 11:33 1.2K 
[   ]0000003599-8c611ff40f820b285779c01e011f8496bba895cbb10962e2c50f36725308b8952012-06-04 12:40 1.2K 
[   ]0000003653-b0ddca8a8b2fed0ee5de296a06d34f1b8d949fbdd797ede360d9bd83fef41ab02012-06-07 23:54 1.2K 
[   ]0000004537-76d272f55fcd38e782defd1b98f23010e44242fd1809260bd41be8b0553f15212012-06-07 11:33 631  
[   ]0000004688-7a0b68f0055186b1bd92b1596025fdb1a42c4676bac3ae6aa1708f5fc5fb9b6b2012-06-06 15:49 1.9K 
[   ]0000009153-34a99c5a278968b642317c86b025e6c26342420ce8b6d9a0a9fefa8ad1524d232012-06-07 12:00 2.3K 
[   ]0000010090-85b7cec48301c9711ae6401e1ccd4f6a346ceadd8da31940b941d6e52c15b1672012-06-04 12:42 3.2K 
[   ]0000019886-6eaf0bb9fd0d544c306ab17c300981d27b8cc71904e0b110431e0a2089cdaf992012-06-06 10:51 5.4K 
[   ]0000025123-8c1cc01ad4b4aa5accd5922357205af2c0f891ac6e99763dbc5f4e102cf564702012-06-03 23:06 7.9K 
[   ]0000044127-8260ca9f94a07cda3ff210e7d9e775ecffb961d4a507946b987fa9034bb3f6032012-06-06 15:49 10K 
[   ]0000282554-4c9e105ec6b022bb0a33777d77a08901cef204ebaf83a05dcbf756762510e1992012-06-06 15:49 27K 
[   ]0000376593-9bfea613f2da070356a967a48ca81c24136fb5cfab46f0787d58baf02d23b92f2012-06-06 15:49 114K 
[   ]0000694545-6fd41ef2f28334a5f66ab38b5d8df2810b778ca0d6e04027a0b9bd19733c13932012-06-07 11:33 56K 
[   ]0000810878-1b26677fa3bbddfb52e0c016f77484e6cdf3c41c9b0dfe26a88ad7f99401ae192012-06-07 23:43 80K 
[   ]pending2012-06-07 23:54 4  
[   ]pending.tentative2012-06-07 23:54 4  

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