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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-stdlib_0.3-2.patch-basis2010-02-27 21:45 6  
[   ]agda-stdlib_0.3-2.patch.bz22010-02-27 21:45 2.3K 
[   ]agda-stdlib_0.3-3.patch-basis2010-03-03 17:46 6  
[   ]agda-stdlib_0.3-3.patch.bz22010-03-03 17:46 547  
[   ]agda-stdlib_0.5-1.patch-basis2011-05-24 17:24 6  
[   ]agda-stdlib_0.5-1.patch.bz22011-05-24 17:24 110K 
[   ]agda-stdlib_0.6-1.patch-basis2011-12-31 04:11 25  
[   ]agda-stdlib_0.6-1.patch.bz22011-12-31 04:11 17K 
[   ]agda-stdlib_0.6-2.patch-basis2012-03-16 01:28 6  
[   ]agda-stdlib_0.6-2.patch.bz22012-03-16 01:28 867  
[   ]agda-stdlib_0.6~darcs20111129t1640-1.patch-basis2011-11-29 23:39 6  
[   ]agda-stdlib_0.6~darcs20111129t1640-1.patch.bz22011-11-29 23:39 64K 
[   ]agda-stdlib_0.7-1.patch-basis2013-04-17 23:27 6  
[   ]agda-stdlib_0.7-1.patch.bz22013-04-17 23:27 35K 
[   ]agda-stdlib_0.7-2.patch-basis2013-05-27 21:35 6  
[   ]agda-stdlib_0.7-2.patch.bz22013-05-27 21:35 322  
[   ]agda-stdlib_0.8-1.patch-basis2014-08-05 16:41 6  
[   ]agda-stdlib_0.8-1.patch.bz22014-08-05 16:41 60K 
[   ]agda-stdlib_0.8-2.patch-basis2014-08-12 17:09 6  
[   ]agda-stdlib_0.8-2.patch.bz22014-08-12 17:09 605  
[   ]agda-stdlib_0.9-1.patch-basis2015-05-20 16:07 6  
[   ]agda-stdlib_0.9-1.patch.bz22015-05-20 16:07 12K 
[   ]agda-stdlib_0.11-1.patch-basis2016-01-04 17:08 6  
[   ]agda-stdlib_0.11-1.patch.bz22016-01-04 17:08 34K 
[   ]agda-stdlib_0.12-1.patch-basis2016-06-20 17:05 7  
[   ]agda-stdlib_0.12-1.patch.bz22016-06-20 17:05 19K 
[   ]agda-stdlib_0.12-2.patch-basis2016-06-23 23:16 7  
[   ]agda-stdlib_0.12-2.patch.bz22016-06-23 23:16 1.1K 
[   ]agda-stdlib_0.13-1.patch-basis2017-07-06 17:09 7  
[   ]agda-stdlib_0.13-1.patch.bz22017-07-06 17:09 25K 
[   ]agda-stdlib_0.14-1.patch-basis2017-11-26 16:09 7  
[   ]agda-stdlib_0.14-1.patch.bz22017-11-26 16:09 81K 
[   ]agda-stdlib_0.17-1.patch-basis2018-11-24 05:05 7  
[   ]agda-stdlib_0.17-1.patch.bz22018-11-24 05:05 319K 
[   ]agda-stdlib_1.1-1.patch-basis2019-09-04 15:36 7  
[   ]agda-stdlib_1.1-1.patch.bz22019-09-04 15:36 391K 
[   ]agda-stdlib_1.3-1.patch-basis2020-07-31 15:05 6  
[   ]agda-stdlib_1.3-1.patch.bz22020-07-31 15:05 294K 
[   ]agda-stdlib_1.3-2.patch-basis2020-08-01 15:05 6  
[   ]agda-stdlib_1.3-2.patch.bz22020-08-01 15:05 702  
[   ]agda-stdlib_1.7.1-1.patch-basis2022-08-06 21:35 6  
[   ]agda-stdlib_1.7.1-1.patch.bz22022-08-06 21:35 356K 
[   ]agda-stdlib_1.7.3-1.patch-basis2023-11-04 15:35 8  
[   ]agda-stdlib_1.7.3-1.patch.bz22023-11-04 15:35 30K 
[TXT]agda-stdlib_2.1-1.patch2024-10-19 03:35 5.6M 
[   ]agda-stdlib_2.1-1.patch-basis2024-10-19 03:35 8  
[TXT]agda-stdlib_2.1-2.patch2024-10-23 21:35 1.4K 
[   ]agda-stdlib_2.1-2.patch-basis2024-10-23 21:35 6  
[TXT]agda-stdlib_2.1-3.patch2024-10-24 16:06 1.0K 
[   ]agda-stdlib_2.1-3.patch-basis2024-10-24 16:06 6  
[TXT]agda-stdlib_2.1-4.patch2024-11-26 09:14 1.0K 
[   ]agda-stdlib_2.1-4.patch-basis2024-11-26 09:14 6  
[   ]patches.xml2024-11-26 10:47 3.0K 

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