about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/hacl-star
AgeCommit message (Collapse)AuthorFilesLines
2024-03-05ocamlPackages.ctypes: 0.20.2 → 0.21.1Vincent Laporte1-0/+3
2023-10-25ocamlPackages.hacl-star: 0.7.0 → 0.7.1Vincent Laporte2-6/+4
2023-05-05ocamlPackages.hacl-star-raw: use _mm_malloc on darwinWeijia Wang2-0/+18
2023-05-04ocamlPackages.hacl-star-raw: fix buildUlrik Strid1-3/+5
2023-05-02ocamlPackages.hacl-star: 0.4.5 -> 0.7.0Laurent Canis2-16/+46
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs.
2022-04-20ocamlPackages.hacl-star-raw: fix aarch64-darwinUlrik Strid1-0/+3
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2-2/+6
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
2022-01-23ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901)José Romildo Malaquias1-3/+3
* ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 * ocamlPackages.bls12-381{,-unix}: 0.4.2 -> 1.1.0 - Update to version 1.1.0 - Use the same revision tag used in the opam repository, as the release tarbal seems to be unavailable - Does not depend on bls12-381-gen and rust anymore * ocamlPackages.bls12-381-{gen: 0.4.2 -> 0.4.4,legacy: init at 0.4.4} - Update bls12-381-gen to version 0.4.4 - Add new package bls12-381-legacy * ocamlPackages.tezos-*: 10.2 -> 11.0 - Update tezos to version 11.0 - Add new packages: tezos-base-test-helpers tezos-embedded-protocol-demo-noops tezos-event-logging-test-helpers tezos-protocol-alpha tezos-protocol-demo-noops tezos-protocol-plugin-alpha tezos-protocol-demo-noops tezos-protocol-plugin-alpha tezos-shell-services-test-helpers - Remove old package: tezos-test-services * ocamlPackages.repr: 0.4.0 -> 0.5.0 * ocamlPackages.hacl-star-raw: 0.3.2 -> 0.4.5 * ocamlPackages.arp: 2.3.2 -> 3.0.0 * ocamlPackages.index: 1.4.1 -> 1.5.0 * ocamlPackages.digestif: 1.0.0 -> 1.1.0 * ocamlPackages.ethernet: 2.2.0 -> 3.0.0 * ocamlPackages.httpaf: 0.6.6 -> 0.7.1 * ocamlPackages.mirage-nat: 2.2.3 -> 2.2.5 * ocamlPackages.tcpip: 6.2.0 -> 7.0.1 * ocamlPackages.paf: 0.0.6 -> 0.0.8 * ocamlPackages.ppx_irmin: 2.7.2 -> 2.9.1 * ocamlPackages.tezos-*: add missing packages, needed by ligo-0.34 * ocamlPackages.ocaml-recovery-parser: init at 0.2.2 * ligo: 0.27.0 -> 0.34.0
2021-08-19pkgsStatic.ocaml-ng: migrate static adapter to derivations themselvesGuillaume Girol1-0/+2
2021-07-19ocamlPackages.hacl-star: init at 0.3.2 (#130277)Ulrik Strid2-0/+69
ocamlPackages.hacl-star-raw: init at 0.3.2