@cwd /usr/pkg
@name adasat-gnat14-25.2.0
@blddep digest-20220214
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep gcc14-gnat-14.3.0nb3
@blddep gprbuild-25.2.0
@comment $NetBSD: PLIST,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
@comment gcc14-gnat/include/adasat.relocatable/adasat-builders.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-builders.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-decisions.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-decisions.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-dpll.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-dpll.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-formulas.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-formulas.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-helpers.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-helpers.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-internals.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-theory.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat-vectors.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat-vectors.ads
@comment gcc14-gnat/include/adasat.relocatable/adasat.adb
@comment gcc14-gnat/include/adasat.relocatable/adasat.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-builders.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-builders.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-decisions.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-decisions.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-dpll.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-dpll.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-formulas.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-formulas.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-helpers.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-helpers.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-internals.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-theory.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat-vectors.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat-vectors.ads
@comment gcc14-gnat/include/adasat.static-pic/adasat.adb
@comment gcc14-gnat/include/adasat.static-pic/adasat.ads
gcc14-gnat/include/adasat.static/adasat-builders.adb
@comment MD5:f8b694b1d4b2e3ed43bbdb452dc2b038
gcc14-gnat/include/adasat.static/adasat-builders.ads
@comment MD5:d6bdf3f06c9ceb546cd5f131ed96faed
gcc14-gnat/include/adasat.static/adasat-decisions.adb
@comment MD5:40403bb71ee66142ce3a549177e1c707
gcc14-gnat/include/adasat.static/adasat-decisions.ads
@comment MD5:ed65a826d2fa6944400c857c6501a276
gcc14-gnat/include/adasat.static/adasat-dpll.adb
@comment MD5:496217bbc4d6fa2d9de71881148f2d4d
gcc14-gnat/include/adasat.static/adasat-dpll.ads
@comment MD5:94a8e6db1020b9443e457a3d152a3097
gcc14-gnat/include/adasat.static/adasat-formulas.adb
@comment MD5:894c052b7d2fd999061908b2b71f65b6
gcc14-gnat/include/adasat.static/adasat-formulas.ads
@comment MD5:81ece099d3ae0dcc274d7686f4e37c4d
gcc14-gnat/include/adasat.static/adasat-helpers.adb
@comment MD5:825bd82f1ffa6cf6752c629772ca1eda
gcc14-gnat/include/adasat.static/adasat-helpers.ads
@comment MD5:6d844dcb64c3eafe4b8a7231a3647ada
gcc14-gnat/include/adasat.static/adasat-internals.ads
@comment MD5:230a08206b9356ca6619951460aa299b
gcc14-gnat/include/adasat.static/adasat-theory.ads
@comment MD5:fe18dc6cd3ac01bd1e62578cc8997bab
gcc14-gnat/include/adasat.static/adasat-vectors.adb
@comment MD5:9476a701a644d23141211b985b37e086
gcc14-gnat/include/adasat.static/adasat-vectors.ads
@comment MD5:c2c8b1591b68a52cfb9965ffb1e19468
gcc14-gnat/include/adasat.static/adasat.adb
@comment MD5:492712391f3428af39df35bc49e8a3fc
gcc14-gnat/include/adasat.static/adasat.ads
@comment MD5:cc7f733d8a700a4692c9e34575f5ca5b
@comment gcc14-gnat/lib/adasat.relocatable/adasat-builders.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-decisions.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-dpll.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-formulas.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-helpers.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-internals.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-theory.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat-vectors.ali
@comment gcc14-gnat/lib/adasat.relocatable/adasat.ali
@comment gcc14-gnat/lib/adasat.relocatable/libadasat.so
@comment gcc14-gnat/lib/adasat.static-pic/adasat-builders.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-decisions.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-dpll.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-formulas.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-helpers.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-internals.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-theory.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat-vectors.ali
@comment gcc14-gnat/lib/adasat.static-pic/adasat.ali
@comment gcc14-gnat/lib/adasat.static-pic/libadasat.a
gcc14-gnat/lib/adasat.static/adasat-builders.ali
@comment MD5:6120b615f52829876bd7094e04b540c8
gcc14-gnat/lib/adasat.static/adasat-decisions.ali
@comment MD5:c188338a226ef25541f8d7cc39956d17
gcc14-gnat/lib/adasat.static/adasat-dpll.ali
@comment MD5:48ebb4e566042ca48cfa3209fd2000ea
gcc14-gnat/lib/adasat.static/adasat-formulas.ali
@comment MD5:4f1302b3cdcdedae484658462bfd0f33
gcc14-gnat/lib/adasat.static/adasat-helpers.ali
@comment MD5:8a51de08bdc953f56644fddfed9aaf1b
gcc14-gnat/lib/adasat.static/adasat-internals.ali
@comment MD5:614548d1139c40eed049ad629dbcecdd
gcc14-gnat/lib/adasat.static/adasat-theory.ali
@comment MD5:d1f8be21b847ae6907102947b8287954
gcc14-gnat/lib/adasat.static/adasat-vectors.ali
@comment MD5:b7101b855aecf0abaf1aac7c1b1fa019
gcc14-gnat/lib/adasat.static/adasat.ali
@comment MD5:f1c7572e6e428aba19b29dbf100625d4
gcc14-gnat/lib/adasat.static/libadasat.a
@comment MD5:30e835a89e50d38c6f04964d2632b441
@comment gcc14-gnat/lib/libadasat.so
gcc14-gnat/share/gpr/adasat.gpr
@comment MD5:699a7655335b9769bad8822423a5c3e1
gcc14-gnat/share/gpr/manifests/adasat
@comment MD5:38f7e77ac44257562b44e35709f529f2
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
