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