Index of /by-release/debian/a/agda-stdlib

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-stdlib_0.3-3.patch-basis2010-03-14 01:41 6  
[   ]agda-stdlib_0.3-3.patch.bz22010-03-14 01:41 2.4K 
[   ]agda-stdlib_0.5-1.patch-basis2011-05-24 18:01 6  
[   ]agda-stdlib_0.5-1.patch.bz22011-05-24 18:01 110K 
[   ]agda-stdlib_0.7-2.patch-basis2013-05-27 21:39 6  
[   ]agda-stdlib_0.7-2.patch.bz22013-05-27 21:39 322  
[   ]agda-stdlib_0.8-1.patch-basis2014-08-05 16:44 6  
[   ]agda-stdlib_0.8-1.patch.bz22014-08-05 16:44 60K 
[   ]agda-stdlib_0.8-2.patch-basis2014-08-12 17:12 6  
[   ]agda-stdlib_0.8-2.patch.bz22014-08-12 17:12 60K 
[   ]agda-stdlib_0.9-1.patch-basis2015-05-20 16:10 6  
[   ]agda-stdlib_0.9-1.patch.bz22015-05-20 16:10 12K 
[   ]agda-stdlib_0.11-1.patch-basis2016-01-04 17:10 6  
[   ]agda-stdlib_0.11-1.patch.bz22016-01-04 17:10 34K 
[   ]agda-stdlib_0.12-1.patch-basis2016-06-20 17:09 7  
[   ]agda-stdlib_0.12-1.patch.bz22016-06-20 17:09 19K 
[   ]agda-stdlib_0.12-2.patch-basis2016-06-23 23:22 7  
[   ]agda-stdlib_0.12-2.patch.bz22016-06-23 23:22 19K 
[   ]agda-stdlib_0.17-1.patch-basis2018-11-24 12:08 7  
[   ]agda-stdlib_0.17-1.patch.bz22018-11-24 12:08 319K 
[   ]agda-stdlib_1.1-1.patch-basis2019-09-04 15:39 7  
[   ]agda-stdlib_1.1-1.patch.bz22019-09-04 15:39 391K 
[   ]agda-stdlib_1.7.1-1.patch-basis2022-08-06 21:38 6  
[   ]agda-stdlib_1.7.1-1.patch.bz22022-08-06 21:38 356K 
[TXT]agda-stdlib_1.7.3-1.patch2023-11-04 15:36 518K 
[   ]agda-stdlib_1.7.3-1.patch-basis2023-11-04 15:36 8  
[   ]patches.xml2023-11-04 15:43 3.0K 

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