Index of /by-release/debian/c/coq-float

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-float_1:8.4-2.patch-basis2013-12-07 15:36 8  
[   ]coq-float_1:8.4-4.patch-basis2014-07-30 17:17 8  
[   ]coq-float_1:8.4-5.patch-basis2015-10-15 04:07 8  
[   ]coq-float_1:8.3pl1-4.patch-basis2012-06-07 03:37 11  
[   ]coq-float_1:8.4-1.patch-basis2013-05-09 03:37 11  
[   ]coq-float_1:8.1-1.0-3.patch-basis2007-11-19 09:21 12  
[   ]coq-float_1:8.1-1.0-4.patch-basis2008-01-19 21:17 12  
[   ]coq-float_1:8.2-1.2-1.patch-basis2009-03-13 23:27 12  
[   ]coq-float_1:8.2-1.2-2.patch-basis2009-07-02 00:30 12  
[   ]coq-float_1:8.2-1.2-3.patch-basis2009-07-04 17:22 12  
[   ]coq-float_1:8.2-1.2-4.patch-basis2010-02-25 18:29 12  
[   ]coq-float_1:8.2-1.2-5.patch-basis2010-07-06 13:13 12  
[   ]coq-float_1:8.2-1.2-6.patch-basis2011-03-15 17:06 12  
[   ]coq-float_1:8.2-1.2-8.patch-basis2011-11-09 20:08 12  
[   ]coq-float_1:8.3pl1-1.patch-basis2012-01-20 04:30 12  
[   ]coq-float_1:8.3pl1-2.patch-basis2012-03-17 05:32 12  
[   ]coq-float_1:8.3pl1-3.patch-basis2012-04-09 04:16 12  
[   ]coq-float_1:8.4-2.patch.bz22013-12-07 15:36 311  
[   ]coq-float_1:8.4-4.patch.bz22014-07-30 17:17 311  
[   ]coq-float_1:8.4-5.patch.bz22015-10-15 04:07 318  
[   ]coq-float_1:8.3pl1-4.patch.bz22012-06-07 03:37 324  
[   ]coq-float_1:8.2-1.2-6.patch.bz22011-03-15 17:06 454  
[   ]coq-float_1:8.2-1.2-2.patch.bz22009-07-02 00:30 578  
[   ]coq-float_1:8.2-1.2-8.patch.bz22011-11-09 20:08 621  
[   ]coq-float_1:8.2-1.2-3.patch.bz22009-07-04 17:22 633  
[   ]coq-float_1:8.2-1.2-5.patch.bz22010-07-06 13:13 837  
[   ]coq-float_1:8.2-1.2-4.patch.bz22010-02-25 18:29 1.6K 
[   ]patches.xml2020-03-16 15:42 2.7K 
[   ]coq-float_1:8.4-1.patch.bz22013-05-09 03:37 18K 
[   ]coq-float_1:8.3pl1-1.patch.bz22012-01-20 04:30 36K 
[   ]coq-float_1:8.3pl1-2.patch.bz22012-03-17 05:32 36K 
[   ]coq-float_1:8.3pl1-3.patch.bz22012-04-09 04:16 36K 

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