Content of RPM pplite-devel-0.11-1.fc39.i686.rpm :
/usr/include/pplite
/usr/include/pplite/Abs_Poly.hh
/usr/include/pplite/Abs_Poly_Adapter.hh
/usr/include/pplite/Affine_Expr.hh
/usr/include/pplite/BBox.hh
/usr/include/pplite/BBox_impl.hh
/usr/include/pplite/B_Poly.hh
/usr/include/pplite/Bits.hh
/usr/include/pplite/Con.hh
/usr/include/pplite/Dyn_Poly.hh
/usr/include/pplite/FLINT_Integer.hh
/usr/include/pplite/FLINT_Rational.hh
/usr/include/pplite/F_Poly.hh
/usr/include/pplite/Gen.hh
/usr/include/pplite/Index_Partition.hh
/usr/include/pplite/Integer.hh
/usr/include/pplite/Integer_fwd.hh
/usr/include/pplite/Itv.hh
/usr/include/pplite/Linear_Expr.hh
/usr/include/pplite/Local_Stats.hh
/usr/include/pplite/Low_Level_Stats.hh
/usr/include/pplite/Output_Function.hh
/usr/include/pplite/Poly.hh
/usr/include/pplite/PolySet.hh
/usr/include/pplite/PolySet_templ.hh
/usr/include/pplite/Poly_Rel.hh
/usr/include/pplite/Poly_Stats.hh
/usr/include/pplite/Poly_min.hh
/usr/include/pplite/Poly_templ.hh
/usr/include/pplite/Poly_widen.hh
/usr/include/pplite/Rational.hh
/usr/include/pplite/Rational_fwd.hh
/usr/include/pplite/Sat.hh
/usr/include/pplite/Scalar_Prod.hh
/usr/include/pplite/Two_Poly.hh
/usr/include/pplite/U_Poly.hh
/usr/include/pplite/Var.hh
/usr/include/pplite/ascii_dump.hh
/usr/include/pplite/ascii_dump_load.hh
/usr/include/pplite/clock.hh
/usr/include/pplite/globals.hh
/usr/include/pplite/mater_iterator.hh
/usr/include/pplite/memory_in_bytes.hh
/usr/include/pplite/pplite-config.h
/usr/include/pplite/pplite.hh
/usr/include/pplite/support_utils.hh
/usr/include/pplite/utils.hh
/usr/lib/libpplite.so