@cwd /usr/pkg
@name ada-adasat-gnat15-26.0.0
@blddep digest-20220214
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep gcc15-gnat-15.2.0nb2
@blddep gprbuild-26.0.0
@comment $NetBSD: PLIST,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
@comment gcc15-gnat/include/adasat.relocatable/adasat-builders.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-builders.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-decisions.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-decisions.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-dpll.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-dpll.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-formulas.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-formulas.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-helpers.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-helpers.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-internals.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-theory.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat-vectors.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat-vectors.ads
@comment gcc15-gnat/include/adasat.relocatable/adasat.adb
@comment gcc15-gnat/include/adasat.relocatable/adasat.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-builders.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-builders.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-decisions.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-decisions.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-dpll.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-dpll.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-formulas.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-formulas.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-helpers.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-helpers.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-internals.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-theory.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat-vectors.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat-vectors.ads
@comment gcc15-gnat/include/adasat.static-pic/adasat.adb
@comment gcc15-gnat/include/adasat.static-pic/adasat.ads
gcc15-gnat/include/adasat.static/adasat-builders.adb
@comment MD5:f8b694b1d4b2e3ed43bbdb452dc2b038
gcc15-gnat/include/adasat.static/adasat-builders.ads
@comment MD5:d6bdf3f06c9ceb546cd5f131ed96faed
gcc15-gnat/include/adasat.static/adasat-decisions.adb
@comment MD5:40403bb71ee66142ce3a549177e1c707
gcc15-gnat/include/adasat.static/adasat-decisions.ads
@comment MD5:ed65a826d2fa6944400c857c6501a276
gcc15-gnat/include/adasat.static/adasat-dpll.adb
@comment MD5:496217bbc4d6fa2d9de71881148f2d4d
gcc15-gnat/include/adasat.static/adasat-dpll.ads
@comment MD5:94a8e6db1020b9443e457a3d152a3097
gcc15-gnat/include/adasat.static/adasat-formulas.adb
@comment MD5:894c052b7d2fd999061908b2b71f65b6
gcc15-gnat/include/adasat.static/adasat-formulas.ads
@comment MD5:81ece099d3ae0dcc274d7686f4e37c4d
gcc15-gnat/include/adasat.static/adasat-helpers.adb
@comment MD5:825bd82f1ffa6cf6752c629772ca1eda
gcc15-gnat/include/adasat.static/adasat-helpers.ads
@comment MD5:6d844dcb64c3eafe4b8a7231a3647ada
gcc15-gnat/include/adasat.static/adasat-internals.ads
@comment MD5:230a08206b9356ca6619951460aa299b
gcc15-gnat/include/adasat.static/adasat-theory.ads
@comment MD5:fe18dc6cd3ac01bd1e62578cc8997bab
gcc15-gnat/include/adasat.static/adasat-vectors.adb
@comment MD5:9476a701a644d23141211b985b37e086
gcc15-gnat/include/adasat.static/adasat-vectors.ads
@comment MD5:c2c8b1591b68a52cfb9965ffb1e19468
gcc15-gnat/include/adasat.static/adasat.adb
@comment MD5:492712391f3428af39df35bc49e8a3fc
gcc15-gnat/include/adasat.static/adasat.ads
@comment MD5:cc7f733d8a700a4692c9e34575f5ca5b
@comment gcc15-gnat/lib/adasat.relocatable/adasat-builders.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-decisions.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-dpll.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-formulas.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-helpers.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-internals.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-theory.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat-vectors.ali
@comment gcc15-gnat/lib/adasat.relocatable/adasat.ali
@comment gcc15-gnat/lib/adasat.relocatable/libadasat.so
@comment gcc15-gnat/lib/adasat.static-pic/adasat-builders.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-decisions.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-dpll.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-formulas.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-helpers.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-internals.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-theory.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat-vectors.ali
@comment gcc15-gnat/lib/adasat.static-pic/adasat.ali
@comment gcc15-gnat/lib/adasat.static-pic/libadasat.a
gcc15-gnat/lib/adasat.static/adasat-builders.ali
@comment MD5:f3564912a87406ae81c8a029855c7d68
gcc15-gnat/lib/adasat.static/adasat-decisions.ali
@comment MD5:72084ee7978015756d7020988e4ec2fd
gcc15-gnat/lib/adasat.static/adasat-dpll.ali
@comment MD5:8f9ee1042b578eefaabcc4874c1066ea
gcc15-gnat/lib/adasat.static/adasat-formulas.ali
@comment MD5:77db974270b8fdc9a21f6b7fcfa32eb0
gcc15-gnat/lib/adasat.static/adasat-helpers.ali
@comment MD5:4860b3519e02a0c3ed1b312444f92b11
gcc15-gnat/lib/adasat.static/adasat-internals.ali
@comment MD5:a4dc3b3a07246473343cedb0ca885f9d
gcc15-gnat/lib/adasat.static/adasat-theory.ali
@comment MD5:56c17645914272c27322da804fcbcfc7
gcc15-gnat/lib/adasat.static/adasat-vectors.ali
@comment MD5:f5fdf0184279573439ad78d6db823f76
gcc15-gnat/lib/adasat.static/adasat.ali
@comment MD5:38e7a02a64118c142f768c26571ee287
gcc15-gnat/lib/adasat.static/libadasat.a
@comment MD5:b51cb1fb0c4649c659fc590acbe6a950
@comment gcc15-gnat/lib/libadasat.so
gcc15-gnat/share/gpr/adasat.gpr
@comment MD5:1050aa36d8a03a297d6910f05f91fabf
gcc15-gnat/share/gpr/manifests/adasat
@comment MD5:475a9944d3abfdcd82febe8009fb6e46
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
