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