diff options
author | sternenseemann <git@lukasepple.de> | 2020-05-12 18:25:44 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-05-12 22:34:30 +0200 |
commit | 435fd99ab6117252ef345167242929b15c711dad (patch) | |
tree | b56e5970c4803ede9f2c50b5967b2d727a657c31 /pkgs/top-level | |
parent | bd30d8fca76e8e3e59e5342eb9c14aa3015ca36f (diff) | |
download | nixlib-435fd99ab6117252ef345167242929b15c711dad.tar nixlib-435fd99ab6117252ef345167242929b15c711dad.tar.gz nixlib-435fd99ab6117252ef345167242929b15c711dad.tar.bz2 nixlib-435fd99ab6117252ef345167242929b15c711dad.tar.lz nixlib-435fd99ab6117252ef345167242929b15c711dad.tar.xz nixlib-435fd99ab6117252ef345167242929b15c711dad.tar.zst nixlib-435fd99ab6117252ef345167242929b15c711dad.zip |
ocamlPackages.fiat-p256: init at 0.2.1
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index e4180a39f1d4..4e56fd56e3e1 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -267,6 +267,8 @@ let farfadet = callPackage ../development/ocaml-modules/farfadet { }; + fiat-p256 = callPackage ../development/ocaml-modules/fiat-p256 { }; + fieldslib_p4 = callPackage ../development/ocaml-modules/fieldslib { }; fileutils = callPackage ../development/ocaml-modules/fileutils { }; |