Unverified Commit 6f77af0a authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

pplite: migrate to flint3 (#391816)

parents 5158c635 223edfea

pkgs/by-name/pp/pplite/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
  stdenv,

  lib,

  fetchurl,

  flint,

  flint3,

  gmp,

}:
@@ -16,7 +16,7 @@ stdenv.mkDerivation { 
  };



  buildInputs = [

    flint

    flint3

    gmp

  ];