RedirectedUrl: version 0.4.0: HOMEPAGE: permanently redirected: https://github.com/OCamlPro-Coquera/psmt2-frontend -> https://github.com/ACoquereau/psmt2-frontend
  RedirectedUrl: version 0.4.0: SRC_URI: permanently redirected: https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> https://github.com/ACoquereau/psmt2-frontend/archive/0.4.0.tar.gz