@comment $NetBSD: PLIST,v 1.0 2024/05/13 11:00:00 dkazankov Exp $
include/adasat.relocatable/adasat-builders.adb
include/adasat.relocatable/adasat-builders.ads
include/adasat.relocatable/adasat-decisions.adb
include/adasat.relocatable/adasat-decisions.ads
include/adasat.relocatable/adasat-dpll.adb
include/adasat.relocatable/adasat-dpll.ads
include/adasat.relocatable/adasat-formulas.adb
include/adasat.relocatable/adasat-formulas.ads
include/adasat.relocatable/adasat-helpers.adb
include/adasat.relocatable/adasat-helpers.ads
include/adasat.relocatable/adasat-internals.ads
include/adasat.relocatable/adasat-theory.ads
include/adasat.relocatable/adasat-vectors.adb
include/adasat.relocatable/adasat-vectors.ads
include/adasat.relocatable/adasat.adb
include/adasat.relocatable/adasat.ads
include/adasat.static-pic/adasat-builders.adb
include/adasat.static-pic/adasat-builders.ads
include/adasat.static-pic/adasat-decisions.adb
include/adasat.static-pic/adasat-decisions.ads
include/adasat.static-pic/adasat-dpll.adb
include/adasat.static-pic/adasat-dpll.ads
include/adasat.static-pic/adasat-formulas.adb
include/adasat.static-pic/adasat-formulas.ads
include/adasat.static-pic/adasat-helpers.adb
include/adasat.static-pic/adasat-helpers.ads
include/adasat.static-pic/adasat-internals.ads
include/adasat.static-pic/adasat-theory.ads
include/adasat.static-pic/adasat-vectors.adb
include/adasat.static-pic/adasat-vectors.ads
include/adasat.static-pic/adasat.adb
include/adasat.static-pic/adasat.ads
include/adasat.static/adasat-builders.adb
include/adasat.static/adasat-builders.ads
include/adasat.static/adasat-decisions.adb
include/adasat.static/adasat-decisions.ads
include/adasat.static/adasat-dpll.adb
include/adasat.static/adasat-dpll.ads
include/adasat.static/adasat-formulas.adb
include/adasat.static/adasat-formulas.ads
include/adasat.static/adasat-helpers.adb
include/adasat.static/adasat-helpers.ads
include/adasat.static/adasat-internals.ads
include/adasat.static/adasat-theory.ads
include/adasat.static/adasat-vectors.adb
include/adasat.static/adasat-vectors.ads
include/adasat.static/adasat.adb
include/adasat.static/adasat.ads
lib/adasat.relocatable/adasat-builders.ali
lib/adasat.relocatable/adasat-decisions.ali
lib/adasat.relocatable/adasat-dpll.ali
lib/adasat.relocatable/adasat-formulas.ali
lib/adasat.relocatable/adasat-helpers.ali
lib/adasat.relocatable/adasat-internals.ali
lib/adasat.relocatable/adasat-theory.ali
lib/adasat.relocatable/adasat-vectors.ali
lib/adasat.relocatable/adasat.ali
lib/adasat.relocatable/libadasat.so
lib/adasat.static-pic/adasat-builders.ali
lib/adasat.static-pic/adasat-decisions.ali
lib/adasat.static-pic/adasat-dpll.ali
lib/adasat.static-pic/adasat-formulas.ali
lib/adasat.static-pic/adasat-helpers.ali
lib/adasat.static-pic/adasat-internals.ali
lib/adasat.static-pic/adasat-theory.ali
lib/adasat.static-pic/adasat-vectors.ali
lib/adasat.static-pic/adasat.ali
lib/adasat.static-pic/libadasat.a
lib/adasat.static/adasat-builders.ali
lib/adasat.static/adasat-decisions.ali
lib/adasat.static/adasat-dpll.ali
lib/adasat.static/adasat-formulas.ali
lib/adasat.static/adasat-helpers.ali
lib/adasat.static/adasat-internals.ali
lib/adasat.static/adasat-theory.ali
lib/adasat.static/adasat-vectors.ali
lib/adasat.static/adasat.ali
lib/adasat.static/libadasat.a
lib/libadasat.so
share/gpr/adasat.gpr
share/gpr/manifests/adasat
