Merge pull request #304720 from vbgl/ligo-1.6.0

ligo: 1.4.0 → 1.6.0
This commit is contained in:
Ulrik Strid 2024-04-19 11:08:35 +02:00 committed by GitHub
commit ab6fc50025
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
25 changed files with 117 additions and 112 deletions

View File

@ -15,12 +15,12 @@
ocamlPackages.buildDunePackage rec { ocamlPackages.buildDunePackage rec {
pname = "ligo"; pname = "ligo";
version = "1.4.0"; version = "1.6.0";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "ligolang"; owner = "ligolang";
repo = "ligo"; repo = "ligo";
rev = version; rev = version;
sha256 = "sha256-N2RkeKJ+lEyNJwpmF5sORmOkDhNmTYRYAgvyR7Pc5EI="; hash = "sha256-ZPHOgozuUij9+4YXZTnn1koddQEQZe/yrpb+OPHO+nA=";
fetchSubmodules = true; fetchSubmodules = true;
}; };
@ -30,8 +30,6 @@ ocamlPackages.buildDunePackage rec {
# This is a hack to work around the hack used in the dune files # This is a hack to work around the hack used in the dune files
OPAM_SWITCH_PREFIX = "${tezos-rust-libs}"; OPAM_SWITCH_PREFIX = "${tezos-rust-libs}";
strictDeps = true;
nativeBuildInputs = [ nativeBuildInputs = [
ocaml-crunch ocaml-crunch
git git
@ -98,7 +96,7 @@ ocamlPackages.buildDunePackage rec {
bls12-381 bls12-381
bls12-381-signature bls12-381-signature
ptime ptime
mtime_1 mtime
lwt_log lwt_log
secp256k1-internal secp256k1-internal
resto resto
@ -112,6 +110,7 @@ ocamlPackages.buildDunePackage rec {
simple-diff simple-diff
seqes seqes
stdint stdint
tezt
] ++ lib.optionals stdenv.isDarwin [ ] ++ lib.optionals stdenv.isDarwin [
darwin.apple_sdk.frameworks.Security darwin.apple_sdk.frameworks.Security
]; ];

View File

@ -0,0 +1,24 @@
{ lib
, fetchFromGitHub
, buildDunePackage
}:
buildDunePackage rec {
pname = "clap";
version = "0.3.0";
minimalOCamlVersion = "4.07";
src = fetchFromGitHub {
owner = "rbardou";
repo = pname;
rev = version;
hash = "sha256-IEol27AVYs55ntvNprBxOk3/EsBKAdPkF3Td3w9qOJg=";
};
meta = {
description = "Command-Line Argument Parsing, imperative style with a consumption mechanism";
license = lib.licenses.mit;
};
}

View File

@ -2,6 +2,7 @@
, fetchFromGitLab , fetchFromGitLab
, buildDunePackage , buildDunePackage
, ppx_hash , ppx_hash
, bigstringaf
, either , either
, ezjsonm , ezjsonm
, zarith , zarith
@ -16,19 +17,12 @@
buildDunePackage rec { buildDunePackage rec {
pname = "data-encoding"; pname = "data-encoding";
version = "0.7.1"; inherit (json-data-encoding) src version;
duneVersion = "3";
minimalOCamlVersion = "4.10"; minimalOCamlVersion = "4.10";
src = fetchFromGitLab {
owner = "nomadic-labs";
repo = "data-encoding";
rev = "v${version}";
hash = "sha256-V3XiCCtoU+srOI+KVSJshtaSJLBJ4m4o10GpBfdYKCU=";
};
propagatedBuildInputs = [ propagatedBuildInputs = [
bigstringaf
either either
ezjsonm ezjsonm
ppx_hash ppx_hash
@ -39,14 +33,10 @@ buildDunePackage rec {
json-data-encoding-bson json-data-encoding-bson
]; ];
checkInputs = [ buildInputs = [
alcotest
crowbar
ppx_expect ppx_expect
]; ];
doCheck = true;
meta = { meta = {
homepage = "https://gitlab.com/nomadic-labs/data-encoding"; homepage = "https://gitlab.com/nomadic-labs/data-encoding";
description = "Library of JSON and binary encoding combinators"; description = "Library of JSON and binary encoding combinators";

View File

@ -6,15 +6,14 @@
buildDunePackage rec { buildDunePackage rec {
pname = "index"; pname = "index";
version = "1.6.1"; version = "1.6.2";
src = fetchurl { src = fetchurl {
url = "https://github.com/mirage/index/releases/download/${version}/index-${version}.tbz"; url = "https://github.com/mirage/index/releases/download/${version}/index-${version}.tbz";
hash = "sha256-rPwNzqkWqDak2mDTDIBqIvachY1vfOIzFmwaXjZea+4="; hash = "sha256-k4iDUJik7UTuztBw7YaFXASd8SqYMR1JgLm3JOyriGA=";
}; };
minimalOCamlVersion = "4.08"; minimalOCamlVersion = "4.08";
duneVersion = "3";
buildInputs = [ buildInputs = [
stdlib-shims stdlib-shims

View File

@ -3,7 +3,7 @@
buildDunePackage rec { buildDunePackage rec {
pname = "irmin-chunk"; pname = "irmin-chunk";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
propagatedBuildInputs = [ irmin fmt logs lwt ]; propagatedBuildInputs = [ irmin fmt logs lwt ];

View File

@ -6,7 +6,7 @@
buildDunePackage { buildDunePackage {
pname = "irmin-containers"; pname = "irmin-containers";
inherit (ppx_irmin) src version strictDeps; inherit (ppx_irmin) src version;
nativeBuildInputs = [ nativeBuildInputs = [
ppx_irmin ppx_irmin

View File

@ -7,7 +7,7 @@
buildDunePackage { buildDunePackage {
pname = "irmin"; pname = "irmin";
inherit (ppx_irmin) src version strictDeps; inherit (ppx_irmin) src version;
minimalOCamlVersion = "4.10"; minimalOCamlVersion = "4.10";

View File

@ -6,7 +6,7 @@ buildDunePackage rec {
pname = "irmin-fs"; pname = "irmin-fs";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
propagatedBuildInputs = [ irmin astring logs lwt ]; propagatedBuildInputs = [ irmin astring logs lwt ];

View File

@ -9,7 +9,7 @@ buildDunePackage {
pname = "irmin-git"; pname = "irmin-git";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
propagatedBuildInputs = [ propagatedBuildInputs = [
git git

View File

@ -1,25 +0,0 @@
{ lib, buildDunePackage, astring, cohttp-lwt, cohttp-lwt-unix, irmin, webmachine
, fmt, jsonm, logs, lwt, uri
, git-unix, irmin-git, irmin-test, irmin-fs, digestif
, cacert
}:
buildDunePackage rec {
pname = "irmin-http";
inherit (irmin) version src strictDeps;
propagatedBuildInputs = [ astring cohttp-lwt cohttp-lwt-unix fmt jsonm logs lwt uri irmin webmachine ];
checkInputs = [
digestif git-unix irmin-git irmin-test irmin-fs cacert
];
doCheck = true;
meta = irmin.meta // {
description = "HTTP client and server for Irmin";
};
}

View File

@ -6,7 +6,7 @@
buildDunePackage { buildDunePackage {
pname = "irmin-mirage-git"; pname = "irmin-mirage-git";
inherit (irmin-mirage) version src strictDeps; inherit (irmin-mirage) version src;
propagatedBuildInputs = [ propagatedBuildInputs = [
irmin-mirage irmin-mirage

View File

@ -5,7 +5,7 @@
buildDunePackage { buildDunePackage {
pname = "irmin-mirage-graphql"; pname = "irmin-mirage-graphql";
inherit (irmin-mirage) version src strictDeps; inherit (irmin-mirage) version src;
propagatedBuildInputs = [ propagatedBuildInputs = [
irmin-mirage irmin-mirage

View File

@ -3,7 +3,7 @@
buildDunePackage { buildDunePackage {
pname = "irmin-mirage"; pname = "irmin-mirage";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
propagatedBuildInputs = [ propagatedBuildInputs = [
irmin fmt ptime mirage-clock irmin fmt ptime mirage-clock

View File

@ -8,7 +8,7 @@ buildDunePackage rec {
pname = "irmin-pack"; pname = "irmin-pack";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
nativeBuildInputs = [ ppx_irmin ]; nativeBuildInputs = [ ppx_irmin ];

View File

@ -2,11 +2,11 @@
buildDunePackage rec { buildDunePackage rec {
pname = "ppx_irmin"; pname = "ppx_irmin";
version = "3.7.2"; version = "3.9.0";
src = fetchurl { src = fetchurl {
url = "https://github.com/mirage/irmin/releases/download/${version}/irmin-${version}.tbz"; url = "https://github.com/mirage/irmin/releases/download/${version}/irmin-${version}.tbz";
hash = "sha256-aqW6TGoCM3R9S9OrOW8rOjO7gPnY7UoXjIOgNQM8DlI="; hash = "sha256-jgc6vhtf+1ttWMMmBsnX2rwyxTUBdWvoCpLtR3etUaA=";
}; };
minimalOCamlVersion = "4.10"; minimalOCamlVersion = "4.10";

View File

@ -1,13 +1,13 @@
{ buildDunePackage, irmin, ppx_irmin, mtime, astring, fmt, jsonm, logs, lwt { buildDunePackage, irmin, ppx_irmin, mtime, astring, fmt, jsonm, logs, lwt
, metrics-unix, ocaml-syntax-shims, cmdliner, metrics, alcotest-lwt , metrics-unix, ocaml-syntax-shims, cmdliner, metrics, alcotest-lwt
, hex, vector , hex, vector, qcheck-alcotest
}: }:
buildDunePackage { buildDunePackage {
pname = "irmin-test"; pname = "irmin-test";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
nativeBuildInputs = [ ppx_irmin ]; nativeBuildInputs = [ ppx_irmin ];
@ -27,7 +27,8 @@ buildDunePackage {
metrics metrics
]; ];
checkInputs = [ hex vector ]; doCheck = true;
checkInputs = [ hex qcheck-alcotest vector ];
meta = irmin.meta // { meta = irmin.meta // {
description = "Irmin test suite"; description = "Irmin test suite";

View File

@ -6,7 +6,7 @@
buildDunePackage rec { buildDunePackage rec {
pname = "irmin-tezos"; pname = "irmin-tezos";
inherit (irmin) version src strictDeps; inherit (irmin) version src;
propagatedBuildInputs = [ propagatedBuildInputs = [
irmin irmin

View File

@ -5,8 +5,6 @@ buildDunePackage {
inherit (json-data-encoding) version src doCheck; inherit (json-data-encoding) version src doCheck;
duneVersion = "3";
propagatedBuildInputs = [ propagatedBuildInputs = [
json-data-encoding json-data-encoding
ocplib-endian ocplib-endian

View File

@ -1,28 +1,21 @@
{ lib, fetchFromGitLab, buildDunePackage, uri, crowbar, alcotest }: { lib, fetchFromGitLab, buildDunePackage, hex, uri }:
buildDunePackage rec { buildDunePackage rec {
pname = "json-data-encoding"; pname = "json-data-encoding";
version = "0.12.1"; version = "1.0.1";
minimalOCamlVersion = "4.10"; minimalOCamlVersion = "4.10";
duneVersion = "3";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "nomadic-labs"; owner = "nomadic-labs";
repo = "json-data-encoding"; repo = "data-encoding";
rev = version; rev = "v${version}";
hash = "sha256-ticulOKiFNQIZNFOQE9UQOw/wqRfygQwLVIc4kkmwg4="; hash = "sha256-KoA4xX4tNyi6bX5kso/Wof1LA7431EXJ34eD5X4jnd8=";
}; };
propagatedBuildInputs = [ propagatedBuildInputs = [
hex
uri uri
]; ];
checkInputs = [
crowbar
alcotest
];
doCheck = true;
meta = { meta = {
homepage = "https://gitlab.com/nomadic-labs/json-data-encoding"; homepage = "https://gitlab.com/nomadic-labs/json-data-encoding";
description = "Type-safe encoding to and decoding from JSON"; description = "Type-safe encoding to and decoding from JSON";

View File

@ -1,22 +1,23 @@
{ lib, fetchurl, buildDunePackage { lib, fetchurl, buildDunePackage
, fmt , fmt
, lwt , lwt
, optint
, ptime
, alcotest , alcotest
}: }:
buildDunePackage rec { buildDunePackage rec {
pname = "mirage-kv"; pname = "mirage-kv";
version = "4.0.1"; version = "6.1.1";
duneVersion = "3";
minimalOCamlVersion = "4.08"; minimalOCamlVersion = "4.08";
src = fetchurl { src = fetchurl {
url = "https://github.com/mirage/mirage-kv/releases/download/v${version}/mirage-kv-${version}.tbz"; url = "https://github.com/mirage/mirage-kv/releases/download/v${version}/mirage-kv-${version}.tbz";
hash = "sha256-p6i4zUVgxtTnUiBIjb8W6u9xRTczVl4WwfFcl5tVqnE="; hash = "sha256-fNXNlaDpb5zUA2rTwi5h1j4v4LQmovxG+Am6u+1guPQ=";
}; };
propagatedBuildInputs = [ fmt lwt ]; propagatedBuildInputs = [ fmt lwt optint ptime ];
doCheck = true; doCheck = true;
checkInputs = [ alcotest ]; checkInputs = [ alcotest ];

View File

@ -7,7 +7,6 @@ buildDunePackage rec {
pname = "progress"; pname = "progress";
minimalOCamlVersion = "4.08"; minimalOCamlVersion = "4.08";
duneVersion = "3";
inherit (terminal) version src; inherit (terminal) version src;

View File

@ -5,14 +5,13 @@
buildDunePackage rec { buildDunePackage rec {
pname = "terminal"; pname = "terminal";
version = "0.2.1"; version = "0.2.2";
minimalOCamlVersion = "4.03"; minimalOCamlVersion = "4.03";
duneVersion = "3";
src = fetchurl { src = fetchurl {
url = "https://github.com/CraigFe/progress/releases/download/${version}/terminal-${version}.tbz"; url = "https://github.com/CraigFe/progress/releases/download/${version}/progress-${version}.tbz";
hash = "sha256:0vjqkvmpyi8kvmb4vrx3f0994rph8i9pvlrz1dyi126vlb2zbrvs"; hash = "sha256-M0HCGSOiHNa1tc+p7DmB9ZVyw2eUD+XgJFBTPftBELU=";
}; };
propagatedBuildInputs = [ stdlib-shims uutf uucp ]; propagatedBuildInputs = [ stdlib-shims uutf uucp ];

View File

@ -0,0 +1,34 @@
{ lib
, fetchFromGitLab
, buildDunePackage
, clap
, ezjsonm
, lwt
, re
}:
buildDunePackage rec {
pname = "tezt";
version = "4.0.0";
minimalOCamlVersion = "4.12";
src = fetchFromGitLab {
owner = "nomadic-labs";
repo = pname;
rev = version;
hash = "sha256-waFjE/yR+XAJOew1YsCnbvsJR8oe9gflyVj4yXAvNuM=";
};
propagatedBuildInputs = [
clap
ezjsonm
lwt
re
];
meta = {
description = "Test framework for unit tests, integration tests, and regression tests";
license = lib.licenses.mit;
};
}

View File

@ -9780,14 +9780,7 @@ with pkgs;
ldc = callPackage ../development/compilers/ldc { }; ldc = callPackage ../development/compilers/ldc { };
ligo = ligo =
let ocaml_p = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15.overrideScope (self: super: { let ocaml_p = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15; in
zarith = super.zarith.overrideAttrs (o: {
src = fetchzip {
url = "https://github.com/ocaml/Zarith/archive/refs/tags/release-1.12.tar.gz";
hash = "sha256-SQegsMc1+UIod8XeJDE+H5q1huNDQI8CUh7IsHOoVMs=";
};
});
}); in
callPackage ../development/compilers/ligo { callPackage ../development/compilers/ligo {
coq = coq_8_13.override { coq = coq_8_13.override {
customOCamlPackages = ocaml_p; customOCamlPackages = ocaml_p;

View File

@ -56,9 +56,9 @@ let
atdgen-runtime = callPackage ../development/ocaml-modules/atdgen/runtime.nix { }; atdgen-runtime = callPackage ../development/ocaml-modules/atdgen/runtime.nix { };
awa = callPackage ../development/ocaml-modules/awa { mtime = mtime_1; }; awa = callPackage ../development/ocaml-modules/awa { };
awa-mirage = callPackage ../development/ocaml-modules/awa/mirage.nix { mtime = mtime_1; }; awa-mirage = callPackage ../development/ocaml-modules/awa/mirage.nix { };
### B ### ### B ###
@ -192,6 +192,8 @@ let
cil = callPackage ../development/ocaml-modules/cil { }; cil = callPackage ../development/ocaml-modules/cil { };
clap = callPackage ../development/ocaml-modules/clap { };
class_group_vdf = callPackage ../development/ocaml-modules/class_group_vdf { }; class_group_vdf = callPackage ../development/ocaml-modules/class_group_vdf { };
cmarkit = callPackage ../development/ocaml-modules/cmarkit { }; cmarkit = callPackage ../development/ocaml-modules/cmarkit { };
@ -321,11 +323,11 @@ let
dns-certify = callPackage ../development/ocaml-modules/dns/certify.nix { }; dns-certify = callPackage ../development/ocaml-modules/dns/certify.nix { };
dns-cli = callPackage ../development/ocaml-modules/dns/cli.nix { mtime = mtime_1; }; dns-cli = callPackage ../development/ocaml-modules/dns/cli.nix { };
dns-client = callPackage ../development/ocaml-modules/dns/client.nix { mtime = mtime_1; }; dns-client = callPackage ../development/ocaml-modules/dns/client.nix { };
dns-client-lwt = callPackage ../development/ocaml-modules/dns/client-lwt.nix { mtime = mtime_1; }; dns-client-lwt = callPackage ../development/ocaml-modules/dns/client-lwt.nix { };
dns-client-mirage = callPackage ../development/ocaml-modules/dns/client-mirage.nix { }; dns-client-mirage = callPackage ../development/ocaml-modules/dns/client-mirage.nix { };
@ -586,7 +588,6 @@ let
git-unix = callPackage ../development/ocaml-modules/git/unix.nix { git-unix = callPackage ../development/ocaml-modules/git/unix.nix {
git-binary = pkgs.git; git-binary = pkgs.git;
mtime = mtime_1;
}; };
github = callPackage ../development/ocaml-modules/github { }; github = callPackage ../development/ocaml-modules/github { };
@ -639,7 +640,7 @@ let
happy-eyeballs = callPackage ../development/ocaml-modules/happy-eyeballs { }; happy-eyeballs = callPackage ../development/ocaml-modules/happy-eyeballs { };
happy-eyeballs-lwt = callPackage ../development/ocaml-modules/happy-eyeballs/lwt.nix { mtime = mtime_1; }; happy-eyeballs-lwt = callPackage ../development/ocaml-modules/happy-eyeballs/lwt.nix { };
happy-eyeballs-mirage = callPackage ../development/ocaml-modules/happy-eyeballs/mirage.nix { }; happy-eyeballs-mirage = callPackage ../development/ocaml-modules/happy-eyeballs/mirage.nix { };
@ -669,7 +670,7 @@ let
imagelib = callPackage ../development/ocaml-modules/imagelib { }; imagelib = callPackage ../development/ocaml-modules/imagelib { };
index = callPackage ../development/ocaml-modules/index { mtime = mtime_1; }; index = callPackage ../development/ocaml-modules/index { };
inifiles = callPackage ../development/ocaml-modules/inifiles { }; inifiles = callPackage ../development/ocaml-modules/inifiles { };
@ -691,29 +692,27 @@ let
iri = callPackage ../development/ocaml-modules/iri { }; iri = callPackage ../development/ocaml-modules/iri { };
irmin = callPackage ../development/ocaml-modules/irmin { mtime = mtime_1; }; irmin = callPackage ../development/ocaml-modules/irmin { };
irmin-chunk = callPackage ../development/ocaml-modules/irmin/chunk.nix { }; irmin-chunk = callPackage ../development/ocaml-modules/irmin/chunk.nix { };
irmin-containers = callPackage ../development/ocaml-modules/irmin/containers.nix { mtime = mtime_1; }; irmin-containers = callPackage ../development/ocaml-modules/irmin/containers.nix { };
irmin-fs = callPackage ../development/ocaml-modules/irmin/fs.nix { }; irmin-fs = callPackage ../development/ocaml-modules/irmin/fs.nix { };
irmin-git = callPackage ../development/ocaml-modules/irmin/git.nix { mtime = mtime_1; }; irmin-git = callPackage ../development/ocaml-modules/irmin/git.nix { };
irmin-graphql = callPackage ../development/ocaml-modules/irmin/graphql.nix { }; irmin-graphql = callPackage ../development/ocaml-modules/irmin/graphql.nix { };
irmin-http = callPackage ../development/ocaml-modules/irmin/http.nix { };
irmin-mirage = callPackage ../development/ocaml-modules/irmin/mirage.nix { }; irmin-mirage = callPackage ../development/ocaml-modules/irmin/mirage.nix { };
irmin-mirage-git = callPackage ../development/ocaml-modules/irmin/mirage-git.nix { }; irmin-mirage-git = callPackage ../development/ocaml-modules/irmin/mirage-git.nix { };
irmin-mirage-graphql = callPackage ../development/ocaml-modules/irmin/mirage-graphql.nix { }; irmin-mirage-graphql = callPackage ../development/ocaml-modules/irmin/mirage-graphql.nix { };
irmin-pack = callPackage ../development/ocaml-modules/irmin/pack.nix { mtime = mtime_1; }; irmin-pack = callPackage ../development/ocaml-modules/irmin/pack.nix { };
irmin-test = callPackage ../development/ocaml-modules/irmin/test.nix { mtime = mtime_1; }; irmin-test = callPackage ../development/ocaml-modules/irmin/test.nix { };
irmin-tezos = callPackage ../development/ocaml-modules/irmin/tezos.nix { }; irmin-tezos = callPackage ../development/ocaml-modules/irmin/tezos.nix { };
@ -1065,7 +1064,6 @@ let
metrics-unix = callPackage ../development/ocaml-modules/metrics/unix.nix { metrics-unix = callPackage ../development/ocaml-modules/metrics/unix.nix {
inherit (pkgs) gnuplot; inherit (pkgs) gnuplot;
mtime = mtime_1;
}; };
mew = callPackage ../development/ocaml-modules/mew { }; mew = callPackage ../development/ocaml-modules/mew { };
@ -1122,7 +1120,7 @@ let
mirage-crypto-rng-async = callPackage ../development/ocaml-modules/mirage-crypto/rng-async.nix { }; mirage-crypto-rng-async = callPackage ../development/ocaml-modules/mirage-crypto/rng-async.nix { };
mirage-crypto-rng-lwt = callPackage ../development/ocaml-modules/mirage-crypto/rng-lwt.nix { mtime = mtime_1; }; mirage-crypto-rng-lwt = callPackage ../development/ocaml-modules/mirage-crypto/rng-lwt.nix { };
mirage-crypto-rng-mirage = callPackage ../development/ocaml-modules/mirage-crypto/rng-mirage.nix { }; mirage-crypto-rng-mirage = callPackage ../development/ocaml-modules/mirage-crypto/rng-mirage.nix { };
@ -1546,7 +1544,7 @@ let
prometheus = callPackage ../development/ocaml-modules/prometheus { }; prometheus = callPackage ../development/ocaml-modules/prometheus { };
progress = callPackage ../development/ocaml-modules/progress { mtime = mtime_1; }; progress = callPackage ../development/ocaml-modules/progress { };
promise_jsoo = callPackage ../development/ocaml-modules/promise_jsoo { }; promise_jsoo = callPackage ../development/ocaml-modules/promise_jsoo { };
@ -1761,6 +1759,8 @@ let
tezos-base58 = callPackage ../development/ocaml-modules/tezos-base58 { }; tezos-base58 = callPackage ../development/ocaml-modules/tezos-base58 { };
tezt = callPackage ../development/ocaml-modules/tezt { };
theora = callPackage ../development/ocaml-modules/theora { }; theora = callPackage ../development/ocaml-modules/theora { };
thread-table = callPackage ../development/ocaml-modules/thread-table { }; thread-table = callPackage ../development/ocaml-modules/thread-table { };