@cwd /usr/pkg
@name spark2014-14-14.2.0nb1
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep digest-20220214
@blddep python313-3.13.11
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep adasat-gnat14-25.2.0
@blddep gcc14-gnat-14.3.0nb3
@blddep gnatcoll-bindings-gnat14-25.2.0nb1
@blddep gnatcoll-core-gnat14-25.2.0
@blddep gprbuild-25.2.0
@blddep libgpr-gnat14-25.2.0
@blddep libgpr2-gnat14-25.2.0
@blddep menhir-20220210
@blddep ocaml-4.14.2nb1
@blddep ocaml-num-1.4nb1
@blddep ocaml-ppx_deriving-5.2.1
@blddep ocaml-ppx_sexp_conv-0.15.1
@blddep ocaml-re-1.10.4nb1
@blddep ocaml-seq-0.2.2
@blddep ocaml-sexplib-0.15.0
@blddep ocaml-yojson-1.7.0nb2
@blddep ocaml-zarith-1.12nb1
@blddep ocamlgraph-1.8.8nb48
@blddep xmlada-gnat14-25.2.0
@comment $NetBSD: PLIST,v 1.1 2025/07/28 07:00:55 dkazankov Exp $
gcc14-gnat/bin/gnat2why
@comment MD5:25a31e35d6fb61efde27e53d1ca965d3
gcc14-gnat/bin/gnatprove
@comment MD5:4922d8cdb11acbfd5cb1b2231135a15a
gcc14-gnat/bin/spark_memcached_wrapper
@comment MD5:cca41464bf3ad4dd627a9a71cc7cfc9f
gcc14-gnat/bin/spark_report
@comment MD5:d3c1fc8580db5e212037542d439c7d82
gcc14-gnat/bin/spark_semaphore_wrapper
@comment MD5:d5c9a537aba1ed7890f7b0fcc38d7e4f
gcc14-gnat/bin/target.atp
@comment MD5:67b4c3df5fd6e7acb6aa02ee6f7ea5d3
gcc14-gnat/libexec/spark/bin/fake_alt-ergo
@comment MD5:d5a86cf71dd2fbb7268d3f96945003ad
gcc14-gnat/libexec/spark/bin/fake_cvc4
@comment MD5:b91960b90c8e1758553a64e217b5198f
gcc14-gnat/libexec/spark/bin/fake_cvc5
@comment MD5:b91960b90c8e1758553a64e217b5198f
gcc14-gnat/libexec/spark/bin/fake_z3
@comment MD5:b91960b90c8e1758553a64e217b5198f
gcc14-gnat/libexec/spark/bin/gnatwhy3
@comment MD5:28a8736ef71897372861a104f4303abb
gcc14-gnat/libexec/spark/bin/gnatwhy3.hash
@comment MD5:f990e995a4aba975c17bca6a8783d972
gcc14-gnat/libexec/spark/bin/why3
@comment MD5:41a78e6e8c32e9bd86d40cdbafca89fc
gcc14-gnat/libexec/spark/bin/why3config.cmxs
@comment MD5:68bb21100b9d56b62db0ff91e77d8911
gcc14-gnat/libexec/spark/bin/why3cpulimit
@comment MD5:472e9f9c2fada6889f98310461a14c90
gcc14-gnat/libexec/spark/bin/why3realize.cmxs
@comment MD5:c174fba9ea8f1c32bdb32f89272ff597
gcc14-gnat/libexec/spark/bin/why3server
@comment MD5:9cb2616100be806929331d5e984fb5f1
gcc14-gnat/libexec/spark/bin/why3session.cmxs
@comment MD5:71c62334bee33e390fce96054951dab1
gcc14-gnat/libexec/spark/lib/why3/commands/why3config.cmxs
@comment MD5:68bb21100b9d56b62db0ff91e77d8911
gcc14-gnat/libexec/spark/lib/why3/commands/why3doc.cmxs
@comment MD5:0b9d4508c56f36d7b0730314ff545154
gcc14-gnat/libexec/spark/lib/why3/commands/why3execute.cmxs
@comment MD5:40e4dddbb6529009d230e5adb73e2cfb
gcc14-gnat/libexec/spark/lib/why3/commands/why3extract.cmxs
@comment MD5:a4863c8be5b0c184dd79ddd7963fc294
gcc14-gnat/libexec/spark/lib/why3/commands/why3pp.cmxs
@comment MD5:fe60645a960ccee5d2c78db468fd3841
gcc14-gnat/libexec/spark/lib/why3/commands/why3prove.cmxs
@comment MD5:394dd3e31c551ce60d21f95c8b956984
gcc14-gnat/libexec/spark/lib/why3/commands/why3realize.cmxs
@comment MD5:c174fba9ea8f1c32bdb32f89272ff597
gcc14-gnat/libexec/spark/lib/why3/commands/why3replay.cmxs
@comment MD5:333a2866342ea951794f1d95945c2b84
gcc14-gnat/libexec/spark/lib/why3/commands/why3session.cmxs
@comment MD5:71c62334bee33e390fce96054951dab1
gcc14-gnat/libexec/spark/lib/why3/commands/why3shell.cmxs
@comment MD5:604365abbd6afc6d0b396f598ae2f44d
gcc14-gnat/libexec/spark/lib/why3/commands/why3show.cmxs
@comment MD5:5237401cb7534ee828b3fb31398394e4
gcc14-gnat/libexec/spark/lib/why3/commands/why3wc.cmxs
@comment MD5:baba6c9749f63a2be8d0e183c650424f
gcc14-gnat/libexec/spark/lib/why3/commands/why3webserver.cmxs
@comment MD5:5f49793819999b1afb0a2bde7e971ed3
gcc14-gnat/libexec/spark/lib/why3/plugins/ada_terms.cmxs
@comment MD5:73cf5b7827dbc90235c1b7380fb255d8
gcc14-gnat/libexec/spark/lib/why3/plugins/cfg.cmxs
@comment MD5:ed00658b98abd160d13503032420ba89
gcc14-gnat/libexec/spark/lib/why3/plugins/dimacs.cmxs
@comment MD5:e8f00e9be57bc82a1af07fc0b3f5a405
gcc14-gnat/libexec/spark/lib/why3/plugins/genequlin.cmxs
@comment MD5:8e660405145eb594a3e2e8561ac30fe4
gcc14-gnat/libexec/spark/lib/why3/plugins/gnat_json.cmxs
@comment MD5:55275886261f3cdcdb92768c3435126f
gcc14-gnat/libexec/spark/lib/why3/plugins/microc.cmxs
@comment MD5:a2dcc80c969de2a693ba74f37d2eac7e
gcc14-gnat/libexec/spark/lib/why3/plugins/python.cmxs
@comment MD5:355c0ed49da427ca3569cb2917f2aa82
gcc14-gnat/libexec/spark/lib/why3/plugins/tptp.cmxs
@comment MD5:e34b47751c486907a72969d047839447
gcc14-gnat/libexec/spark/lib/why3/why3-call-pvs
@comment MD5:3931c3d604bed341aff575be9c2a3a9f
gcc14-gnat/libexec/spark/lib/why3/why3cpulimit
@comment MD5:472e9f9c2fada6889f98310461a14c90
gcc14-gnat/libexec/spark/lib/why3/why3server
@comment MD5:9cb2616100be806929331d5e984fb5f1
gcc14-gnat/libexec/spark/share/why3/drivers/alt-ergo_gnatprove.drv
@comment MD5:45cbc173587794a10a8b0e4baf4ac262
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo.drv
@comment MD5:7c0271c88b5480f3d45352e4d23a6089
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_2_2_0.drv
@comment MD5:eb81eabdf68f69ef7edf3756403c0e0a
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_2_3.drv
@comment MD5:837a23ebb04143e5b0c16f5060b4e231
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_common.drv
@comment MD5:478303c5d9d7a0caac820522ab388670
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_fp.drv
@comment MD5:8cee9fa777457315c6b778b174d534e2
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_model.drv
@comment MD5:043d32ece619d4b6f768b1b801fe8324
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_smt2.drv
@comment MD5:a3a0fae548c3d42c27674aa19c310bfe
gcc14-gnat/libexec/spark/share/why3/drivers/beagle.drv
@comment MD5:4cdc124b693c3e1e89f6b511dafb5861
gcc14-gnat/libexec/spark/share/why3/drivers/colibri.drv
@comment MD5:e8c68ef7b65b6ff5809851afc3c41fe2
gcc14-gnat/libexec/spark/share/why3/drivers/colibri2.drv
@comment MD5:5527db04b2fdfbe2351474015bdf0c56
gcc14-gnat/libexec/spark/share/why3/drivers/coq-common.gen
@comment MD5:3bce8803ee2cc491397c1284672ea76b
gcc14-gnat/libexec/spark/share/why3/drivers/coq-realizations.aux
@comment MD5:72ebc6fbea8331255b02ab8c72ebe319
gcc14-gnat/libexec/spark/share/why3/drivers/coq-realize.drv
@comment MD5:9c235a961ec33f5aa34b4cdae8d1bd20
gcc14-gnat/libexec/spark/share/why3/drivers/coq-ssreflect.drv
@comment MD5:4867b7b6b3514968cc00d8692304680a
gcc14-gnat/libexec/spark/share/why3/drivers/coq.drv
@comment MD5:e274171e3e1a7d6f66b81e8f3a585ece
gcc14-gnat/libexec/spark/share/why3/drivers/coq_gnatprove.drv
@comment MD5:81c7436445b38b7859bbf208e23a0baa
gcc14-gnat/libexec/spark/share/why3/drivers/cvc3.drv
@comment MD5:6ef3e9e23b70ce3d55355ff77499e94a
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4-realize.drv
@comment MD5:84b88626d1c533105f4984f53b6073db
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4.drv
@comment MD5:045c55f03a4d304eaecb8084ebdd0101
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_14.drv
@comment MD5:587d1d3e9afac20fdc3b544273642139
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_15.drv
@comment MD5:6ab60d7b91e1648cbef35bae2b36b451
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_15_counterexample.drv
@comment MD5:5c40f3e132b3af40788e8bd28e5cdeb0
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16.drv
@comment MD5:3f11845993350d567ca48fcff5731647
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16.gen
@comment MD5:eecce9083608f6788cb55f595c36fe9a
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16_counterexample.drv
@comment MD5:1b6e3011af10c6bf88b7aca5a6ac72fc
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_17.drv
@comment MD5:1ab41b8d892e8f3c56c3a1cb94618399
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_17_counterexample.drv
@comment MD5:d5522e1e3686d3dda8e3b7e2ea5eefe9
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_18_strings.drv
@comment MD5:0c96cc8864619411d8c5c2334b106108
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_18_strings_counterexample.drv
@comment MD5:fd1c0edb79aa30c76604d3b267aa6460
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_bv.gen
@comment MD5:e34c66267f77d8a29c0a7cfa1fb75df1
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5.drv
@comment MD5:9a46784c5e40e3a28afb361e2df37c38
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_counterexample.drv
@comment MD5:0abd03055277ee8dbc676c4c5d60985d
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_gnatprove.drv
@comment MD5:dfa20efae05ace77c29ebf6199183779
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_gnatprove_ce.drv
@comment MD5:2a994a5bd452f8f97b572c73f70f156d
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_strings.drv
@comment MD5:cdb6b021f588eb96eb0008d957144bcf
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_strings_counterexample.drv
@comment MD5:683cdeab2a3eee007f1d69b2402ce098
gcc14-gnat/libexec/spark/share/why3/drivers/discrimination.gen
@comment MD5:78cb049e69ab087068bbf7701577e2a1
gcc14-gnat/libexec/spark/share/why3/drivers/dreal.drv
@comment MD5:86490110fe80694511ae5d8259f49afb
gcc14-gnat/libexec/spark/share/why3/drivers/eprover.drv
@comment MD5:b5677bc5f1d9c1563ddaf6c0ffef98ce
gcc14-gnat/libexec/spark/share/why3/drivers/gappa.drv
@comment MD5:fcb60a47d67e997dfe04c6df4a9dcb56
gcc14-gnat/libexec/spark/share/why3/drivers/iprover.drv
@comment MD5:9f0512658b110f9f1337115335e98d86
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-common.gen
@comment MD5:2bfe9cee67272b460d1dc8570f56ef05
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-realizations.aux
@comment MD5:d4047a7756bd67fe3ded569c05691cf4
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-realize.drv
@comment MD5:6fcecb990afef76e294e1146afc6b219
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle.drv
@comment MD5:ad41080612bf79f832a76254969a4440
gcc14-gnat/libexec/spark/share/why3/drivers/mathematica.drv
@comment MD5:f03dfe57a249d095a8b10562aca922fc
gcc14-gnat/libexec/spark/share/why3/drivers/mathsat.drv
@comment MD5:86b03a9de292fb085b3996d574cc0961
gcc14-gnat/libexec/spark/share/why3/drivers/metis.drv
@comment MD5:10dbc71d0c429bc4b741556907e64b9f
gcc14-gnat/libexec/spark/share/why3/drivers/metitarski.drv
@comment MD5:a434e55b3b1b054826c416a98e0501d6
gcc14-gnat/libexec/spark/share/why3/drivers/no-bv.gen
@comment MD5:3df0e71af31e4269da6344a9bbb094c5
gcc14-gnat/libexec/spark/share/why3/drivers/polypaver.drv
@comment MD5:4b2f3a55af8acef2768a23a548c94a32
gcc14-gnat/libexec/spark/share/why3/drivers/princess.drv
@comment MD5:9a3eecf02470d005a928344dfd3c5909
gcc14-gnat/libexec/spark/share/why3/drivers/psyche.drv
@comment MD5:4f586daf920e4e14fd77fa7063e1fa10
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-common.gen
@comment MD5:2a655c9ce7c41fce682d14521ad3d70b
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-realizations.aux
@comment MD5:87f4b28f3810ed4f56383c32353b38eb
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-realize.drv
@comment MD5:98ffc341e703afcc5551ab75cc291ab6
gcc14-gnat/libexec/spark/share/why3/drivers/pvs.drv
@comment MD5:b39e84fcef1a9022de2ed03ccf630ef6
gcc14-gnat/libexec/spark/share/why3/drivers/safeprover.drv
@comment MD5:e0327bfc19c02b98fca099445286c034
gcc14-gnat/libexec/spark/share/why3/drivers/simplify.drv
@comment MD5:c38b5e7d39637fb274e2712cc1bfc73e
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-bv-realization.gen
@comment MD5:767a5e738e1ff16d16a368e59465b280
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-bv.gen
@comment MD5:611fb20b31cb1385ae6b59a9fc503d59
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-gnatprove.gen
@comment MD5:7c726a3169bb9cdf2dd5d56bb801faf1
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-int_via_bv.gen
@comment MD5:c55a1918a34fd2915efae5fe08f68d13
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-int_via_real.gen
@comment MD5:fdd09e80291ded5b0f1fed5c59741e61
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats.gen
@comment MD5:a1bc6c25f7e4b2736f65676ba6098d90
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-gnatprove.gen
@comment MD5:14cde4582a7ac26f56f01fe3d49f74a8
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2.gen
@comment MD5:2ffc86b5daf3882cb3e450bab47ed15a
gcc14-gnat/libexec/spark/share/why3/drivers/smtlib-strings.gen
@comment MD5:96ddd089351634423af8b5fe51f65d97
gcc14-gnat/libexec/spark/share/why3/drivers/spass.drv
@comment MD5:fe5e475b213dcaeefb019cb513af430c
gcc14-gnat/libexec/spark/share/why3/drivers/spass_types.drv
@comment MD5:0225b480464436bdf9d3aebcf8044145
gcc14-gnat/libexec/spark/share/why3/drivers/tptp-tff0.drv
@comment MD5:6d21f126caaa914a67aa6a1c44f70207
gcc14-gnat/libexec/spark/share/why3/drivers/tptp-tff1.drv
@comment MD5:2228521531cf3314e6e9eed985fefb76
gcc14-gnat/libexec/spark/share/why3/drivers/tptp.gen
@comment MD5:a91ea5ae433638f17c132631cc6fceaa
gcc14-gnat/libexec/spark/share/why3/drivers/vampire.drv
@comment MD5:ee7f047f3bf00ff4fa49e73cd401dbc9
gcc14-gnat/libexec/spark/share/why3/drivers/vampire_4_2_2.drv
@comment MD5:15f483ebe09fc059a855c3118ae3c115
gcc14-gnat/libexec/spark/share/why3/drivers/vampire_4_5_1.drv
@comment MD5:1ce87c4ec548ac36988f5c6126c03f4c
gcc14-gnat/libexec/spark/share/why3/drivers/verit.drv
@comment MD5:d45814fd353e960ab3a47fa8bc26ae21
gcc14-gnat/libexec/spark/share/why3/drivers/why3.drv
@comment MD5:6b4cfee8e4a7aea56e977aa0643cdaa6
gcc14-gnat/libexec/spark/share/why3/drivers/why3_smt.drv
@comment MD5:238c3964b51a3705b4064a13c98a588f
gcc14-gnat/libexec/spark/share/why3/drivers/why3_tptp.drv
@comment MD5:5ed4e632b5c88792561cc3ae0531fc81
gcc14-gnat/libexec/spark/share/why3/drivers/yices-smt2.drv
@comment MD5:a512257473234c853f32c0210a17be46
gcc14-gnat/libexec/spark/share/why3/drivers/yices.drv
@comment MD5:dd28e42cd04fd29f6ba1e35a92cbe233
gcc14-gnat/libexec/spark/share/why3/drivers/z3.drv
@comment MD5:adb92f01af6a9fa72ad7d63598cac325
gcc14-gnat/libexec/spark/share/why3/drivers/z3_432.drv
@comment MD5:d7a991dcd3a6a7517b9eac1b271cf242
gcc14-gnat/libexec/spark/share/why3/drivers/z3_440.drv
@comment MD5:ff89ead7e7214c100a44bb8cbdeeecc4
gcc14-gnat/libexec/spark/share/why3/drivers/z3_440_counterexample.drv
@comment MD5:6ec797a1939d33c74dc3f51d7bada3d7
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471.drv
@comment MD5:652f0483a0953fba4e0ee2b854da26e4
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471_counterexample.drv
@comment MD5:8c693782ddef07a685436cb554553783
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471_nobv.drv
@comment MD5:8d14e44c4c9a2ce57acb402192fac01b
gcc14-gnat/libexec/spark/share/why3/drivers/z3_487.drv
@comment MD5:0eba152073b86a6e67432bcd8d3b0c75
gcc14-gnat/libexec/spark/share/why3/drivers/z3_487_counterexample.drv
@comment MD5:ab5bc57deef8223b2e34c35da91590e4
gcc14-gnat/libexec/spark/share/why3/drivers/z3_bv.gen
@comment MD5:f2a846b4cc26a1a454ec61e31c0882ad
gcc14-gnat/libexec/spark/share/why3/drivers/z3_gnatprove.drv
@comment MD5:3150593d3ecc132737f6780a49faa8f3
gcc14-gnat/libexec/spark/share/why3/drivers/z3_gnatprove_ce.drv
@comment MD5:40e976367e0863ead26968a5c49e9b00
gcc14-gnat/libexec/spark/share/why3/drivers/z3_no_quant.drv
@comment MD5:7452c8c82a6c84a99457b4d923f82681
gcc14-gnat/libexec/spark/share/why3/drivers/z3_smtv1.drv
@comment MD5:f96cb60ddc439b59cb953baae0b3037f
gcc14-gnat/libexec/spark/share/why3/drivers/zenon.drv
@comment MD5:25aa25d719ea2bf9cb64c07366e65bfb
gcc14-gnat/libexec/spark/share/why3/drivers/zenon_modulo.drv
@comment MD5:ef826d6a0eb6a2069da7df5266c36543
gcc14-gnat/libexec/spark/share/why3/images/fatcow.rc
@comment MD5:bdc85143544612643660cfe0fa6369c1
gcc14-gnat/libexec/spark/share/why3/images/fatcow/accept.png
@comment MD5:63081da263743a49286950e07f957af0
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bin.png
@comment MD5:63e2b5ac3479d653362e02bee032a322
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bomb.png
@comment MD5:cfab2ed343d5055511b9f2f6bed8983b
gcc14-gnat/libexec/spark/share/why3/images/fatcow/brick_delete.png
@comment MD5:93f52d17244efb2a75c301a1148e8d34
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_black.png
@comment MD5:626887a675cee1bb0b15a49d33ad7dc2
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_blue.png
@comment MD5:d2d5c4f4bc804a9fd6ff3a4c7e48c091
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_green.png
@comment MD5:a434b04f97edfb43afea89f71ef68568
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_red.png
@comment MD5:3181eac3d611817b5b697ea36e1b177d
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_white.png
@comment MD5:f943cde0faeda627b01994d4c978ce1a
gcc14-gnat/libexec/spark/share/why3/images/fatcow/cancel.png
@comment MD5:bf9ae6a579f851cb857e0e74065caefa
gcc14-gnat/libexec/spark/share/why3/images/fatcow/control_pause_blue.png
@comment MD5:e5a77fbdab6353fb599562bfdbc007f5
gcc14-gnat/libexec/spark/share/why3/images/fatcow/control_play_blue.png
@comment MD5:8ff36bcb5c375bdbefb08bf395d56503
gcc14-gnat/libexec/spark/share/why3/images/fatcow/database_delete.png
@comment MD5:e48370d7fa4433db7cfd2e9b1eb818d4
gcc14-gnat/libexec/spark/share/why3/images/fatcow/ddr_memory.png
@comment MD5:c81757794cdb74d6e6ddc9c30f0d3ba4
gcc14-gnat/libexec/spark/share/why3/images/fatcow/delete.png
@comment MD5:b7b670f2d90fc7f54fd4bad7998e2e02
gcc14-gnat/libexec/spark/share/why3/images/fatcow/exclamation.png
@comment MD5:20d1289ca8764d404427979c38a16a0d
gcc14-gnat/libexec/spark/share/why3/images/fatcow/folder.png
@comment MD5:ecd66dadaec6bac66038d1e6790f86d3
gcc14-gnat/libexec/spark/share/why3/images/fatcow/help.png
@comment MD5:222fa8a452d67f113a034e66cdff0d91
gcc14-gnat/libexec/spark/share/why3/images/fatcow/magic_wand_2.png
@comment MD5:11f2f4c13f08288cdee9019ddf53d3d3
gcc14-gnat/libexec/spark/share/why3/images/fatcow/multitool.png
@comment MD5:307e6094a57660335ff992dc56dd4a00
gcc14-gnat/libexec/spark/share/why3/images/fatcow/package.png
@comment MD5:0616085b21dcda7bac86490cb60694e6
gcc14-gnat/libexec/spark/share/why3/images/fatcow/pencil.png
@comment MD5:32332a42baecace014d9814b0d4cd135
gcc14-gnat/libexec/spark/share/why3/images/fatcow/readme-fatcow.txt
@comment MD5:34f6fa5f4224ab2fc36d894b05cdb8a8
gcc14-gnat/libexec/spark/share/why3/images/fatcow/script.png
@comment MD5:2d621ff13d0f7887d449a6e9f7ca4900
gcc14-gnat/libexec/spark/share/why3/images/fatcow/time_delete.png
@comment MD5:c4bb288627ba5591e1f3010943f4387d
gcc14-gnat/libexec/spark/share/why3/images/fatcow/timeline.png
@comment MD5:affe10c9877a140edfb0e6c7c1280161
gcc14-gnat/libexec/spark/share/why3/images/fatcow/update.png
@comment MD5:a76d5f0bb66a20305b5c06b3258ad799
gcc14-gnat/libexec/spark/share/why3/images/logo-why.png
@comment MD5:da50d4610ac6a31e73ecf218e5ee7740
gcc14-gnat/libexec/spark/share/why3/lang/why3.lang
@comment MD5:5ca3a332b89ac3ce0d8cfca96ccfe9de
gcc14-gnat/libexec/spark/share/why3/lang/why3c.lang
@comment MD5:6f9d1f2258e0a7c95677b99eb2206294
gcc14-gnat/libexec/spark/share/why3/lang/why3py.lang
@comment MD5:b70ddd8f42adb6818bd5e760c6ede456
gcc14-gnat/libexec/spark/share/why3/libs/coq/BuiltIn.v
@comment MD5:e1552a533bb1e606bb7adc6f1f03e831
gcc14-gnat/libexec/spark/share/why3/libs/coq/HighOrd.v
@comment MD5:75626aa45b50c5762db568506a231f98
gcc14-gnat/libexec/spark/share/why3/libs/coq/SPARK.v
@comment MD5:e8980a3e5f1620798140910fd30c48c9
gcc14-gnat/libexec/spark/share/why3/libs/coq/WellFounded.v
@comment MD5:e81a8c5016d95713d28b431e456a11c7
gcc14-gnat/libexec/spark/share/why3/libs/coq/_CoqProject
@comment MD5:2143e86c3e7c4fc934b529a977c68ed8
gcc14-gnat/libexec/spark/share/why3/libs/coq/bool/Bool.v
@comment MD5:c9796b2250f821af04ec01791f32ae49
gcc14-gnat/libexec/spark/share/why3/libs/coq/bv/BV_Gen.v
@comment MD5:3e898a511a45471fa089eec1ea7d25a7
gcc14-gnat/libexec/spark/share/why3/libs/coq/bv/Pow2int.v
@comment MD5:6e3f57a1314edaa72c095ddbd2679c02
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Double.v
@comment MD5:fedffd9d536242d621d6f75315739d1e
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/DoubleFormat.v
@comment MD5:5508986202ed4d7ea692d5475305538b
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/GenFloat.v
@comment MD5:260442f09503c24757d4060eb5c972fc
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Rounding.v
@comment MD5:be2a4f7be6323bed597ecda5b5bdac9b
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Single.v
@comment MD5:ca1089c3cc3ee44cf2522f47b62821e5
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/SingleFormat.v
@comment MD5:9ecad369996857f241f4866214302ac9
gcc14-gnat/libexec/spark/share/why3/libs/coq/for_drivers/ComputerOfEuclideanDivision.v
@comment MD5:19fc65eed0eb6415857334a08f671e3f
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/Float32.v
@comment MD5:1b9714a5faf067cdfab1e785f7612e5b
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/Float64.v
@comment MD5:b44be181e348cc5e685d7c6614ba3193
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/GenericFloat.v
@comment MD5:de447a5b2a5858441aa72956b704aaca
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/RoundingMode.v
@comment MD5:a2713c85563cff1e34a7af302bd1c8b0
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Abs.v
@comment MD5:8a925c2d8d4d4937bd057b54d13c4398
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/ComputerDivision.v
@comment MD5:9ccce34eaf0075abe56df7bf9245dda8
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Div2.v
@comment MD5:5280e2104cfc7c6b60fc5b2f42feeb3f
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/EuclideanDivision.v
@comment MD5:df6b1dd9b14d88b0afa397b1a36c5c34
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Exponentiation.v
@comment MD5:736401f6fce778557da0cc61b9fbae88
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Int.v
@comment MD5:f91d127e18d13fa86034818f4a73e149
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/MinMax.v
@comment MD5:b57499fef029d7e0624e74385734e8f5
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/NumOf.v
@comment MD5:a4e37f0bcec0ff5200ec62a7c4ccfb2e
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Power.v
@comment MD5:b603d38bc5aea052bdb06ed4c713306b
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Append.v
@comment MD5:62af88023dc57121b2d7e2e885ed4a54
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Combine.v
@comment MD5:20e5bc0a9b7f3f1bd8bedca5d349a68c
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Distinct.v
@comment MD5:ee39627a5b961e75846c144992c5f97d
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/HdTl.v
@comment MD5:fd2ea814963d558c42f0f6382e488902
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/HdTlNoOpt.v
@comment MD5:ad1f1e0c550cac8e63b8656b4905f708
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Length.v
@comment MD5:0ae842f54a79e6d8865ae8da986ac0bb
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/List.v
@comment MD5:0a3772ac328864ce95b0a80cb4bc1751
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Mem.v
@comment MD5:b1f8ac785a10a9f0f3a251abdd4ade1e
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Nth.v
@comment MD5:ad3cfa87334b18319d0f38e8e7fb3615
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthHdTl.v
@comment MD5:24e8eb6625263183dc90f176906150b4
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthLength.v
@comment MD5:403040466c4b3e9d91160d65040567ed
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthLengthAppend.v
@comment MD5:3a44bdb6bd2b8f7f694982e62436964e
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthNoOpt.v
@comment MD5:d8e200a473144566bd5f70adb6a3fc98
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NumOcc.v
@comment MD5:7fcfb8cce84b1c78d46f1af9d77f7334
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Permut.v
@comment MD5:32f419cad9d93fae96799e65494a4b2c
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/RevAppend.v
@comment MD5:6450fae2390b2c2f4e9c1a62674bfd8f
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Reverse.v
@comment MD5:2b6c8ead94f4f3b81fa037edcd412ed2
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Const.v
@comment MD5:36eb57569b3f25ac22fb62835b22b655
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Map.v
@comment MD5:d474956475e5e9647f6ba9b9c347e732
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/MapInjection.v
@comment MD5:d812f7340b3283f653abb62f38270235
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/MapPermut.v
@comment MD5:30140d8e69ee404512cd7b9a8efb69dc
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Occ.v
@comment MD5:a6d4fc76f29f17cb1553f6fe3c8262c7
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Coprime.v
@comment MD5:20d542d5e9b5dfe7d6f0e17a096d4fcb
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Divisibility.v
@comment MD5:fa83bf17c6db74dae7ddafd19ffc58c3
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Gcd.v
@comment MD5:a821811cea0976bf01e8a903686e9b89
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Parity.v
@comment MD5:c28f344226e2d3670114ce2842d26d35
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Prime.v
@comment MD5:988dc0e456cee83b31c4cb3153faa86c
gcc14-gnat/libexec/spark/share/why3/libs/coq/option/Option.v
@comment MD5:bafbec12a70030a2df19532fb1b07923
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Abs.v
@comment MD5:a341101bd49e3e978372e8e7ab31ffda
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/ExpLog.v
@comment MD5:41fca41b3154e8e90276035f128234f2
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/FromInt.v
@comment MD5:972ac03a1f5635727c9d0a9f1d93fd5c
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/MinMax.v
@comment MD5:9d3f8f6a6f2819c17ba95a0d27386281
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/PowerInt.v
@comment MD5:1a067193819af7c873a85693555158f0
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/PowerReal.v
@comment MD5:8dd4f5bb878ecd42482340e65160d30e
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Real.v
@comment MD5:bafa05edd72d7d935758ce286d40758d
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/RealInfix.v
@comment MD5:f850f2f2199d7fa3af723f5271ba4c2e
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Square.v
@comment MD5:f99d049b7942ccbbf398b08f91b7c0ed
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Trigonometry.v
@comment MD5:af2397cb8a246a70f5e25621d63dd5d8
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Truncate.v
@comment MD5:a9146a9603f99b3112434d28d61ace50
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Cardinal.v
@comment MD5:f7d9a5c6b74d93a67153a88910c8f610
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Fset.v
@comment MD5:b5e44e0a9c7c919d2c408064560e100e
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetInduction.v
@comment MD5:814ef8c8da9ae26040ce3b7da369fad5
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetInt.v
@comment MD5:f87e97308bff77d52a7d4694ac8d8acd
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetSum.v
@comment MD5:053e8a84a5755b53842ea6f35b3fe2c0
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Set.v
@comment MD5:5b5de6899c08e1f51a153fb7d6c832cb
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetApp.v
@comment MD5:0f031b9079587ece376bafbaf8d9fcb9
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetAppInt.v
@comment MD5:7d578faafd5dcddc4a19b5dd9c689a0d
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetImp.v
@comment MD5:c97f066897f750ddd976b82199f74d3d
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetImpInt.v
@comment MD5:1fbe41933d5b2a1d5cbf0a53b6159c66
gcc14-gnat/libexec/spark/share/why3/libs/coq/spark/SPARK_Integer_Arithmetic.v
@comment MD5:0c90499edb6861627e4415f858a46c98
gcc14-gnat/libexec/spark/share/why3/libs/coq/spark/SPARK_Raising_Order.v
@comment MD5:8a3284521dc01498c9a2c1865f29dc6c
gcc14-gnat/libexec/spark/share/why3/libs/coq/version
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
gcc14-gnat/libexec/spark/share/why3/libs/coq/version.in
@comment MD5:5f85bdf31a4f2486d82d49325103bb39
gcc14-gnat/libexec/spark/share/why3/provers-detection-data.conf
@comment MD5:1e06ea0566aedc5a115cfff3456fcfa1
gcc14-gnat/libexec/spark/share/why3/theories/algebra.mlw
@comment MD5:fec4d09cebb835a2abee257f4fe2e6c8
gcc14-gnat/libexec/spark/share/why3/theories/array.mlw
@comment MD5:c3d0dc0a66662f927c38577b3b50d06e
gcc14-gnat/libexec/spark/share/why3/theories/bag.mlw
@comment MD5:7d76f5b290fc9ad4094440363dbfcc61
gcc14-gnat/libexec/spark/share/why3/theories/bintree.mlw
@comment MD5:15cbcd66b33e94427ea67db1bbc915b3
gcc14-gnat/libexec/spark/share/why3/theories/bool.mlw
@comment MD5:94e370f56861d5ffa3d0a0bf098418bd
gcc14-gnat/libexec/spark/share/why3/theories/bv.mlw
@comment MD5:b72c3fc54b5fff7e78a711be6568d513
gcc14-gnat/libexec/spark/share/why3/theories/byte_string.mlw
@comment MD5:64b4043fb656ea94865c718973aa44ae
gcc14-gnat/libexec/spark/share/why3/theories/cursor.mlw
@comment MD5:86198d4071e7713a8ac43210d84992a8
gcc14-gnat/libexec/spark/share/why3/theories/debug.mlw
@comment MD5:a524dcfb9771c734260dec0d994c28e5
gcc14-gnat/libexec/spark/share/why3/theories/exn.mlw
@comment MD5:92aa9c45039855a1db329551a3c91c08
gcc14-gnat/libexec/spark/share/why3/theories/floating_point.mlw
@comment MD5:a6f63df50c16a2d60b8667ab3fceb407
gcc14-gnat/libexec/spark/share/why3/theories/fmap.mlw
@comment MD5:ae85b584020bf1c45e0bdeecc83a60dd
gcc14-gnat/libexec/spark/share/why3/theories/for_drivers.mlw
@comment MD5:4ffbcfbb8891299690bdd7f9baef9719
gcc14-gnat/libexec/spark/share/why3/theories/function.mlw
@comment MD5:908a86aec31093809f2c39a93b632356
gcc14-gnat/libexec/spark/share/why3/theories/graph.mlw
@comment MD5:077e86f703f83c0e5f5aeb9098fca663
gcc14-gnat/libexec/spark/share/why3/theories/hashtbl.mlw
@comment MD5:31a484ed1a31ff869777f394616c091c
gcc14-gnat/libexec/spark/share/why3/theories/ieee_float.mlw
@comment MD5:1244ed1fdcf392933bce48470d1309e3
gcc14-gnat/libexec/spark/share/why3/theories/int.mlw
@comment MD5:8fe38cf9c90db760cc6d9b3648efc993
gcc14-gnat/libexec/spark/share/why3/theories/io.mlw
@comment MD5:3f944b0d706fc17a8c242f60d83e3600
gcc14-gnat/libexec/spark/share/why3/theories/list.mlw
@comment MD5:b9051a4f8467e769fdf954e365887bf1
gcc14-gnat/libexec/spark/share/why3/theories/mach/array.mlw
@comment MD5:5d645471ef3f5a1d53149f9f1c349546
gcc14-gnat/libexec/spark/share/why3/theories/mach/bv.mlw
@comment MD5:7e6bfd04f23489daf4bbb7d86d0097c5
gcc14-gnat/libexec/spark/share/why3/theories/mach/c.mlw
@comment MD5:02958f3c3a22032708e9fac8c4da030e
gcc14-gnat/libexec/spark/share/why3/theories/mach/float.mlw
@comment MD5:8ec6457701fa085ac9bb085df28100c8
gcc14-gnat/libexec/spark/share/why3/theories/mach/fxp.mlw
@comment MD5:d8826694beff15ac6f95a862259e2b95
gcc14-gnat/libexec/spark/share/why3/theories/mach/int.mlw
@comment MD5:e0e30c7c1560ff3c890c210ed89d4b45
gcc14-gnat/libexec/spark/share/why3/theories/mach/matrix.mlw
@comment MD5:8f2f1a1e6f2bad4c1f48fc17c77aa336
gcc14-gnat/libexec/spark/share/why3/theories/mach/onetime.mlw
@comment MD5:c7381695412179adcfb71c646884ab92
gcc14-gnat/libexec/spark/share/why3/theories/mach/peano.mlw
@comment MD5:a15ef76c05bef475562c510cc59ed07c
gcc14-gnat/libexec/spark/share/why3/theories/mach/tagset.mlw
@comment MD5:713b11fd00f5b5667cb28d4920c45d8b
gcc14-gnat/libexec/spark/share/why3/theories/map.mlw
@comment MD5:8bce08b47ef7c3efab030d2ee0d9e070
gcc14-gnat/libexec/spark/share/why3/theories/matrix.mlw
@comment MD5:a35d601ee59ab9d93b26fed8d8753e8b
gcc14-gnat/libexec/spark/share/why3/theories/microc.mlw
@comment MD5:875a1696d2bfa202084850a4bf6df861
gcc14-gnat/libexec/spark/share/why3/theories/null.mlw
@comment MD5:db452458e4f04be0e8b0f328849e1780
gcc14-gnat/libexec/spark/share/why3/theories/number.mlw
@comment MD5:c103426c03c1da16bf13fb4bff34bdc4
gcc14-gnat/libexec/spark/share/why3/theories/ocaml.mlw
@comment MD5:ac9a6cf00feefecc7af9f7707d21413f
gcc14-gnat/libexec/spark/share/why3/theories/option.mlw
@comment MD5:84d081012c53b7d9537eb39cbf4bc7c5
gcc14-gnat/libexec/spark/share/why3/theories/pigeon.mlw
@comment MD5:b93d4eba784d39bef04efdfe06e95ea9
gcc14-gnat/libexec/spark/share/why3/theories/pqueue.mlw
@comment MD5:8f6a14ea18354ce94c463eba18cf24d2
gcc14-gnat/libexec/spark/share/why3/theories/python.mlw
@comment MD5:f0b25b535893a1a48ea536294069ef5d
gcc14-gnat/libexec/spark/share/why3/theories/queue.mlw
@comment MD5:2b9b11a2da4a072f2cade5265b20bc61
gcc14-gnat/libexec/spark/share/why3/theories/random.mlw
@comment MD5:3ae3ebaf3229930b431fa3784330bab8
gcc14-gnat/libexec/spark/share/why3/theories/real.mlw
@comment MD5:de2694838cb298bc1c2ddbc15956ece5
gcc14-gnat/libexec/spark/share/why3/theories/ref.mlw
@comment MD5:aa66b1e5a1c0e0a4d9cb51aea6e4b1df
gcc14-gnat/libexec/spark/share/why3/theories/regexp.mlw
@comment MD5:5633b4c8570d010ac79f6dceaea599a0
gcc14-gnat/libexec/spark/share/why3/theories/relations.mlw
@comment MD5:7f11924fc78897c5783fc0138dc1674d
gcc14-gnat/libexec/spark/share/why3/theories/seq.mlw
@comment MD5:5c41c071f76228b179c1de90c9eab56f
gcc14-gnat/libexec/spark/share/why3/theories/set.mlw
@comment MD5:24e9c66be9b3c7859e15e7798a5f0afe
gcc14-gnat/libexec/spark/share/why3/theories/stack.mlw
@comment MD5:d7bcee4d174722951912b1a8fdeb2e21
gcc14-gnat/libexec/spark/share/why3/theories/string.mlw
@comment MD5:daeddf593bc28c5c9fc764ac62e62da8
gcc14-gnat/libexec/spark/share/why3/theories/tptp.mlw
@comment MD5:307b6dd4a5a8b4618a9f301fe1737967
gcc14-gnat/libexec/spark/share/why3/theories/tree.mlw
@comment MD5:8036f11d53817b46154e10c093bcfbac
gcc14-gnat/libexec/spark/share/why3/theories/witness.mlw
@comment MD5:823b525cbde714db06c0e5dfcebef965
gcc14-gnat/libexec/spark/share/why3/why3session.dtd
@comment MD5:5c998e840ed453cb0441ae4f7c4f4ba6
gcc14-gnat/share/spark/config/frames/config.xml
@comment MD5:c6f6e96fd99150898e76919ce249a305
gcc14-gnat/share/spark/config/gnat2why/config.xml
@comment MD5:cf6375b0a5df71c6f7d649b77257c520
gcc14-gnat/share/spark/config/gnatprove.conf
@comment MD5:43a9479bc6f657cf72d92e951bd350bd
gcc14-gnat/share/spark/explain_codes/E0001.md
@comment MD5:18e65bf3f28b5203403f518bc828e5b7
gcc14-gnat/share/spark/explain_codes/E0002.md
@comment MD5:ecdcfa4f7ee78278304c32e8ae6fb99e
gcc14-gnat/share/spark/explain_codes/E0003.md
@comment MD5:bdac8335c5ca49ee304d5af497fc1f47
gcc14-gnat/share/spark/explain_codes/E0004.md
@comment MD5:0a95c5d7bac685ab4f56b4bd07c25a2e
gcc14-gnat/share/spark/explain_codes/E0005.md
@comment MD5:7f269bbc76c2f79cf3a25d3accb0360e
gcc14-gnat/share/spark/explain_codes/E0006.md
@comment MD5:586eef9c683d069803a3930d2cbd2189
gcc14-gnat/share/spark/explain_codes/E0007.md
@comment MD5:541c44dc496307f7bd62bf96b80cb198
gcc14-gnat/share/spark/explain_codes/E0008.md
@comment MD5:0da872032e7fa69bc17a3ddd7879f3e7
gcc14-gnat/share/spark/explain_codes/E0009.md
@comment MD5:bb4f80964ccddb27868efd16ec0ceaad
gcc14-gnat/share/spark/explain_codes/E0010.md
@comment MD5:c72d6cf31a8c07e7f44b84a9a8c67176
gcc14-gnat/share/spark/explain_codes/E0011.md
@comment MD5:b988d7d23ebb8770b6472c0617cbca85
gcc14-gnat/share/spark/explain_codes/E0012.md
@comment MD5:fb1a842e40e67d5b4b3767919cf786db
gcc14-gnat/share/spark/explain_codes/E0013.md
@comment MD5:a6da64ebe556a64006557d70f1980dd3
gcc14-gnat/share/spark/explain_codes/E0014.md
@comment MD5:23d21f7adb7bfcadebaaaa40a28280c4
gcc14-gnat/share/spark/explain_codes/E0015.md
@comment MD5:271d0723e6468929b0d716db57358bad
gcc14-gnat/share/spark/explain_codes/E0016.md
@comment MD5:991d662e62c2b97b328578b50a3125d6
gcc14-gnat/share/spark/explain_codes/E0017.md
@comment MD5:0e553fd62bf15ff98b364dc42e470ebe
gcc14-gnat/share/spark/explain_codes/E0018.md
@comment MD5:8a21b0f8ddaefc562cc029b5fc2adf95
gcc14-gnat/share/spark/explain_codes/README.md
@comment MD5:2aa9f331b59aad4f4d6fb0a81e9bd46e
gcc14-gnat/share/spark/help.txt
@comment MD5:01c4e491da75f103a3f36ccd65ea73c8
gcc14-gnat/share/spark/runtimes/README
@comment MD5:0cbe64419aa5e24236ef39271b544619
gcc14-gnat/share/spark/theories/_gnatprove_standard.mlw
@comment MD5:98898f979faa6a9db03b3093e778a73f
gcc14-gnat/share/spark/theories/_gnatprove_standard_th.why
@comment MD5:925b722a03aad3a3a751e0387766e231
gcc14-gnat/share/spark/theories/ada__model.mlw
@comment MD5:f2ccc657f9509e375f114d52a6053569
gcc14-gnat/share/spark/theories/ada__model_th.why
@comment MD5:fdbd9fde499cd5a760284d46796cfa06
@pkgdir gcc14-gnat/lib/gnat
@pkgdir gcc14-gnat/include/spark
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
