diff --git a/pkgs/by-name/pp/pplite/package.nix b/pkgs/by-name/pp/pplite/package.nix
index cbdc9be37986..c128142921ca 100644
--- a/pkgs/by-name/pp/pplite/package.nix
+++ b/pkgs/by-name/pp/pplite/package.nix
@@ -2,6 +2,7 @@
   stdenv,
   lib,
   fetchurl,
+  fetchpatch,
   flint3,
   gmp,
 }:
@@ -20,6 +21,15 @@ stdenv.mkDerivation {
     gmp
   ];
 
+  patches = [
+    # https://github.com/ezaffanella/PPLite/pull/1
+    (fetchpatch {
+      name = "flint-3_2.patch";
+      url = "https://github.com/ezaffanella/PPLite/commit/96fd1e50131f70bb78efdd60985525e970c9df06.patch";
+      hash = "sha256-8FNyL8h/rBm2Hegib2l08vqEmFDU0PhMCV8Ui2G4xHQ=";
+    })
+  ];
+
   meta = {
     homepage = "https://github.com/ezaffanella/PPLite";
     description = "Convex polyhedra library for Abstract Interpretation";