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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coq-float_1:8.1-1.0-3.patch-basis19-Nov-2007 09:21 12  
[   ]coq-float_1:8.1-1.0-4.patch-basis19-Jan-2008 21:17 12  
[   ]coq-float_1:8.2-1.2-1.patch-basis13-Mar-2009 23:27 12  
[   ]coq-float_1:8.2-1.2-2.patch-basis02-Jul-2009 00:30 12  
[   ]coq-float_1:8.2-1.2-2.patch.bz202-Jul-2009 00:30 578  
[   ]coq-float_1:8.2-1.2-3.patch-basis04-Jul-2009 17:22 12  
[   ]coq-float_1:8.2-1.2-3.patch.bz204-Jul-2009 17:22 633  
[   ]coq-float_1:8.2-1.2-4.patch-basis25-Feb-2010 18:29 12  
[   ]coq-float_1:8.2-1.2-4.patch.bz225-Feb-2010 18:29 1.6K 
[   ]coq-float_1:8.2-1.2-5.patch-basis06-Jul-2010 13:13 12  
[   ]coq-float_1:8.2-1.2-5.patch.bz206-Jul-2010 13:13 837  
[   ]coq-float_1:8.2-1.2-6.patch-basis15-Mar-2011 17:06 12  
[   ]coq-float_1:8.2-1.2-6.patch.bz215-Mar-2011 17:06 454  
[   ]coq-float_1:8.2-1.2-8.patch-basis09-Nov-2011 20:08 12  
[   ]coq-float_1:8.2-1.2-8.patch.bz209-Nov-2011 20:08 621  
[   ]coq-float_1:8.3pl1-1.patch-basis20-Jan-2012 04:30 12  
[   ]coq-float_1:8.3pl1-1.patch.bz220-Jan-2012 04:30 36K 
[   ]coq-float_1:8.3pl1-2.patch-basis17-Mar-2012 05:32 12  
[   ]coq-float_1:8.3pl1-2.patch.bz217-Mar-2012 05:32 36K 
[   ]coq-float_1:8.3pl1-3.patch-basis09-Apr-2012 04:16 12  
[   ]coq-float_1:8.3pl1-3.patch.bz209-Apr-2012 04:16 36K 
[   ]coq-float_1:8.3pl1-4.patch-basis07-Jun-2012 03:37 11  
[   ]coq-float_1:8.3pl1-4.patch.bz207-Jun-2012 03:37 324  
[   ]coq-float_1:8.4-1.patch-basis09-May-2013 03:37 11  
[   ]coq-float_1:8.4-1.patch.bz209-May-2013 03:37 18K 
[   ]coq-float_1:8.4-2.patch-basis07-Dec-2013 15:36 8  
[   ]coq-float_1:8.4-2.patch.bz207-Dec-2013 15:36 311  
[   ]coq-float_1:8.4-4.patch-basis30-Jul-2014 17:17 8  
[   ]coq-float_1:8.4-4.patch.bz230-Jul-2014 17:17 311  
[   ]coq-float_1:8.4-5.patch-basis15-Oct-2015 04:07 8  
[   ]coq-float_1:8.4-5.patch.bz215-Oct-2015 04:07 318  
[   ]patches.xml16-Mar-2020 15:42 2.7K