head	1.1;
access;
symbols
	pkgsrc-2026Q2:1.1.0.8
	pkgsrc-2026Q2-base:1.1
	pkgsrc-2026Q1:1.1.0.6
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.4
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.2
	pkgsrc-2025Q3-base:1.1;
locks; strict;
comment	@# @;


1.1
date	2025.07.28.07.00.55;	author dkazankov;	state Exp;
branches;
next	;
commitid	prC30pPNC6RvUt4G;


desc
@@


1.1
log
@lang/spark2014-14: add new package 14.2.0

SPARK 2014 toolset, FSF release 14
@
text
@@@comment $NetBSD$
gcc14-gnat/bin/gnat2why
gcc14-gnat/bin/gnatprove
gcc14-gnat/bin/spark_memcached_wrapper
gcc14-gnat/bin/spark_report
gcc14-gnat/bin/spark_semaphore_wrapper
gcc14-gnat/bin/target.atp
gcc14-gnat/libexec/spark/bin/fake_alt-ergo
gcc14-gnat/libexec/spark/bin/fake_cvc4
gcc14-gnat/libexec/spark/bin/fake_cvc5
gcc14-gnat/libexec/spark/bin/fake_z3
gcc14-gnat/libexec/spark/bin/gnatwhy3
gcc14-gnat/libexec/spark/bin/gnatwhy3.hash
gcc14-gnat/libexec/spark/bin/why3
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/bin/why3config.cmxs
gcc14-gnat/libexec/spark/bin/why3cpulimit
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/bin/why3realize.cmxs
gcc14-gnat/libexec/spark/bin/why3server
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/bin/why3session.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3config.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3doc.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3execute.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3extract.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3pp.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3prove.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3realize.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3replay.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3session.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3shell.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3show.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3wc.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/commands/why3webserver.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/ada_terms.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/cfg.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/dimacs.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/genequlin.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/gnat_json.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/microc.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/python.cmxs
${PLIST.ocaml-opt}gcc14-gnat/libexec/spark/lib/why3/plugins/tptp.cmxs
gcc14-gnat/libexec/spark/lib/why3/why3-call-pvs
gcc14-gnat/libexec/spark/lib/why3/why3cpulimit
gcc14-gnat/libexec/spark/lib/why3/why3server
gcc14-gnat/libexec/spark/share/why3/drivers/alt-ergo_gnatprove.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_2_2_0.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_2_3.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_common.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_fp.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_model.drv
gcc14-gnat/libexec/spark/share/why3/drivers/alt_ergo_smt2.drv
gcc14-gnat/libexec/spark/share/why3/drivers/beagle.drv
gcc14-gnat/libexec/spark/share/why3/drivers/colibri.drv
gcc14-gnat/libexec/spark/share/why3/drivers/colibri2.drv
gcc14-gnat/libexec/spark/share/why3/drivers/coq-common.gen
gcc14-gnat/libexec/spark/share/why3/drivers/coq-realizations.aux
gcc14-gnat/libexec/spark/share/why3/drivers/coq-realize.drv
gcc14-gnat/libexec/spark/share/why3/drivers/coq-ssreflect.drv
gcc14-gnat/libexec/spark/share/why3/drivers/coq.drv
gcc14-gnat/libexec/spark/share/why3/drivers/coq_gnatprove.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc3.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4-realize.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_14.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_15.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_15_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16.gen
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_16_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_17.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_17_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_18_strings.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_18_strings_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc4_bv.gen
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_gnatprove.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_gnatprove_ce.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_strings.drv
gcc14-gnat/libexec/spark/share/why3/drivers/cvc5_strings_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/discrimination.gen
gcc14-gnat/libexec/spark/share/why3/drivers/dreal.drv
gcc14-gnat/libexec/spark/share/why3/drivers/eprover.drv
gcc14-gnat/libexec/spark/share/why3/drivers/gappa.drv
gcc14-gnat/libexec/spark/share/why3/drivers/iprover.drv
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-common.gen
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-realizations.aux
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle-realize.drv
gcc14-gnat/libexec/spark/share/why3/drivers/isabelle.drv
gcc14-gnat/libexec/spark/share/why3/drivers/mathematica.drv
gcc14-gnat/libexec/spark/share/why3/drivers/mathsat.drv
gcc14-gnat/libexec/spark/share/why3/drivers/metis.drv
gcc14-gnat/libexec/spark/share/why3/drivers/metitarski.drv
gcc14-gnat/libexec/spark/share/why3/drivers/no-bv.gen
gcc14-gnat/libexec/spark/share/why3/drivers/polypaver.drv
gcc14-gnat/libexec/spark/share/why3/drivers/princess.drv
gcc14-gnat/libexec/spark/share/why3/drivers/psyche.drv
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-common.gen
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-realizations.aux
gcc14-gnat/libexec/spark/share/why3/drivers/pvs-realize.drv
gcc14-gnat/libexec/spark/share/why3/drivers/pvs.drv
gcc14-gnat/libexec/spark/share/why3/drivers/safeprover.drv
gcc14-gnat/libexec/spark/share/why3/drivers/simplify.drv
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-bv-realization.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-bv.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-gnatprove.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-int_via_bv.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats-int_via_real.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-floats.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2-gnatprove.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smt-libv2.gen
gcc14-gnat/libexec/spark/share/why3/drivers/smtlib-strings.gen
gcc14-gnat/libexec/spark/share/why3/drivers/spass.drv
gcc14-gnat/libexec/spark/share/why3/drivers/spass_types.drv
gcc14-gnat/libexec/spark/share/why3/drivers/tptp-tff0.drv
gcc14-gnat/libexec/spark/share/why3/drivers/tptp-tff1.drv
gcc14-gnat/libexec/spark/share/why3/drivers/tptp.gen
gcc14-gnat/libexec/spark/share/why3/drivers/vampire.drv
gcc14-gnat/libexec/spark/share/why3/drivers/vampire_4_2_2.drv
gcc14-gnat/libexec/spark/share/why3/drivers/vampire_4_5_1.drv
gcc14-gnat/libexec/spark/share/why3/drivers/verit.drv
gcc14-gnat/libexec/spark/share/why3/drivers/why3.drv
gcc14-gnat/libexec/spark/share/why3/drivers/why3_smt.drv
gcc14-gnat/libexec/spark/share/why3/drivers/why3_tptp.drv
gcc14-gnat/libexec/spark/share/why3/drivers/yices-smt2.drv
gcc14-gnat/libexec/spark/share/why3/drivers/yices.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_432.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_440.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_440_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_471_nobv.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_487.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_487_counterexample.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_bv.gen
gcc14-gnat/libexec/spark/share/why3/drivers/z3_gnatprove.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_gnatprove_ce.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_no_quant.drv
gcc14-gnat/libexec/spark/share/why3/drivers/z3_smtv1.drv
gcc14-gnat/libexec/spark/share/why3/drivers/zenon.drv
gcc14-gnat/libexec/spark/share/why3/drivers/zenon_modulo.drv
gcc14-gnat/libexec/spark/share/why3/images/fatcow.rc
gcc14-gnat/libexec/spark/share/why3/images/fatcow/accept.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bin.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bomb.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/brick_delete.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_black.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_blue.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_green.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_red.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/bullet_white.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/cancel.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/control_pause_blue.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/control_play_blue.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/database_delete.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/ddr_memory.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/delete.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/exclamation.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/folder.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/help.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/magic_wand_2.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/multitool.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/package.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/pencil.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/readme-fatcow.txt
gcc14-gnat/libexec/spark/share/why3/images/fatcow/script.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/time_delete.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/timeline.png
gcc14-gnat/libexec/spark/share/why3/images/fatcow/update.png
gcc14-gnat/libexec/spark/share/why3/images/logo-why.png
gcc14-gnat/libexec/spark/share/why3/lang/why3.lang
gcc14-gnat/libexec/spark/share/why3/lang/why3c.lang
gcc14-gnat/libexec/spark/share/why3/lang/why3py.lang
gcc14-gnat/libexec/spark/share/why3/libs/coq/BuiltIn.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/HighOrd.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/SPARK.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/WellFounded.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/_CoqProject
gcc14-gnat/libexec/spark/share/why3/libs/coq/bool/Bool.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/bv/BV_Gen.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/bv/Pow2int.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Double.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/DoubleFormat.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/GenFloat.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Rounding.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/Single.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/floating_point/SingleFormat.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/for_drivers/ComputerOfEuclideanDivision.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/Float32.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/Float64.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/GenericFloat.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/ieee_float/RoundingMode.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Abs.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/ComputerDivision.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Div2.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/EuclideanDivision.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Exponentiation.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Int.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/MinMax.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/NumOf.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/int/Power.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Append.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Combine.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Distinct.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/HdTl.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/HdTlNoOpt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Length.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/List.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Mem.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Nth.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthHdTl.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthLength.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthLengthAppend.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NthNoOpt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/NumOcc.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Permut.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/RevAppend.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/list/Reverse.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Const.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Map.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/MapInjection.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/MapPermut.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/map/Occ.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Coprime.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Divisibility.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Gcd.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Parity.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/number/Prime.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/option/Option.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Abs.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/ExpLog.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/FromInt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/MinMax.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/PowerInt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/PowerReal.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Real.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/RealInfix.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Square.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Trigonometry.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/real/Truncate.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Cardinal.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Fset.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetInduction.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetInt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/FsetSum.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/Set.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetApp.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetAppInt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetImp.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/set/SetImpInt.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/spark/SPARK_Integer_Arithmetic.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/spark/SPARK_Raising_Order.v
gcc14-gnat/libexec/spark/share/why3/libs/coq/version
gcc14-gnat/libexec/spark/share/why3/libs/coq/version.in
gcc14-gnat/libexec/spark/share/why3/provers-detection-data.conf
gcc14-gnat/libexec/spark/share/why3/theories/algebra.mlw
gcc14-gnat/libexec/spark/share/why3/theories/array.mlw
gcc14-gnat/libexec/spark/share/why3/theories/bag.mlw
gcc14-gnat/libexec/spark/share/why3/theories/bintree.mlw
gcc14-gnat/libexec/spark/share/why3/theories/bool.mlw
gcc14-gnat/libexec/spark/share/why3/theories/bv.mlw
gcc14-gnat/libexec/spark/share/why3/theories/byte_string.mlw
gcc14-gnat/libexec/spark/share/why3/theories/cursor.mlw
gcc14-gnat/libexec/spark/share/why3/theories/debug.mlw
gcc14-gnat/libexec/spark/share/why3/theories/exn.mlw
gcc14-gnat/libexec/spark/share/why3/theories/floating_point.mlw
gcc14-gnat/libexec/spark/share/why3/theories/fmap.mlw
gcc14-gnat/libexec/spark/share/why3/theories/for_drivers.mlw
gcc14-gnat/libexec/spark/share/why3/theories/function.mlw
gcc14-gnat/libexec/spark/share/why3/theories/graph.mlw
gcc14-gnat/libexec/spark/share/why3/theories/hashtbl.mlw
gcc14-gnat/libexec/spark/share/why3/theories/ieee_float.mlw
gcc14-gnat/libexec/spark/share/why3/theories/int.mlw
gcc14-gnat/libexec/spark/share/why3/theories/io.mlw
gcc14-gnat/libexec/spark/share/why3/theories/list.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/array.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/bv.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/c.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/float.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/fxp.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/int.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/matrix.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/onetime.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/peano.mlw
gcc14-gnat/libexec/spark/share/why3/theories/mach/tagset.mlw
gcc14-gnat/libexec/spark/share/why3/theories/map.mlw
gcc14-gnat/libexec/spark/share/why3/theories/matrix.mlw
gcc14-gnat/libexec/spark/share/why3/theories/microc.mlw
gcc14-gnat/libexec/spark/share/why3/theories/null.mlw
gcc14-gnat/libexec/spark/share/why3/theories/number.mlw
gcc14-gnat/libexec/spark/share/why3/theories/ocaml.mlw
gcc14-gnat/libexec/spark/share/why3/theories/option.mlw
gcc14-gnat/libexec/spark/share/why3/theories/pigeon.mlw
gcc14-gnat/libexec/spark/share/why3/theories/pqueue.mlw
gcc14-gnat/libexec/spark/share/why3/theories/python.mlw
gcc14-gnat/libexec/spark/share/why3/theories/queue.mlw
gcc14-gnat/libexec/spark/share/why3/theories/random.mlw
gcc14-gnat/libexec/spark/share/why3/theories/real.mlw
gcc14-gnat/libexec/spark/share/why3/theories/ref.mlw
gcc14-gnat/libexec/spark/share/why3/theories/regexp.mlw
gcc14-gnat/libexec/spark/share/why3/theories/relations.mlw
gcc14-gnat/libexec/spark/share/why3/theories/seq.mlw
gcc14-gnat/libexec/spark/share/why3/theories/set.mlw
gcc14-gnat/libexec/spark/share/why3/theories/stack.mlw
gcc14-gnat/libexec/spark/share/why3/theories/string.mlw
gcc14-gnat/libexec/spark/share/why3/theories/tptp.mlw
gcc14-gnat/libexec/spark/share/why3/theories/tree.mlw
gcc14-gnat/libexec/spark/share/why3/theories/witness.mlw
gcc14-gnat/libexec/spark/share/why3/why3session.dtd
gcc14-gnat/share/spark/config/frames/config.xml
gcc14-gnat/share/spark/config/gnat2why/config.xml
gcc14-gnat/share/spark/config/gnatprove.conf
gcc14-gnat/share/spark/explain_codes/E0001.md
gcc14-gnat/share/spark/explain_codes/E0002.md
gcc14-gnat/share/spark/explain_codes/E0003.md
gcc14-gnat/share/spark/explain_codes/E0004.md
gcc14-gnat/share/spark/explain_codes/E0005.md
gcc14-gnat/share/spark/explain_codes/E0006.md
gcc14-gnat/share/spark/explain_codes/E0007.md
gcc14-gnat/share/spark/explain_codes/E0008.md
gcc14-gnat/share/spark/explain_codes/E0009.md
gcc14-gnat/share/spark/explain_codes/E0010.md
gcc14-gnat/share/spark/explain_codes/E0011.md
gcc14-gnat/share/spark/explain_codes/E0012.md
gcc14-gnat/share/spark/explain_codes/E0013.md
gcc14-gnat/share/spark/explain_codes/E0014.md
gcc14-gnat/share/spark/explain_codes/E0015.md
gcc14-gnat/share/spark/explain_codes/E0016.md
gcc14-gnat/share/spark/explain_codes/E0017.md
gcc14-gnat/share/spark/explain_codes/E0018.md
gcc14-gnat/share/spark/explain_codes/README.md
gcc14-gnat/share/spark/help.txt
gcc14-gnat/share/spark/runtimes/README
gcc14-gnat/share/spark/theories/_gnatprove_standard.mlw
gcc14-gnat/share/spark/theories/_gnatprove_standard_th.why
gcc14-gnat/share/spark/theories/ada__model.mlw
gcc14-gnat/share/spark/theories/ada__model_th.why
@@pkgdir gcc14-gnat/lib/gnat
@@pkgdir gcc14-gnat/include/spark
@