Update URLs to all of fpottier packages

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)

https://fdopen.github.io/opam-repository-mingw/

Creative Commons Zero v1.0 Universal

96 stars 33 forks source link

Update URLs to all of fpottier packages #95

Closed smorimoto closed 3 years ago

smorimoto commented 3 years ago

Fixes #93

Niols commented 3 years ago

Thank you! I would say this PR is a bit urgent as, for now, no package that uses Menhir (or a dependency that uses Menhir) will be able to build on Windows.

fdopen commented 3 years ago

fixed via a62521e0d04814c32b0f9c3f7f51095847a09198

smorimoto commented 3 years ago

Thanks @fdopen!

Niols commented 3 years ago

Yes, thanks!