%FILES%
mingw64/
mingw64/bin/
mingw64/bin/libadasat.dll
mingw64/include/
mingw64/include/adasat.relocatable/
mingw64/include/adasat.relocatable/adasat-builders.adb
mingw64/include/adasat.relocatable/adasat-builders.ads
mingw64/include/adasat.relocatable/adasat-decisions.adb
mingw64/include/adasat.relocatable/adasat-decisions.ads
mingw64/include/adasat.relocatable/adasat-dpll.adb
mingw64/include/adasat.relocatable/adasat-dpll.ads
mingw64/include/adasat.relocatable/adasat-formulas.adb
mingw64/include/adasat.relocatable/adasat-formulas.ads
mingw64/include/adasat.relocatable/adasat-helpers.adb
mingw64/include/adasat.relocatable/adasat-helpers.ads
mingw64/include/adasat.relocatable/adasat-internals.ads
mingw64/include/adasat.relocatable/adasat-theory.ads
mingw64/include/adasat.relocatable/adasat-vectors.adb
mingw64/include/adasat.relocatable/adasat-vectors.ads
mingw64/include/adasat.relocatable/adasat.adb
mingw64/include/adasat.relocatable/adasat.ads
mingw64/include/adasat.static-pic/
mingw64/include/adasat.static-pic/adasat-builders.adb
mingw64/include/adasat.static-pic/adasat-builders.ads
mingw64/include/adasat.static-pic/adasat-decisions.adb
mingw64/include/adasat.static-pic/adasat-decisions.ads
mingw64/include/adasat.static-pic/adasat-dpll.adb
mingw64/include/adasat.static-pic/adasat-dpll.ads
mingw64/include/adasat.static-pic/adasat-formulas.adb
mingw64/include/adasat.static-pic/adasat-formulas.ads
mingw64/include/adasat.static-pic/adasat-helpers.adb
mingw64/include/adasat.static-pic/adasat-helpers.ads
mingw64/include/adasat.static-pic/adasat-internals.ads
mingw64/include/adasat.static-pic/adasat-theory.ads
mingw64/include/adasat.static-pic/adasat-vectors.adb
mingw64/include/adasat.static-pic/adasat-vectors.ads
mingw64/include/adasat.static-pic/adasat.adb
mingw64/include/adasat.static-pic/adasat.ads
mingw64/include/adasat.static/
mingw64/include/adasat.static/adasat-builders.adb
mingw64/include/adasat.static/adasat-builders.ads
mingw64/include/adasat.static/adasat-decisions.adb
mingw64/include/adasat.static/adasat-decisions.ads
mingw64/include/adasat.static/adasat-dpll.adb
mingw64/include/adasat.static/adasat-dpll.ads
mingw64/include/adasat.static/adasat-formulas.adb
mingw64/include/adasat.static/adasat-formulas.ads
mingw64/include/adasat.static/adasat-helpers.adb
mingw64/include/adasat.static/adasat-helpers.ads
mingw64/include/adasat.static/adasat-internals.ads
mingw64/include/adasat.static/adasat-theory.ads
mingw64/include/adasat.static/adasat-vectors.adb
mingw64/include/adasat.static/adasat-vectors.ads
mingw64/include/adasat.static/adasat.adb
mingw64/include/adasat.static/adasat.ads
mingw64/lib/
mingw64/lib/adasat.relocatable/
mingw64/lib/adasat.relocatable/adasat-builders.ali
mingw64/lib/adasat.relocatable/adasat-decisions.ali
mingw64/lib/adasat.relocatable/adasat-dpll.ali
mingw64/lib/adasat.relocatable/adasat-formulas.ali
mingw64/lib/adasat.relocatable/adasat-helpers.ali
mingw64/lib/adasat.relocatable/adasat-internals.ali
mingw64/lib/adasat.relocatable/adasat-theory.ali
mingw64/lib/adasat.relocatable/adasat-vectors.ali
mingw64/lib/adasat.relocatable/adasat.ali
mingw64/lib/adasat.relocatable/libadasat.dll
mingw64/lib/adasat.static-pic/
mingw64/lib/adasat.static-pic/adasat-builders.ali
mingw64/lib/adasat.static-pic/adasat-decisions.ali
mingw64/lib/adasat.static-pic/adasat-dpll.ali
mingw64/lib/adasat.static-pic/adasat-formulas.ali
mingw64/lib/adasat.static-pic/adasat-helpers.ali
mingw64/lib/adasat.static-pic/adasat-internals.ali
mingw64/lib/adasat.static-pic/adasat-theory.ali
mingw64/lib/adasat.static-pic/adasat-vectors.ali
mingw64/lib/adasat.static-pic/adasat.ali
mingw64/lib/adasat.static-pic/libadasat.a
mingw64/lib/adasat.static/
mingw64/lib/adasat.static/adasat-builders.ali
mingw64/lib/adasat.static/adasat-decisions.ali
mingw64/lib/adasat.static/adasat-dpll.ali
mingw64/lib/adasat.static/adasat-formulas.ali
mingw64/lib/adasat.static/adasat-helpers.ali
mingw64/lib/adasat.static/adasat-internals.ali
mingw64/lib/adasat.static/adasat-theory.ali
mingw64/lib/adasat.static/adasat-vectors.ali
mingw64/lib/adasat.static/adasat.ali
mingw64/lib/adasat.static/libadasat.a
mingw64/share/
mingw64/share/gpr/
mingw64/share/gpr/adasat.gpr
mingw64/share/gpr/manifests/
mingw64/share/gpr/manifests/adasat
mingw64/share/licenses/
mingw64/share/licenses/adasat/
mingw64/share/licenses/adasat/LICENSE
