Skip to content

Commit

Permalink
update atd, mirage-crypto, decimal, odoc (#1907)
Browse files Browse the repository at this point in the history
* update atd, mirage-crypto, decimal, odoc

* atdgen: disable tests

* don't update atd for now

* tls-eio: disable tests
  • Loading branch information
anmonteiro authored Feb 2, 2025
1 parent a5124e0 commit bc0e0f7
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 4 deletions.
6 changes: 3 additions & 3 deletions ocaml/decimal/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@

buildDunePackage {
pname = "decimal";
version = "1.0.0";
version = "1.0.2";
src = builtins.fetchurl {
url = "https://github.com/yawaramin/ocaml-decimal/releases/download/v1.0.1/decimal-1.0.1.tbz";
sha256 = "1yagcm207s32cqp9jm3460p1ra1fa7l2zfp65gcsy0bkciyxi5wj";
url = "https://github.com/yawaramin/ocaml-decimal/releases/download/v1.0.2/decimal-1.0.2.tbz";
sha256 = "0v7y2daqzm4mq7cl16njmkglzan06zm2d2x05i146s8cixdhzfir";
};

propagatedBuildInputs = [ zarith ];
Expand Down
14 changes: 13 additions & 1 deletion ocaml/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -1437,6 +1437,13 @@ with oself;
};
};

mirage-crypto = osuper.mirage-crypto.overrideAttrs (_: {
src = builtins.fetchurl {
url = "https://github.com/mirage/mirage-crypto/releases/download/v1.2.0/mirage-crypto-1.2.0.tbz";
sha256 = "0zp60zp101mcygwhsh62jj61sy61yh2k31d8kgznily1jv6jnm09";
};
});

mirage-crypto-pk = osuper.mirage-crypto-pk.override { gmp = gmp-oc; };
mirage-crypto-rng = disableTests osuper.mirage-crypto-rng;
mirage-crypto-rng-eio =
Expand Down Expand Up @@ -1889,6 +1896,11 @@ with oself;
};

odoc-parser = osuper.odoc-parser.overrideAttrs (_: {
version = "3.0.0_beta1";
src = builtins.fetchurl {
url = "https://github.com/ocaml/odoc/releases/download/3.0.0_beta1/odoc-3.0.0.beta1.tbz";
sha256 = "1vq1r999i5q1bymz44k6j0vs95a0vxl94lknsk061djdnp676x13";
};
propagatedBuildInputs = [ astring camlp-streams ppx_expect ];
postPatch = ''
substituteInPlace src/parser/dune --replace-fail "result" ""
Expand Down Expand Up @@ -2544,7 +2556,7 @@ with oself;

tls-eio =
if lib.versionAtLeast ocaml.version "5.0"
then osuper.tls-eio else null;
then disableTests osuper.tls-eio else null;

torch = osuper.torch.overrideAttrs (o: {
src = fetchFromGitHub {
Expand Down

0 comments on commit bc0e0f7

Please sign in to comment.