| Name | Size | Type | Last Modified |
|---|---|---|---|
| Parent Directory | |||
| disable-gnu-source.diff | 617 | text/x-diff | Mon, 09 Nov 2026 23:57:34 GMT |
| find-mathlib.diff | 678 | text/x-diff | Mon, 09 Nov 2026 23:57:34 GMT |
| portfile.cmake | 1397 | text/plain | Mon, 09 Nov 2026 23:57:34 GMT |
| vcpkg.json | 501 | text/plain | Mon, 09 Nov 2026 23:57:34 GMT |