adasat: PLIST fix

[Dmytro Kazankov (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Dmytro Kazankov <dmytro.kazankov%gmail.com@localhost>
Pushed By:	dkazankov
Date:		Thu Nov 28 00:02:49 2024 +0200
Changeset:	7482210a168fdb74a5e8b948aa0dca85a2f0a24f

Modified Files:
	adasat/PLIST

Log Message:
adasat: PLIST fix

* Empty PLIST file fixed

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=7482210a168fdb74a5e8b948aa0dca85a2f0a24f

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 adasat/PLIST | 81 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)

diffs:
diff --git a/adasat/PLIST b/adasat/PLIST
index 9e85ff2fad..329b72b8c5 100644
--- a/adasat/PLIST
+++ b/adasat/PLIST
@@ -1 +1,82 @@
 @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