![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| t-coffee-11.00-cxx11.patch | 24-Dec-2017 20:09 | 1.0K |
| t-coffee-11.00-gcc7.patch | 24-Dec-2017 20:09 | 864 |
| t-coffee-11.00-makefile.patch | 07-Jul-2022 21:10 | 535 |
| t-coffee-11.00-mayhem.patch | 25-Dec-2015 10:38 | 1.2K |
| t-coffee-11.00-set_proper_dir_permissions.patch | 25-Dec-2015 10:38 | 1.2K |