@cwd /usr/pkg
@name adasat-gnat13-24.0.0
@blddep digest-20220214
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep gcc13-gnat-13.4.0nb2
@blddep gprbuild-25.2.0
@comment $NetBSD: PLIST,v 1.1 2025/07/10 14:03:15 dkazankov Exp $
@comment gcc13-gnat/include/adasat.relocatable/adasat-builders.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-builders.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-decisions.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-decisions.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-dpll.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-dpll.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-formulas.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-formulas.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-helpers.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-helpers.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-internals.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-theory.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat-vectors.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat-vectors.ads
@comment gcc13-gnat/include/adasat.relocatable/adasat.adb
@comment gcc13-gnat/include/adasat.relocatable/adasat.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-builders.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-builders.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-decisions.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-decisions.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-dpll.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-dpll.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-formulas.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-formulas.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-helpers.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-helpers.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-internals.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-theory.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat-vectors.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat-vectors.ads
@comment gcc13-gnat/include/adasat.static-pic/adasat.adb
@comment gcc13-gnat/include/adasat.static-pic/adasat.ads
gcc13-gnat/include/adasat.static/adasat-builders.adb
@comment MD5:f8b694b1d4b2e3ed43bbdb452dc2b038
gcc13-gnat/include/adasat.static/adasat-builders.ads
@comment MD5:d6bdf3f06c9ceb546cd5f131ed96faed
gcc13-gnat/include/adasat.static/adasat-decisions.adb
@comment MD5:40403bb71ee66142ce3a549177e1c707
gcc13-gnat/include/adasat.static/adasat-decisions.ads
@comment MD5:ed65a826d2fa6944400c857c6501a276
gcc13-gnat/include/adasat.static/adasat-dpll.adb
@comment MD5:62b86140f3603a44af4eb8c1cdad5320
gcc13-gnat/include/adasat.static/adasat-dpll.ads
@comment MD5:94a8e6db1020b9443e457a3d152a3097
gcc13-gnat/include/adasat.static/adasat-formulas.adb
@comment MD5:894c052b7d2fd999061908b2b71f65b6
gcc13-gnat/include/adasat.static/adasat-formulas.ads
@comment MD5:81ece099d3ae0dcc274d7686f4e37c4d
gcc13-gnat/include/adasat.static/adasat-helpers.adb
@comment MD5:825bd82f1ffa6cf6752c629772ca1eda
gcc13-gnat/include/adasat.static/adasat-helpers.ads
@comment MD5:6d844dcb64c3eafe4b8a7231a3647ada
gcc13-gnat/include/adasat.static/adasat-internals.ads
@comment MD5:230a08206b9356ca6619951460aa299b
gcc13-gnat/include/adasat.static/adasat-theory.ads
@comment MD5:fe18dc6cd3ac01bd1e62578cc8997bab
gcc13-gnat/include/adasat.static/adasat-vectors.adb
@comment MD5:9476a701a644d23141211b985b37e086
gcc13-gnat/include/adasat.static/adasat-vectors.ads
@comment MD5:c2c8b1591b68a52cfb9965ffb1e19468
gcc13-gnat/include/adasat.static/adasat.adb
@comment MD5:08f9e587f768681afd0b7ced191c5b31
gcc13-gnat/include/adasat.static/adasat.ads
@comment MD5:d4a13bb84cbddd5abb814bb5b6e3b263
@comment gcc13-gnat/lib/adasat.relocatable/adasat-builders.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-decisions.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-dpll.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-formulas.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-helpers.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-internals.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-theory.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat-vectors.ali
@comment gcc13-gnat/lib/adasat.relocatable/adasat.ali
@comment gcc13-gnat/lib/adasat.relocatable/libadasat.so
@comment gcc13-gnat/lib/adasat.static-pic/adasat-builders.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-decisions.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-dpll.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-formulas.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-helpers.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-internals.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-theory.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat-vectors.ali
@comment gcc13-gnat/lib/adasat.static-pic/adasat.ali
@comment gcc13-gnat/lib/adasat.static-pic/libadasat.a
gcc13-gnat/lib/adasat.static/adasat-builders.ali
@comment MD5:2dc32ab6acd0deaada87705abe7d9b3c
gcc13-gnat/lib/adasat.static/adasat-decisions.ali
@comment MD5:4c76c02038e55b77332ac9809a2f2e1b
gcc13-gnat/lib/adasat.static/adasat-dpll.ali
@comment MD5:174fc3c41a503cbe4726d60b808ab80b
gcc13-gnat/lib/adasat.static/adasat-formulas.ali
@comment MD5:de815eb9e291774110399136f452b2a9
gcc13-gnat/lib/adasat.static/adasat-helpers.ali
@comment MD5:44853ab30c6b1ea9ee5331ecd31edd2d
gcc13-gnat/lib/adasat.static/adasat-internals.ali
@comment MD5:0d3c4e7d585f21f6ed71435101dada98
gcc13-gnat/lib/adasat.static/adasat-theory.ali
@comment MD5:22cb1c09c7d20138f246a979fdcd6018
gcc13-gnat/lib/adasat.static/adasat-vectors.ali
@comment MD5:d9a3da3495953a107d1471199ce65297
gcc13-gnat/lib/adasat.static/adasat.ali
@comment MD5:59de20ab1b7cdedf3a44a2cf03f71a17
gcc13-gnat/lib/adasat.static/libadasat.a
@comment MD5:6d916b6218c255157a90d4bd11b2cad3
@comment gcc13-gnat/lib/libadasat.so
gcc13-gnat/share/gpr/adasat.gpr
@comment MD5:699a7655335b9769bad8822423a5c3e1
gcc13-gnat/share/gpr/manifests/adasat
@comment MD5:f2baf02419bd4081f99d2e77073e681d
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
