anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27090 from hannesm/fix-urls

fix url for opam2web and pla

authored by

Marcello Seri and committed by
GitHub 03ed5242 a2f34adb

+3 -3
+2 -2
packages/opam2web/opam2web.2.0/opam
··· 28 28 build: ["dune" "build" "-p" name "-j" jobs] 29 29 dev-repo: "git+https://github.com/ocaml/opam2web.git" 30 30 url { 31 - src: "https://github.com/ocaml/opam2web/archive/2.0.tar.gz" 31 + src: "https://github.com/ocaml-opam/opam2web/archive/refs/tags/2.0.tar.gz" 32 32 checksum: [ 33 33 "md5=1f2aedca3e3a3ef7263a5d40733cdf23" 34 34 "sha512=700454098409968a875eda5eac851ebfe89bbd41548df9e4c804d3a9b6f3f0d9b497fe14bbe0b36a82041f93083061a43573fbcf372c6d862eb3b783798a9bca" 35 35 ] 36 - } 36 + }
+1 -1
packages/pla/pla.1.4/opam
··· 15 15 ] 16 16 authors: "Leonardo Laguna Ruiz <modlfo@gmail.com>" 17 17 url { 18 - src: "https://github.com/modlfo/pla/archive/v1.4.tar.gz" 18 + src: "https://github.com/modlfo/pla/archive/refs/tags/v1.4.tar.gz" 19 19 checksum: [ 20 20 "md5=f4886e3fc2051f56f1bffe80a2687081" 21 21 "sha512=b8b1ee2dfcc06923ed44bccbaf72e74ebd49b4c0daddb194d999bfac397b574ef65ba7493a4e53670d6c6ca9b2dd75a298d5c735689df220a7cc340c1731e1c9"