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 #25431 from RadioPotin/master

Add +https protocol to hc.0.2 and hc.0.3 dev-repo fields

authored by

Marcello Seri and committed by
GitHub d00405c2 a6ba9823

+2 -2
+1 -1
packages/hc/hc.0.2/opam
··· 27 27 "@doc" {with-doc} 28 28 ] 29 29 ] 30 - dev-repo: "git://git.zapashcanon.fr/zapashcanon/hc.git" 30 + dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/hc.git" 31 31 url { 32 32 src: "https://git.zapashcanon.fr/zapashcanon/hc/archive/0.2.tar.gz" 33 33 checksum: [
+1 -1
packages/hc/hc.0.3/opam
··· 27 27 "@doc" {with-doc} 28 28 ] 29 29 ] 30 - dev-repo: "git://git.zapashcanon.fr/zapashcanon/hc.git" 30 + dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/hc.git" 31 31 url { 32 32 src: "https://git.zapashcanon.fr/zapashcanon/hc/archive/0.3.tar.gz" 33 33 checksum: [