mingw64-x86_64-isl-src: Integer Set Library (for Win64 toolchain) (source)

    2024-09-15 10:41           0 mingw64-x86_64-isl-0.27-1.src/
    2024-09-14 12:17         239 mingw64-x86_64-isl-0.27-1.src/isl-0.27-configure.patch
    2024-09-01 10:57     2056436 mingw64-x86_64-isl-0.27-1.src/isl-0.27.tar.xz
    2024-09-15 10:36        1416 mingw64-x86_64-isl-0.27-1.src/mingw64-x86_64-isl.mingwport