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} | gprolog-1.5.0-destdir.patch | 2022-11-26 12:40 | 1.9K |
| gprolog-1.5.0-ldflags.patch | 2021-07-10 18:39 | 3.9K |
| gprolog-1.5.0-links.patch | 2022-11-26 12:40 | 501 |
| gprolog-1.5.0-llvm-as.patch | 2021-07-10 18:39 | 1.5K |