Skip to content

Commit f1864b6

Browse files
revert opam changes
1 parent 7b52f12 commit f1864b6

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

dscheck.opam

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,13 @@ opam-version: "2.0"
33
synopsis: "Traced Atomics"
44
maintainer: ["Sadiq Jaffer"]
55
authors: ["Sadiq Jaffer"]
6-
homepage: "https://github.com/sadiqj/dscheck"
7-
bug-reports: "https://github.com/sadiqj/dscheck/issues"
6+
homepage: "https://github.com/ocaml-multicore/dscheck"
7+
bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
88
depends: [
99
"ocaml" {>= "5.0.0"}
1010
"dune" {>= "2.9"}
1111
"containers"
1212
"oseq"
13-
"alcotest" {>= "1.6.0"}
1413
"odoc" {with-doc}
1514
]
1615
build: [
@@ -29,4 +28,4 @@ build: [
2928
]
3029
["dune" "install" "-p" name "--create-install-files" name]
3130
]
32-
dev-repo: "git+https://github.com/sadiqj/dscheck.git"
31+
dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"

0 commit comments

Comments
 (0)