opam: fix dev-repo url
This commit is contained in:
parent
0bc984f2ed
commit
a4a7358c4d
1 changed files with 1 additions and 1 deletions
|
@ -33,4 +33,4 @@ build: [
|
||||||
"@doc" {with-doc}
|
"@doc" {with-doc}
|
||||||
]
|
]
|
||||||
]
|
]
|
||||||
dev-repo: "git+https://github.com/roburio/memtrace-mirage.git"
|
dev-repo: "git+https://github.com/roburio/http-mirage-client.git"
|
||||||
|
|
Loading…
Reference in a new issue