about summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
diff options
context:
space:
mode:
authorsternenseemann <sternenseemann@systemli.org>2022-03-28 14:20:07 +0200
committerVincent Laporte <vbgl@users.noreply.github.com>2022-03-28 18:37:13 +0200
commit80d8655c15055472f0118a877351085cc22c1e92 (patch)
treebcd417164c79c543678ce57b35555d52f9fcc22a /pkgs/top-level/ocaml-packages.nix
parentf9d7452d462f2fe809ed404d46969df5832fa51c (diff)
downloadnixlib-80d8655c15055472f0118a877351085cc22c1e92.tar
nixlib-80d8655c15055472f0118a877351085cc22c1e92.tar.gz
nixlib-80d8655c15055472f0118a877351085cc22c1e92.tar.bz2
nixlib-80d8655c15055472f0118a877351085cc22c1e92.tar.lz
nixlib-80d8655c15055472f0118a877351085cc22c1e92.tar.xz
nixlib-80d8655c15055472f0118a877351085cc22c1e92.tar.zst
nixlib-80d8655c15055472f0118a877351085cc22c1e92.zip
ocamlPackages.fiat-p256: remove at 0.2.1
Upstream has deprecated the package and we no longer depend on it for
anything:

> Archived, now integrated into mirage-crypto-ec (please use that and report issues there)
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r--pkgs/top-level/ocaml-packages.nix2
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 08641cc5caa1..880048ebc58e 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -413,8 +413,6 @@ let
       inherit (pkgs) ffmpeg;
     };
 
-    fiat-p256 = callPackage ../development/ocaml-modules/fiat-p256 { };
-
     fileutils = callPackage ../development/ocaml-modules/fileutils { };
 
     findlib = callPackage ../development/tools/ocaml/findlib { };