Use the GitHub mirror on OPAM metadata
This commit is contained in:
parent
d8972ff629
commit
495819c691
1 changed files with 3 additions and 3 deletions
|
@ -1,9 +1,9 @@
|
||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
maintainer: "Robur Team <team@robur.coop>"
|
maintainer: "Robur Team <team@robur.coop>"
|
||||||
authors: [ "Robur Team <team@robur.coop>" ]
|
authors: [ "Robur Team <team@robur.coop>" ]
|
||||||
homepage: "https://git.robur.io/robur/git-kv"
|
homepage: "https://github.com/roburio/git-kv"
|
||||||
dev-repo: "git+https://git.robur.io/robur/git-kv.git"
|
dev-repo: "git+https://github.com/roburio/git-kv.git"
|
||||||
bug-reports: "https://git.robur.io/robur/git-kv"
|
bug-reports: "https://github.com/roburio/git-kv/issues"
|
||||||
synopsis: "A Mirage_kv implementation using git"
|
synopsis: "A Mirage_kv implementation using git"
|
||||||
|
|
||||||
depends: [
|
depends: [
|
||||||
|
|
Loading…
Reference in a new issue