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

    2023-05-06 10:15           0 mingw64-x86_64-isl-0.26-1.src/
    2023-05-06 10:11         239 mingw64-x86_64-isl-0.26-1.src/isl-0.26-configure.patch
    2023-04-02 20:31     2035560 mingw64-x86_64-isl-0.26-1.src/isl-0.26.tar.xz
    2023-05-06 10:11        1360 mingw64-x86_64-isl-0.26-1.src/mingw64-x86_64-isl.mingwport