File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed
packages/hashset/hashset.1.0.0 Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 1
1
opam-version: "2.0"
2
- maintainer: "Jean-Christophe.Filliatre@lri .fr"
2
+ maintainer: "Jean-Christophe.Filliatre@cnrs .fr"
3
3
authors: ["Jean-Christophe Filliâtre"]
4
- homepage: "https://www.lri.fr/~filliatr/software.en.html "
5
- bug-reports: "https://github.com/UnixJunkie /hashset/issues"
6
- dev-repo: "git+ https://github.com/UnixJunkie /hashset.git "
4
+ homepage: "https://github.com/backtracking/hashset "
5
+ bug-reports: "https://github.com/backtracking /hashset/issues"
6
+ dev-repo: "https://github.com/backtracking /hashset"
7
7
license: "LGPL-2.1-only"
8
8
build: [
9
9
["obuild" "configure"]
@@ -16,7 +16,7 @@ remove: [
16
16
["ocamlfind" "remove" "hashset"]
17
17
]
18
18
depends: [
19
- "ocaml" {< "5.0.0"}
19
+ "ocaml"
20
20
"ocamlfind"
21
21
"obuild" {build & >= "0.1"}
22
22
]
You can’t perform that action at this time.
0 commit comments