invalid URL in opam package ?

[fblanqui]

18:05 ~/src/opam-coq-repository/released/packages (master) l coq-lens/coq-lens.1.0.1+8.12/opam
opam-version: "2.0"
synopsis: "Generation of lenses for record datatypes"
maintainer: "[email protected]"
authors: [
  "Gregory Malecha <[email protected]>"
]
homepage: "https://github.com/bedrocksystems/coq-lens"
dev-repo: "git://github.com/bedrocksystems/coq-lens.git"
bug-reports: "https://github.com/bedrocksystems/coq-lens/issues"
license: "LGPL2.1+BedRock"
build: [
  [make "-j%{jobs}%"]
]
install: [
  [make "install"]
]
depends: [
  "ocaml"
  "coq" {>= "8.12" & < "8.13~"}
  "coq-metacoq-template" { = "1.0~beta1+8.12" }
]
tags: [
  "logpath:Lens"
  "date: 2020-11-18"
]
url {
  src: "https://github.com/bedrocksystems/coq-lens/archive/v1.0.1.tar.gz"
  checksum: "sha256=c1092aa89e885dd4abe1abc0605474440e8a763569be0accbbf6af4b129b
3a91"
}

18:04 ~/src/opam-coq-repository/released/packages (master) wget https://github.com/bedrocksystems/coq-lens/archive/v1.0.1.tar.gz
--2024-07-22 18:05:00--  https://github.com/bedrocksystems/coq-lens/archive/v1.0.1.tar.gz
Résolution de github.com (github.com)… 140.82.121.3
Connexion à github.com (github.com)|140.82.121.3|:443… connecté.
requête HTTP transmise, en attente de la réponse… 302 Found
Emplacement : https://codeload.github.com/bedrocksystems/coq-lens/tar.gz/v1.0.1 [suivant]
--2024-07-22 18:05:00--  https://codeload.github.com/bedrocksystems/coq-lens/tar.gz/v1.0.1
Résolution de codeload.github.com (codeload.github.com)… 140.82.121.10
Connexion à codeload.github.com (codeload.github.com)|140.82.121.10|:443… connecté.
requête HTTP transmise, en attente de la réponse… 404 Not Found
2024-07-22 18:05:00 erreur 404 : Not Found.