From ff037c2e774d1551c615fc31f4f127c0209f06a0 Mon Sep 17 00:00:00 2001 From: Alin Popa Date: Sun, 30 Jul 2017 10:25:22 +0100 Subject: [PATCH] Remove core dependency. --- src/jbuild | 2 +- tube.opam | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/jbuild b/src/jbuild index be93e4d..86f2513 100644 --- a/src/jbuild +++ b/src/jbuild @@ -2,4 +2,4 @@ ((name tube) (public_name tube) (flags (:standard -warn-error A)) - (libraries (core lwt)))) + (libraries (lwt)))) diff --git a/tube.opam b/tube.opam index 750a8ea..033c819 100644 --- a/tube.opam +++ b/tube.opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "tube" -version: "4.1" +version: "4.1.1" maintainer: "alin.popa@gmail.com" authors: ["Alin Popa"] homepage: "https://github.com/alinpopa/tube" @@ -15,7 +15,6 @@ build: [ ] depends: [ "jbuilder" {build & >= "1.0+beta10"} - "core" "lwt" ] descr: "