| Name | Size | Type | Last Modified |
|---|---|---|---|
| Parent Directory | |||
| disable-gnu-source.diff | 617 | text/x-diff | Wed, 12 Aug 2026 16:14:56 GMT |
| find-mathlib.diff | 678 | text/x-diff | Wed, 12 Aug 2026 16:14:56 GMT |
| portfile.cmake | 1397 | text/plain | Wed, 12 Aug 2026 16:14:56 GMT |
| vcpkg.json | 501 | text/plain | Wed, 12 Aug 2026 16:14:56 GMT |