RedirectedUrl: version 0.4.1: HOMEPAGE: permanently redirected: https://github.com/OCamlPro-Iguernlala/ocplib-simplex -> https://github.com/OCamlPro/ocplib-simplex
  RedirectedUrl: version 0.4.1: SRC_URI: permanently redirected: https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/v0.4.1.tar.gz -> https://github.com/OCamlPro/ocplib-simplex/archive/v0.4.1.tar.gz
  RedirectedUrl: version 0.4.1: metadata.xml: remote-id: permanently redirected: https://github.com/OCamlPro-Iguernlala/ocplib-simplex -> https://github.com/OCamlPro/ocplib-simplex