Skip to content
This repository was archived by the owner on May 25, 2021. It is now read-only.

Commit 14f6975

Browse files
committed
Remove opam dep `qcheck'. Regen OASIS.
1 parent 9a292d7 commit 14f6975

File tree

7 files changed

+10
-15
lines changed

7 files changed

+10
-15
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ Look in `DHT.mli`, `Kademlia.mli`, and `KRPC.mli`.
3030

3131
First, one needs to bootstrap using `DHT.auto_bootstrap`. Then one can query for peers using
3232
`DHT.query_peers`. To see how it works, get a nice info hash
33-
you are interested in (e.g., 4D753474429D817B80FF9E0C441CA660EC5D2450 for Ubuntu 14.04) and execute:
33+
you are interested in (e.g., `4D753474429D817B80FF9E0C441CA660EC5D2450` for Ubuntu 14.04) and execute:
3434

3535
```sh
3636
$ find_ih 4D753474429D817B80FF9E0C441CA660EC5D2450

_oasis

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ Library dht
1313
Install: true
1414
FindlibName: dht
1515
Modules: Bcode, SHA1, KRPC, Addr, UDP, DHT, Kademlia, Log, Util
16-
BuildDepends: lwt, lwt.unix, cryptokit, zarith, qcheck, bitstring, bitstring.syntax
16+
BuildDepends: lwt, lwt.unix, cryptokit, zarith, bitstring, bitstring.syntax
1717

1818
Executable find_ih
1919
Path: lib_test

_tags

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: 224e0ec4e529dd26b219b55fb1278f1b)
2+
# DO NOT EDIT (digest: f8cd4fa0d447ca59ca443e324f2fa187)
33
# Ignore VCS directories, you can use the same kind of rule outside
44
# OASIS_START/STOP if you want to exclude directories that contains
55
# useless stuff for the build process
@@ -20,23 +20,20 @@
2020
<lib/*.ml{,i}>: pkg_cryptokit
2121
<lib/*.ml{,i}>: pkg_lwt
2222
<lib/*.ml{,i}>: pkg_lwt.unix
23-
<lib/*.ml{,i}>: pkg_qcheck
2423
<lib/*.ml{,i}>: pkg_zarith
2524
# Executable find_ih
2625
<lib_test/find_ih.{native,byte}>: pkg_bitstring
2726
<lib_test/find_ih.{native,byte}>: pkg_bitstring.syntax
2827
<lib_test/find_ih.{native,byte}>: pkg_cryptokit
2928
<lib_test/find_ih.{native,byte}>: pkg_lwt
3029
<lib_test/find_ih.{native,byte}>: pkg_lwt.unix
31-
<lib_test/find_ih.{native,byte}>: pkg_qcheck
3230
<lib_test/find_ih.{native,byte}>: pkg_zarith
3331
<lib_test/find_ih.{native,byte}>: use_dht
3432
<lib_test/*.ml{,i}>: pkg_bitstring
3533
<lib_test/*.ml{,i}>: pkg_bitstring.syntax
3634
<lib_test/*.ml{,i}>: pkg_cryptokit
3735
<lib_test/*.ml{,i}>: pkg_lwt
3836
<lib_test/*.ml{,i}>: pkg_lwt.unix
39-
<lib_test/*.ml{,i}>: pkg_qcheck
4037
<lib_test/*.ml{,i}>: pkg_zarith
4138
<lib_test/*.ml{,i}>: use_dht
4239
<lib_test/find_ih.{native,byte}>: custom

descr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
DHT library for Lwt
1+
DHT library and test client for Lwt

lib/META

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: 266432aac979f5d0d5209391542c2ba2)
2+
# DO NOT EDIT (digest: 7ca062132a3d56d89eed704811e6da56)
33
version = "0.1.0"
44
description = "BitTorrent DHT library for Lwt"
5-
requires = "lwt lwt.unix cryptokit zarith qcheck bitstring bitstring.syntax"
5+
requires = "lwt lwt.unix cryptokit zarith bitstring bitstring.syntax"
66
archive(byte) = "dht.cma"
77
archive(byte, plugin) = "dht.cma"
88
archive(native) = "dht.cmxa"

opam

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ opam-version: "1"
22
maintainer: "[email protected]"
33
authors: [ "Nicolas Ojeda Bar <[email protected]>" ]
44
license: "MIT"
5-
ocaml-version: [ >= "4.01.0" ]
5+
ocaml-version: [ >= "4.00.0" ]
66
build: [
77
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
88
["ocaml" "setup.ml" "-build"]
@@ -16,6 +16,5 @@ depends: [
1616
("cryptokit" | "cryptokit-sha512")
1717
"lwt"
1818
"ocamlfind"
19-
"qcheck"
2019
"zarith"
2120
]

setup.ml

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(* setup.ml generated for the first time by OASIS v0.4.4 *)
22

33
(* OASIS_START *)
4-
(* DO NOT EDIT (digest: 7f41b888449ea06eb07da567ccb4e5ee) *)
4+
(* DO NOT EDIT (digest: 9a6009fc77baa89a3c6eb238477d0787) *)
55
(*
66
Regenerated by OASIS v0.4.4
77
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6708,7 +6708,6 @@ let setup_t =
67086708
FindlibPackage ("lwt.unix", None);
67096709
FindlibPackage ("cryptokit", None);
67106710
FindlibPackage ("zarith", None);
6711-
FindlibPackage ("qcheck", None);
67126711
FindlibPackage ("bitstring", None);
67136712
FindlibPackage ("bitstring.syntax", None)
67146713
];
@@ -6773,14 +6772,14 @@ let setup_t =
67736772
};
67746773
oasis_fn = Some "_oasis";
67756774
oasis_version = "0.4.4";
6776-
oasis_digest = Some "x\014\002ÍRQÊÐ\nùwC\000&+»";
6775+
oasis_digest = Some "2Öæû\135V\142j8\023Äæ»ëå\018";
67776776
oasis_exec = None;
67786777
oasis_setup_args = [];
67796778
setup_update = false
67806779
};;
67816780

67826781
let setup () = BaseSetup.setup setup_t;;
67836782

6784-
# 6785 "setup.ml"
6783+
# 6784 "setup.ml"
67856784
(* OASIS_STOP *)
67866785
let () = setup ();;

0 commit comments

Comments
 (0)