Index of /by-release/atomic/debian/a/agda-bin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.2.6-1.patch-basis2010-01-11 23:26 8  
[   ]agda-bin_2.2.6-1.patch.bz22010-01-11 23:26 1.6K 
[   ]agda-bin_2.2.8-1.patch-basis2010-12-15 21:57 8  
[   ]agda-bin_2.2.8-1.patch.bz22010-12-15 21:57 1.8K 
[   ]agda-bin_2.2.10-1.patch-basis2011-05-24 17:24 8  
[   ]agda-bin_2.2.10-1.patch.bz22011-05-24 17:24 2.4K 
[   ]agda-bin_2.2.10-2.patch-basis2011-05-25 18:04 9  
[   ]agda-bin_2.2.10-2.patch.bz22011-05-25 18:04 606  
[   ]agda-bin_2.3.0-1.patch-basis2011-11-23 23:37 9  
[   ]agda-bin_2.3.0-1.patch.bz22011-11-23 23:37 1.2K 
[   ]agda-bin_2.3.0.1-1.patch-basis2012-03-16 01:28 8  
[   ]agda-bin_2.3.0.1-1.patch.bz22012-03-16 01:28 1.2K 
[   ]patches.xml2012-03-16 09:53 1.8K 

Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443