Commit 223edfea authored by Weijia Wang's avatar Weijia Wang
Browse files

pplite: migrate to flint3

parent 72cda846

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

  ];