Content of RPM libAdaSAT-devel-24.0.0-2.80.x86_64.rpm :
/usr/include/adasat.relocatable
/usr/include/adasat.relocatable/adasat-builders.adb
/usr/include/adasat.relocatable/adasat-builders.ads
/usr/include/adasat.relocatable/adasat-decisions.adb
/usr/include/adasat.relocatable/adasat-decisions.ads
/usr/include/adasat.relocatable/adasat-dpll.adb
/usr/include/adasat.relocatable/adasat-dpll.ads
/usr/include/adasat.relocatable/adasat-formulas.adb
/usr/include/adasat.relocatable/adasat-formulas.ads
/usr/include/adasat.relocatable/adasat-helpers.adb
/usr/include/adasat.relocatable/adasat-helpers.ads
/usr/include/adasat.relocatable/adasat-internals.ads
/usr/include/adasat.relocatable/adasat-theory.ads
/usr/include/adasat.relocatable/adasat-vectors.adb
/usr/include/adasat.relocatable/adasat-vectors.ads
/usr/include/adasat.relocatable/adasat.adb
/usr/include/adasat.relocatable/adasat.ads
/usr/include/adasat.static
/usr/include/adasat.static-pic
/usr/include/adasat.static-pic/adasat-builders.adb
/usr/include/adasat.static-pic/adasat-builders.ads
/usr/include/adasat.static-pic/adasat-decisions.adb
/usr/include/adasat.static-pic/adasat-decisions.ads
/usr/include/adasat.static-pic/adasat-dpll.adb
/usr/include/adasat.static-pic/adasat-dpll.ads
/usr/include/adasat.static-pic/adasat-formulas.adb
/usr/include/adasat.static-pic/adasat-formulas.ads
/usr/include/adasat.static-pic/adasat-helpers.adb
/usr/include/adasat.static-pic/adasat-helpers.ads
/usr/include/adasat.static-pic/adasat-internals.ads
/usr/include/adasat.static-pic/adasat-theory.ads
/usr/include/adasat.static-pic/adasat-vectors.adb
/usr/include/adasat.static-pic/adasat-vectors.ads
/usr/include/adasat.static-pic/adasat.adb
/usr/include/adasat.static-pic/adasat.ads
/usr/include/adasat.static/adasat-builders.adb
/usr/include/adasat.static/adasat-builders.ads
/usr/include/adasat.static/adasat-decisions.adb
/usr/include/adasat.static/adasat-decisions.ads
/usr/include/adasat.static/adasat-dpll.adb
/usr/include/adasat.static/adasat-dpll.ads
/usr/include/adasat.static/adasat-formulas.adb
/usr/include/adasat.static/adasat-formulas.ads
/usr/include/adasat.static/adasat-helpers.adb
/usr/include/adasat.static/adasat-helpers.ads
/usr/include/adasat.static/adasat-internals.ads
/usr/include/adasat.static/adasat-theory.ads
/usr/include/adasat.static/adasat-vectors.adb
/usr/include/adasat.static/adasat-vectors.ads
/usr/include/adasat.static/adasat.adb
/usr/include/adasat.static/adasat.ads
/usr/lib64/adasat.relocatable/adasat-builders.ali
/usr/lib64/adasat.relocatable/adasat-decisions.ali
/usr/lib64/adasat.relocatable/adasat-dpll.ali
/usr/lib64/adasat.relocatable/adasat-formulas.ali
/usr/lib64/adasat.relocatable/adasat-helpers.ali
/usr/lib64/adasat.relocatable/adasat-internals.ali
/usr/lib64/adasat.relocatable/adasat-theory.ali
/usr/lib64/adasat.relocatable/adasat-vectors.ali
/usr/lib64/adasat.relocatable/adasat.ali
/usr/lib64/adasat.static
/usr/lib64/adasat.static-pic
/usr/lib64/adasat.static-pic/adasat-builders.ali
/usr/lib64/adasat.static-pic/adasat-decisions.ali
/usr/lib64/adasat.static-pic/adasat-dpll.ali
/usr/lib64/adasat.static-pic/adasat-formulas.ali
/usr/lib64/adasat.static-pic/adasat-helpers.ali
/usr/lib64/adasat.static-pic/adasat-internals.ali
/usr/lib64/adasat.static-pic/adasat-theory.ali
/usr/lib64/adasat.static-pic/adasat-vectors.ali
/usr/lib64/adasat.static-pic/adasat.ali
/usr/lib64/adasat.static-pic/libadasat.a
/usr/lib64/adasat.static/adasat-builders.ali
/usr/lib64/adasat.static/adasat-decisions.ali
/usr/lib64/adasat.static/adasat-dpll.ali
/usr/lib64/adasat.static/adasat-formulas.ali
/usr/lib64/adasat.static/adasat-helpers.ali
/usr/lib64/adasat.static/adasat-internals.ali
/usr/lib64/adasat.static/adasat-theory.ali
/usr/lib64/adasat.static/adasat-vectors.ali
/usr/lib64/adasat.static/adasat.ali
/usr/lib64/adasat.static/libadasat.a
/usr/share/doc/packages/libAdaSAT-devel
/usr/share/doc/packages/libAdaSAT-devel/README.md
/usr/share/gpr/adasat.gpr