| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| BUILD | 88 B | 2017-Oct-23 00:11 |
| CONFIGURE | 202 B | 2017-Oct-23 00:11 |
| DEPENDS | 1.5 KiB | 2017-Oct-23 00:11 |
| DETAILS | 844 B | 2017-Oct-23 00:11 |
| HISTORY | 2.8 KiB | 2017-Oct-23 00:11 |
| PRE_BUILD | 240 B | 2017-Oct-23 00:11 |
| bison3.patch | 366 B | 2017-Oct-23 00:11 |
| gtk-doc.patch | 587 B | 2017-Oct-23 00:11 |
| opengl-headers.patch | 1.8 KiB | 2017-Oct-23 00:11 |
| utf8.patch | 324 B | 2017-Oct-23 00:11 |