Index of /by-release/ubuntu/w/why3

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]patches.xml02-Sep-2020 19:12 2.7K 
[   ]why3_0.87.3-2ubuntu1.patch-basis18-Jul-2017 06:20 9  
[   ]why3_0.87.3-2ubuntu1.patch.bz218-Jul-2017 06:20 1.0K 
[   ]why3_0.87.3-2ubuntu2.patch-basis01-Sep-2017 17:47 9  
[   ]why3_0.87.3-2ubuntu2.patch.bz201-Sep-2017 17:47 1.1K 
[   ]why3_0.87.3-2ubuntu3.patch-basis19-Sep-2017 02:43 9  
[   ]why3_0.87.3-2ubuntu3.patch.bz219-Sep-2017 02:43 1.2K 
[   ]why3_0.87.3-2ubuntu4.patch-basis05-Nov-2017 04:34 9  
[   ]why3_0.87.3-2ubuntu4.patch.bz205-Nov-2017 04:34 1.2K 
[   ]why3_0.88.3-1ubuntu4.patch-basis07-Apr-2018 07:43 9  
[   ]why3_0.88.3-1ubuntu4.patch.bz207-Apr-2018 07:43 2.2K 
[   ]why3_0.88.3-3ubuntu1.patch-basis04-Jun-2018 17:43 9  
[   ]why3_0.88.3-3ubuntu1.patch.bz204-Jun-2018 17:43 1.8K 
[   ]why3_1.2.0-1ubuntu2.patch-basis29-Jul-2019 23:40 8  
[   ]why3_1.2.0-1ubuntu2.patch.bz229-Jul-2019 23:40 1.7K 
[   ]why3_1.2.0-2ubuntu1.patch-basis02-Sep-2019 22:41 8  
[   ]why3_1.2.0-2ubuntu1.patch.bz202-Sep-2019 22:41 1.8K 
[   ]why3_1.2.0-3ubuntu1.patch-basis16-Oct-2019 11:39 8  
[   ]why3_1.2.0-3ubuntu1.patch.bz216-Oct-2019 11:39 1.9K 
[   ]why3_1.2.1-1ubuntu1.patch-basis31-Oct-2019 14:40 8  
[   ]why3_1.2.1-1ubuntu1.patch.bz231-Oct-2019 14:40 1.9K