@cwd /usr/pkg
@name why3-1.8.0nb5
@blddep menhir-20220210
@pkgdep menhir-[0-9]*
@blddep coq-8.20.1nb4
@pkgdep coq>=8.16
@blddep ocaml-4.14.2nb1
@pkgdep ocaml>=4.14.0
@blddep ocaml-lablgtk3-3.1.5nb4
@pkgdep ocaml-lablgtk3>=3.1.5nb4
@blddep ocaml-zarith-1.12nb1
@pkgdep ocaml-zarith>=1.12nb1
@blddep ocamlgraph-1.8.8nb48
@pkgdep ocamlgraph>=1.8.8nb33
@blddep digest-20220214
@blddep glib2-tools-2.84.4
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep x11-links-1.36
@comment $NetBSD: PLIST,v 1.4 2025/03/09 19:44:10 dholland Exp $
bin/isabelle_client
@comment MD5:2c4470107d5420f12d4e99b801aab01a
bin/why3
@comment MD5:355d9c322ab93371f9f966188c2a119e
lib/ocaml/site-lib/why3/META
@comment MD5:2e50894c915299c99c6597db3dc27cf6
lib/ocaml/site-lib/why3/why3.a
@comment MD5:08d614f87aa6bcd6d2f2bece7d3d3620
lib/ocaml/site-lib/why3/why3.cmi
@comment MD5:6db99212b8b729f596b20e42cb5568f4
lib/ocaml/site-lib/why3/why3.cmt
@comment MD5:f7fb5b0d81bd308054889ac2dfad06ae
lib/ocaml/site-lib/why3/why3.cmx
@comment MD5:65346550eac1352c3d49d9cc114d6041
lib/ocaml/site-lib/why3/why3.cmxa
@comment MD5:2d2edbd19f7b14b42b0a1a5d1a524d9e
lib/ocaml/site-lib/why3/why3.cmxs
@comment MD5:f9d45b37aa12408fa498b192d5391a6e
lib/why3/commands/why3bench.cmxs
@comment MD5:647e262cb632f6a08edcd1b734d3b1d4
lib/why3/commands/why3config.cmxs
@comment MD5:3109f936bd589fe34f1db674bdc53ccc
lib/why3/commands/why3doc.cmxs
@comment MD5:8e44a42478079ad86c4ddf96df235848
lib/why3/commands/why3execute.cmxs
@comment MD5:3ab7a9983bebbec3999cb79dd068701b
lib/why3/commands/why3extract.cmxs
@comment MD5:753dccf1324c899b081286e8bcefb3f6
lib/why3/commands/why3ide.cmxs
@comment MD5:0aebedb782f5cd4d23d2ddffc74db44e
lib/why3/commands/why3pp.cmxs
@comment MD5:d963ee9cab3ef3294bfae10a757cff50
lib/why3/commands/why3prove.cmxs
@comment MD5:7f1483f376850044f6d41efe00de4d0a
lib/why3/commands/why3realize.cmxs
@comment MD5:6b1ca198a01e5f8c80337944e2d4b857
lib/why3/commands/why3replay.cmxs
@comment MD5:70acfedd002e5179067623b080c80f05
lib/why3/commands/why3session.cmxs
@comment MD5:18d020db3315a01ca5e081864fd37984
lib/why3/commands/why3shell.cmxs
@comment MD5:aa2ce798105ad7a9241e522df36c91ed
lib/why3/commands/why3show.cmxs
@comment MD5:047999def712885fb8bfa6d2d56a89bd
lib/why3/commands/why3wc.cmxs
@comment MD5:6ecd304fa25be512ee65525a1b588e85
lib/why3/commands/why3webserver.cmxs
@comment MD5:66fd368dffb26675236c67e6ecab65ed
lib/why3/coq/BuiltIn.vo
@comment MD5:56b61b0b8baff833e350491c887c5a88
lib/why3/coq/HighOrd.vo
@comment MD5:9fa443ce013f3702ba5b6751fcdfe967
lib/why3/coq/WellFounded.vo
@comment MD5:e9d22c486c09246a1ec1c6380144328f
lib/why3/coq/bool/Bool.vo
@comment MD5:1969318eadc28aee36df3a444fd40d1e
lib/why3/coq/bv/BV_Gen.vo
@comment MD5:613861d3cda8cd79caa529ea9602d13a
lib/why3/coq/bv/Pow2int.vo
@comment MD5:4d7eccce7e27386771ec76e6e108eb4d
lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
@comment MD5:618b0cdf6704d69896f12b5f3f0b5e44
lib/why3/coq/int/Abs.vo
@comment MD5:18284c396e9f6700aae0aa5a97f5bf92
lib/why3/coq/int/ComputerDivision.vo
@comment MD5:1852db82be2c0e7bc65afdfa199cf64a
lib/why3/coq/int/Div2.vo
@comment MD5:d6aa2607e2a95fa233f91c778c66e617
lib/why3/coq/int/EuclideanDivision.vo
@comment MD5:9a2dab2c632a45c2b79acec4c9192149
lib/why3/coq/int/Exponentiation.vo
@comment MD5:48cc13c38a6fce4c6f6d9f5cba524b4e
lib/why3/coq/int/Int.vo
@comment MD5:533db53ae4ce8509d18ad2699990f55d
lib/why3/coq/int/MinMax.vo
@comment MD5:a1e8518b73f6b047c3d23286ffc528f8
lib/why3/coq/int/NumOf.vo
@comment MD5:ddb93c1d3f5b749141efe0c85e2a5de1
lib/why3/coq/int/Power.vo
@comment MD5:dcda836d35424e688c00ebe7c21c75c5
lib/why3/coq/list/Append.vo
@comment MD5:6096140dfd0655f2aeed3386183b9db0
lib/why3/coq/list/Combine.vo
@comment MD5:93a9d80f89db701922e8100e195cc7df
lib/why3/coq/list/Distinct.vo
@comment MD5:a12ad1ead3d7637992709aeafe1e0fa7
lib/why3/coq/list/HdTl.vo
@comment MD5:c3b056838b6cd5c06e995cd95b1efd2c
lib/why3/coq/list/HdTlNoOpt.vo
@comment MD5:e6b968061497c5b9caadaa65f26a1ae9
lib/why3/coq/list/Length.vo
@comment MD5:05d7918f352150eb3b33cd5314564c01
lib/why3/coq/list/List.vo
@comment MD5:0dbd18e335314e155c64e0a5f3c29008
lib/why3/coq/list/Mem.vo
@comment MD5:3b8b3fd4d5714f27a7741474fdc111aa
lib/why3/coq/list/Nth.vo
@comment MD5:fc20d2e4ef81644511229c827312e31d
lib/why3/coq/list/NthHdTl.vo
@comment MD5:8327053234136dbe3757790d35793c59
lib/why3/coq/list/NthLength.vo
@comment MD5:7dccaa7ee839f8222c6254a9bc92d7ca
lib/why3/coq/list/NthLengthAppend.vo
@comment MD5:b9cb121255e2aa1910ba09740c0d1c3d
lib/why3/coq/list/NthNoOpt.vo
@comment MD5:f84e3ee5073b7e5816fa447c8e5a96d8
lib/why3/coq/list/NumOcc.vo
@comment MD5:255d13807cc21ab1621bca3f1351aaba
lib/why3/coq/list/Permut.vo
@comment MD5:880e21bc593f99f994cafcdcf4798f1f
lib/why3/coq/list/RevAppend.vo
@comment MD5:b32d9bbb7d26672c8342c7b1162af74a
lib/why3/coq/list/Reverse.vo
@comment MD5:a67eebf3972b72bb8c3d3123ecba3d65
lib/why3/coq/map/Const.vo
@comment MD5:7a6b3e6bd1dc71dd81099af2271a7f02
lib/why3/coq/map/Map.vo
@comment MD5:7775bb272715e79468853f490d9a0400
lib/why3/coq/map/MapExt.vo
@comment MD5:2462ac2989573e8fd0db65a4ce0d83b4
lib/why3/coq/map/MapInjection.vo
@comment MD5:90cf4a19e9cf4ff8036f9b356c9982c5
lib/why3/coq/map/MapPermut.vo
@comment MD5:7100f7201010470dd0b180f19f9138b9
lib/why3/coq/map/Occ.vo
@comment MD5:849bafcd4579dfa9aadfe86dffe22752
lib/why3/coq/number/Coprime.vo
@comment MD5:ac68589a01f630e46786a1d673f37fe0
lib/why3/coq/number/Divisibility.vo
@comment MD5:5157df1000db4756bcf037b54438f883
lib/why3/coq/number/Gcd.vo
@comment MD5:8ef0bf0e726bb37774bb397ea2c89989
lib/why3/coq/number/Parity.vo
@comment MD5:498027e682a45922e90cc18756065afa
lib/why3/coq/number/Prime.vo
@comment MD5:5dbf19864da09263dd47168b0047e0fb
lib/why3/coq/option/Option.vo
@comment MD5:1e8606141fc31e8d4866356d238338d4
lib/why3/coq/real/Abs.vo
@comment MD5:9a7231ca2007b53893bf582c89bf5555
lib/why3/coq/real/ExpLog.vo
@comment MD5:f411af3c2ccacd2c7dc28f846bd69891
lib/why3/coq/real/FromInt.vo
@comment MD5:1d35bff747bda9571b3a310a96678991
lib/why3/coq/real/MinMax.vo
@comment MD5:16519c4ea393116c18e55434160b7806
lib/why3/coq/real/PowerInt.vo
@comment MD5:1e34d1175b017b12f065307a6c5f8f9f
lib/why3/coq/real/PowerReal.vo
@comment MD5:2fbe59c7e8952734548a777781fc07c8
lib/why3/coq/real/Real.vo
@comment MD5:a37848f721150d72abb670152d132292
lib/why3/coq/real/RealInfix.vo
@comment MD5:9329b0a7eaf3a52fb04159c73e7b4e6e
lib/why3/coq/real/Square.vo
@comment MD5:65b758bc3c4d09680e7771e3ec20e03a
lib/why3/coq/real/Trigonometry.vo
@comment MD5:be0b4468f21232771e0b32ba0e198028
lib/why3/coq/set/Cardinal.vo
@comment MD5:1e882cf9e9e541a5fe8fe41bf3dd414b
lib/why3/coq/set/Fset.vo
@comment MD5:b362c64a33c136beda0db3bcb2213441
lib/why3/coq/set/FsetInduction.vo
@comment MD5:9fd9d0fc13c9bc1603fb2c5d6bfb6997
lib/why3/coq/set/FsetInt.vo
@comment MD5:28caa9ba0dbf7c935e7cc2e702b849cd
lib/why3/coq/set/FsetSum.vo
@comment MD5:6b3fe0d244200346f1e23f7770bfd3fc
lib/why3/coq/set/Set.vo
@comment MD5:8d9effb28b4ee88881214c822e620180
lib/why3/coq/set/SetApp.vo
@comment MD5:0b214e48d36f613ebbad36153add1fee
lib/why3/coq/set/SetAppInt.vo
@comment MD5:f099f8dbfe929b3526a02bfe291a9980
lib/why3/coq/set/SetImp.vo
@comment MD5:461debe179fd3abde22c570c22a9466c
lib/why3/coq/set/SetImpInt.vo
@comment MD5:e788d3e0286733a70ee824e918926972
lib/why3/coq/version
@comment MD5:cf33ca09a97d31327a8d0153879924c7
lib/why3/plugins/cfg.cmxs
@comment MD5:fb7f852b2fa6cf16df9352a757380928
lib/why3/plugins/coma.cmxs
@comment MD5:3ef82575f89694a7ec8f5c3513836e14
lib/why3/plugins/dimacs.cmxs
@comment MD5:db19cf36209dcfa3148b0e0aca24cf43
lib/why3/plugins/forward_propagation.cmxs
@comment MD5:46fdd2a0c37cab5f1af6980e41f4e910
lib/why3/plugins/genequlin.cmxs
@comment MD5:65d7c457422de4b7309312e569b94e02
lib/why3/plugins/hypothesis_selection.cmxs
@comment MD5:fc026508f2def96bf2edd36f1e6eea4d
lib/why3/plugins/microc.cmxs
@comment MD5:8f993b0f9f19138d67988ac156ef03c6
lib/why3/plugins/python.cmxs
@comment MD5:70d880169c4aac986836899f66fab24b
lib/why3/plugins/tptp.cmxs
@comment MD5:3998eee00c7f255c91945b33ab0ba88c
lib/why3/why3-call-pvs
@comment MD5:3931c3d604bed341aff575be9c2a3a9f
lib/why3/why3cpulimit
@comment MD5:ed9f12018d01800f54237d05fd5a1423
lib/why3/why3server
@comment MD5:360ce2457423843609600f72fdc1565a
share/emacs/site-lisp/why3.el
@comment MD5:65d9deb67332521cbc2895d86f47e7f2
share/why3/LICENSE
@comment MD5:921f607a2c523f21e9f3c5324d3b73e9
share/why3/Makefile.config
@comment MD5:b5aefbfeaa51bdfd15ca19554230be23
share/why3/drivers/alt_ergo.drv
@comment MD5:7911445b1902272d61e2232a72ca3f0e
share/why3/drivers/alt_ergo_26.drv
@comment MD5:3b7a3ed15aa7b59835e88730aa197137
share/why3/drivers/alt_ergo_26_bv.drv
@comment MD5:58def8b75b0cfed34952e57aca71ae82
share/why3/drivers/alt_ergo_26_ce.drv
@comment MD5:e063447dd5eed01444de85490335cec8
share/why3/drivers/alt_ergo_2_2_0.drv
@comment MD5:eb81eabdf68f69ef7edf3756403c0e0a
share/why3/drivers/alt_ergo_2_3.drv
@comment MD5:837a23ebb04143e5b0c16f5060b4e231
share/why3/drivers/alt_ergo_common.drv
@comment MD5:153dad65524045e855df3c94d9ea01e0
share/why3/drivers/alt_ergo_counterexamples.drv
@comment MD5:21513a5e8d3a8033a73c445948f16f3e
share/why3/drivers/alt_ergo_fp.drv
@comment MD5:3f8307639dbc973cba3cadbff007fe5f
share/why3/drivers/alt_ergo_model.drv
@comment MD5:043d32ece619d4b6f768b1b801fe8324
share/why3/drivers/alt_ergo_smt.drv
@comment MD5:252c863b9095cee7eb4fa3ef40d33a78
share/why3/drivers/beagle.drv
@comment MD5:02f334a4131f5911dadc3512b7936440
share/why3/drivers/colibri.drv
@comment MD5:ea482b1f1f7a616dcb15a4a6945afdf1
share/why3/drivers/colibri2.drv
@comment MD5:24c2d36362425af64edb62ea0c0834d7
share/why3/drivers/common-transformations.gen
@comment MD5:81b0290102b450ff66d3ae46bb3d4888
share/why3/drivers/coq-common.gen
@comment MD5:12722ca3aa0e2cc6da2aad26424fae40
share/why3/drivers/coq-realizations.aux
@comment MD5:55f8f54b2c43d776aac53e3d538bf9f6
share/why3/drivers/coq-realize.drv
@comment MD5:9c235a961ec33f5aa34b4cdae8d1bd20
share/why3/drivers/coq-ssreflect.drv
@comment MD5:4867b7b6b3514968cc00d8692304680a
share/why3/drivers/coq.drv
@comment MD5:e274171e3e1a7d6f66b81e8f3a585ece
share/why3/drivers/cvc3.drv
@comment MD5:6ef3e9e23b70ce3d55355ff77499e94a
share/why3/drivers/cvc4-realize.drv
@comment MD5:bd56f106a4599306fddf61a3d7c2c4c6
share/why3/drivers/cvc4.drv
@comment MD5:762239d6cf346c8c24f8c76288a4c6ac
share/why3/drivers/cvc4_14.drv
@comment MD5:10082eee399887777fd67b2db26a79c6
share/why3/drivers/cvc4_15.drv
@comment MD5:a733b3b122b6225d2fb1f611501e4430
share/why3/drivers/cvc4_15_counterexample.drv
@comment MD5:5c40f3e132b3af40788e8bd28e5cdeb0
share/why3/drivers/cvc4_16.drv
@comment MD5:3f11845993350d567ca48fcff5731647
share/why3/drivers/cvc4_16.gen
@comment MD5:9795dd3e30d0e7960f3274fb22b2095d
share/why3/drivers/cvc4_16_counterexample.drv
@comment MD5:1b6e3011af10c6bf88b7aca5a6ac72fc
share/why3/drivers/cvc4_17.drv
@comment MD5:1ab41b8d892e8f3c56c3a1cb94618399
share/why3/drivers/cvc4_17_counterexample.drv
@comment MD5:d5522e1e3686d3dda8e3b7e2ea5eefe9
share/why3/drivers/cvc4_18_strings.drv
@comment MD5:0c96cc8864619411d8c5c2334b106108
share/why3/drivers/cvc4_18_strings_counterexample.drv
@comment MD5:fd1c0edb79aa30c76604d3b267aa6460
share/why3/drivers/cvc4_bv.gen
@comment MD5:ea9745ced9c249869b6b9b04f4e774c9
share/why3/drivers/cvc5.drv
@comment MD5:29bc6cfb20ec1898a430407a60e8025f
share/why3/drivers/cvc5_counterexample.drv
@comment MD5:0abd03055277ee8dbc676c4c5d60985d
share/why3/drivers/cvc5_strings.drv
@comment MD5:cdb6b021f588eb96eb0008d957144bcf
share/why3/drivers/cvc5_strings_counterexample.drv
@comment MD5:683cdeab2a3eee007f1d69b2402ce098
share/why3/drivers/discrimination.gen
@comment MD5:78cb049e69ab087068bbf7701577e2a1
share/why3/drivers/dreal.drv
@comment MD5:86490110fe80694511ae5d8259f49afb
share/why3/drivers/eprover.drv
@comment MD5:b5677bc5f1d9c1563ddaf6c0ffef98ce
share/why3/drivers/gappa.drv
@comment MD5:b3f9d089834fc33bf75babbde2cc6d55
share/why3/drivers/iprover.drv
@comment MD5:9f0512658b110f9f1337115335e98d86
share/why3/drivers/isabelle-common.gen
@comment MD5:c697b0da734a3d14405bb5d0ec70edf6
share/why3/drivers/isabelle-realizations.aux
@comment MD5:d4047a7756bd67fe3ded569c05691cf4
share/why3/drivers/isabelle-realize.drv
@comment MD5:6fcecb990afef76e294e1146afc6b219
share/why3/drivers/isabelle.drv
@comment MD5:ad41080612bf79f832a76254969a4440
share/why3/drivers/mathematica.drv
@comment MD5:f03dfe57a249d095a8b10562aca922fc
share/why3/drivers/mathsat.drv
@comment MD5:86b03a9de292fb085b3996d574cc0961
share/why3/drivers/metis.drv
@comment MD5:10dbc71d0c429bc4b741556907e64b9f
share/why3/drivers/metitarski.drv
@comment MD5:a434e55b3b1b054826c416a98e0501d6
share/why3/drivers/no-bv.gen
@comment MD5:47d1d9e533d3cc1cad4554a6fbbeaac1
share/why3/drivers/polypaver.drv
@comment MD5:4b2f3a55af8acef2768a23a548c94a32
share/why3/drivers/princess.drv
@comment MD5:9a3eecf02470d005a928344dfd3c5909
share/why3/drivers/psyche.drv
@comment MD5:4f586daf920e4e14fd77fa7063e1fa10
share/why3/drivers/pvs-common.gen
@comment MD5:085c923e2c7e9159959526f7b3b31d19
share/why3/drivers/pvs-realizations.aux
@comment MD5:87f4b28f3810ed4f56383c32353b38eb
share/why3/drivers/pvs-realize.drv
@comment MD5:98ffc341e703afcc5551ab75cc291ab6
share/why3/drivers/pvs.drv
@comment MD5:b39e84fcef1a9022de2ed03ccf630ef6
share/why3/drivers/safeprover.drv
@comment MD5:e0327bfc19c02b98fca099445286c034
share/why3/drivers/simplify.drv
@comment MD5:c38b5e7d39637fb274e2712cc1bfc73e
share/why3/drivers/smt-libv2-bv-realization.gen
@comment MD5:9692f11e06ecb12a55e5fa539117d85a
share/why3/drivers/smt-libv2-bv.gen
@comment MD5:38cae0699cc7e6ff35620bc596992484
share/why3/drivers/smt-libv2-floats.gen
@comment MD5:001103bb404d9d37ed9ccd06dcd94959
share/why3/drivers/smt-libv2.gen
@comment MD5:06ae633c679a40d4b5f1642740837a7e
share/why3/drivers/smtlib-strings.gen
@comment MD5:96ddd089351634423af8b5fe51f65d97
share/why3/drivers/spass.drv
@comment MD5:fe5e475b213dcaeefb019cb513af430c
share/why3/drivers/spass_types.drv
@comment MD5:0225b480464436bdf9d3aebcf8044145
share/why3/drivers/tptp-tff0.drv
@comment MD5:6d21f126caaa914a67aa6a1c44f70207
share/why3/drivers/tptp-tff1.drv
@comment MD5:2228521531cf3314e6e9eed985fefb76
share/why3/drivers/tptp.gen
@comment MD5:6cd9c06b16e9fdc685e7093a953e5a2e
share/why3/drivers/vampire.drv
@comment MD5:ee7f047f3bf00ff4fa49e73cd401dbc9
share/why3/drivers/vampire_4_2_2.drv
@comment MD5:997dd97ff0be92cb970eeefaca771536
share/why3/drivers/vampire_4_5_1.drv
@comment MD5:de42306e2a497d4f13504e7fcf827845
share/why3/drivers/verit.drv
@comment MD5:342a0e208c62e6c3a6b3fd0b21a64a77
share/why3/drivers/why3.drv
@comment MD5:6b4cfee8e4a7aea56e977aa0643cdaa6
share/why3/drivers/why3_smt.drv
@comment MD5:238c3964b51a3705b4064a13c98a588f
share/why3/drivers/why3_tptp.drv
@comment MD5:5ed4e632b5c88792561cc3ae0531fc81
share/why3/drivers/yices-smt2.drv
@comment MD5:515506ad744ee194b5f1e0782228e594
share/why3/drivers/yices.drv
@comment MD5:dd28e42cd04fd29f6ba1e35a92cbe233
share/why3/drivers/z3.drv
@comment MD5:5bd81d6feaea0eeb7a642ccfeec29835
share/why3/drivers/z3_432.drv
@comment MD5:614e70d56ecb6119e99c27459e529393
share/why3/drivers/z3_440.drv
@comment MD5:2787cd706fbe866a27d3ffd002a51278
share/why3/drivers/z3_440_counterexample.drv
@comment MD5:9e580ea3daa9649d88bf01947412b9be
share/why3/drivers/z3_471.drv
@comment MD5:652f0483a0953fba4e0ee2b854da26e4
share/why3/drivers/z3_471_counterexample.drv
@comment MD5:8c693782ddef07a685436cb554553783
share/why3/drivers/z3_471_nobv.drv
@comment MD5:8d14e44c4c9a2ce57acb402192fac01b
share/why3/drivers/z3_487.drv
@comment MD5:c75b5b1f21de166b66b74062a003cecd
share/why3/drivers/z3_487_counterexample.drv
@comment MD5:cd7945257deb0e297007358a89fc5513
share/why3/drivers/z3_bv.gen
@comment MD5:543abd026f5ffe83d3d074d73e1d1f5d
share/why3/drivers/z3_smtv1.drv
@comment MD5:f96cb60ddc439b59cb953baae0b3037f
share/why3/drivers/zenon.drv
@comment MD5:25aa25d719ea2bf9cb64c07366e65bfb
share/why3/drivers/zenon_modulo.drv
@comment MD5:ef826d6a0eb6a2069da7df5266c36543
share/why3/extraction_drivers/c.drv
@comment MD5:9b03fce544d663db4bd3680835d00584
share/why3/extraction_drivers/cakeml.drv
@comment MD5:1da854d5de8d4d3b724133f8fd062d31
share/why3/extraction_drivers/java.drv
@comment MD5:63283e2ca3c558a3d8597b6edb60ae78
share/why3/extraction_drivers/ocaml64.drv
@comment MD5:b0681ea11485b2cbbb319389a09a5835
share/why3/images/fatcow.rc
@comment MD5:bdc85143544612643660cfe0fa6369c1
share/why3/images/fatcow/accept.png
@comment MD5:63081da263743a49286950e07f957af0
share/why3/images/fatcow/bin.png
@comment MD5:63e2b5ac3479d653362e02bee032a322
share/why3/images/fatcow/bomb.png
@comment MD5:cfab2ed343d5055511b9f2f6bed8983b
share/why3/images/fatcow/brick_delete.png
@comment MD5:93f52d17244efb2a75c301a1148e8d34
share/why3/images/fatcow/bullet_black.png
@comment MD5:626887a675cee1bb0b15a49d33ad7dc2
share/why3/images/fatcow/bullet_blue.png
@comment MD5:d2d5c4f4bc804a9fd6ff3a4c7e48c091
share/why3/images/fatcow/bullet_green.png
@comment MD5:a434b04f97edfb43afea89f71ef68568
share/why3/images/fatcow/bullet_red.png
@comment MD5:3181eac3d611817b5b697ea36e1b177d
share/why3/images/fatcow/bullet_white.png
@comment MD5:f943cde0faeda627b01994d4c978ce1a
share/why3/images/fatcow/cancel.png
@comment MD5:bf9ae6a579f851cb857e0e74065caefa
share/why3/images/fatcow/control_pause_blue.png
@comment MD5:e5a77fbdab6353fb599562bfdbc007f5
share/why3/images/fatcow/control_play_blue.png
@comment MD5:8ff36bcb5c375bdbefb08bf395d56503
share/why3/images/fatcow/database_delete.png
@comment MD5:e48370d7fa4433db7cfd2e9b1eb818d4
share/why3/images/fatcow/ddr_memory.png
@comment MD5:c81757794cdb74d6e6ddc9c30f0d3ba4
share/why3/images/fatcow/delete.png
@comment MD5:b7b670f2d90fc7f54fd4bad7998e2e02
share/why3/images/fatcow/exclamation.png
@comment MD5:20d1289ca8764d404427979c38a16a0d
share/why3/images/fatcow/folder.png
@comment MD5:ecd66dadaec6bac66038d1e6790f86d3
share/why3/images/fatcow/help.png
@comment MD5:222fa8a452d67f113a034e66cdff0d91
share/why3/images/fatcow/magic_wand_2.png
@comment MD5:11f2f4c13f08288cdee9019ddf53d3d3
share/why3/images/fatcow/multitool.png
@comment MD5:307e6094a57660335ff992dc56dd4a00
share/why3/images/fatcow/package.png
@comment MD5:0616085b21dcda7bac86490cb60694e6
share/why3/images/fatcow/pencil.png
@comment MD5:32332a42baecace014d9814b0d4cd135
share/why3/images/fatcow/readme-fatcow.txt
@comment MD5:34f6fa5f4224ab2fc36d894b05cdb8a8
share/why3/images/fatcow/script.png
@comment MD5:2d621ff13d0f7887d449a6e9f7ca4900
share/why3/images/fatcow/time_delete.png
@comment MD5:c4bb288627ba5591e1f3010943f4387d
share/why3/images/fatcow/timeline.png
@comment MD5:affe10c9877a140edfb0e6c7c1280161
share/why3/images/fatcow/update.png
@comment MD5:a76d5f0bb66a20305b5c06b3258ad799
share/why3/images/logo-why.png
@comment MD5:da50d4610ac6a31e73ecf218e5ee7740
share/why3/lang/coma.lang
@comment MD5:62189d5f08b098141c1293d10cbd207e
share/why3/lang/why3.lang
@comment MD5:5ca3a332b89ac3ce0d8cfca96ccfe9de
share/why3/lang/why3c.lang
@comment MD5:6f9d1f2258e0a7c95677b99eb2206294
share/why3/lang/why3py.lang
@comment MD5:b70ddd8f42adb6818bd5e760c6ede456
share/why3/provers-detection-data.conf
@comment MD5:d3bba65812bd3d3cd2878ce7b4ccc937
share/why3/stdlib/algebra.mlw
@comment MD5:843f9debb2fb93ea62c5be3012c91425
share/why3/stdlib/array.mlw
@comment MD5:c3d0dc0a66662f927c38577b3b50d06e
share/why3/stdlib/bag.mlw
@comment MD5:31bbc3546c812c0e3d20a0809190b76f
share/why3/stdlib/bintree.mlw
@comment MD5:80c6988038f00595076bbaa07be37921
share/why3/stdlib/bool.mlw
@comment MD5:69b10226418d4f9e27fc4a5ec0c4c859
share/why3/stdlib/bv.mlw
@comment MD5:360086457cb437df761e2822b95e895d
share/why3/stdlib/byte_string.mlw
@comment MD5:774979bfd762d53df41174e491dd9a3f
share/why3/stdlib/cursor.mlw
@comment MD5:86198d4071e7713a8ac43210d84992a8
share/why3/stdlib/debug.mlw
@comment MD5:a524dcfb9771c734260dec0d994c28e5
share/why3/stdlib/exn.mlw
@comment MD5:92aa9c45039855a1db329551a3c91c08
share/why3/stdlib/floating_point.mlw
@comment MD5:a6f63df50c16a2d60b8667ab3fceb407
share/why3/stdlib/fmap.mlw
@comment MD5:80a1eb6dbc96da2790d5231ce9edbd6f
share/why3/stdlib/for_drivers.mlw
@comment MD5:4ffbcfbb8891299690bdd7f9baef9719
share/why3/stdlib/function.mlw
@comment MD5:908a86aec31093809f2c39a93b632356
share/why3/stdlib/graph.mlw
@comment MD5:077e86f703f83c0e5f5aeb9098fca663
share/why3/stdlib/hashtbl.mlw
@comment MD5:31a484ed1a31ff869777f394616c091c
share/why3/stdlib/ieee_float.mlw
@comment MD5:a5bbffa8b74ca3bbfcbd364feb240573
share/why3/stdlib/int.mlw
@comment MD5:f6c27147f461622fd697b074a92a9266
share/why3/stdlib/io.mlw
@comment MD5:3f944b0d706fc17a8c242f60d83e3600
share/why3/stdlib/list.mlw
@comment MD5:b9051a4f8467e769fdf954e365887bf1
share/why3/stdlib/mach/array.mlw
@comment MD5:5d645471ef3f5a1d53149f9f1c349546
share/why3/stdlib/mach/bv.mlw
@comment MD5:68160ab947d2b0e3369f5751f5120166
share/why3/stdlib/mach/c.mlw
@comment MD5:02958f3c3a22032708e9fac8c4da030e
share/why3/stdlib/mach/float.mlw
@comment MD5:f8b086d45403b9d2065e1b462a3323eb
share/why3/stdlib/mach/fxp.mlw
@comment MD5:d8826694beff15ac6f95a862259e2b95
share/why3/stdlib/mach/int.mlw
@comment MD5:daf02c2bb9686ba55317b7bcd5654629
share/why3/stdlib/mach/java/io.mlw
@comment MD5:dba9581200229eaf2ceeb607aa9f5914
share/why3/stdlib/mach/java/lang.mlw
@comment MD5:bae5d910d3a9c41e1e472d3ff08a6676
share/why3/stdlib/mach/java/util.mlw
@comment MD5:6b1aeb4addfd1a10d5765b0c84941cac
share/why3/stdlib/mach/list.mlw
@comment MD5:94a187d989e09c92379712e84e2a24b9
share/why3/stdlib/mach/matrix.mlw
@comment MD5:8f2f1a1e6f2bad4c1f48fc17c77aa336
share/why3/stdlib/mach/onetime.mlw
@comment MD5:c7381695412179adcfb71c646884ab92
share/why3/stdlib/mach/peano.mlw
@comment MD5:a15ef76c05bef475562c510cc59ed07c
share/why3/stdlib/mach/tagset.mlw
@comment MD5:a53595dc7e308df2eeb526f36cbc03cc
share/why3/stdlib/map.mlw
@comment MD5:ab8398f039be379e918e6ba473b6b0b7
share/why3/stdlib/matrix.mlw
@comment MD5:a35d601ee59ab9d93b26fed8d8753e8b
share/why3/stdlib/microc.mlw
@comment MD5:875a1696d2bfa202084850a4bf6df861
share/why3/stdlib/number.mlw
@comment MD5:c103426c03c1da16bf13fb4bff34bdc4
share/why3/stdlib/ocaml.mlw
@comment MD5:ac9a6cf00feefecc7af9f7707d21413f
share/why3/stdlib/option.mlw
@comment MD5:84d081012c53b7d9537eb39cbf4bc7c5
share/why3/stdlib/pigeon.mlw
@comment MD5:b93d4eba784d39bef04efdfe06e95ea9
share/why3/stdlib/pqueue.mlw
@comment MD5:8f6a14ea18354ce94c463eba18cf24d2
share/why3/stdlib/python.mlw
@comment MD5:f0b25b535893a1a48ea536294069ef5d
share/why3/stdlib/queue.mlw
@comment MD5:2b9b11a2da4a072f2cade5265b20bc61
share/why3/stdlib/random.mlw
@comment MD5:3ae3ebaf3229930b431fa3784330bab8
share/why3/stdlib/real.mlw
@comment MD5:fde441e6215409db6fb6e49650094785
share/why3/stdlib/ref.mlw
@comment MD5:aa66b1e5a1c0e0a4d9cb51aea6e4b1df
share/why3/stdlib/regexp.mlw
@comment MD5:e18d9cd1e2c55deaf1826ae14a75f39d
share/why3/stdlib/relations.mlw
@comment MD5:7f11924fc78897c5783fc0138dc1674d
share/why3/stdlib/seq.mlw
@comment MD5:de7cc1552cfb6fe0e2bf1a66bc85c2b9
share/why3/stdlib/set.mlw
@comment MD5:774965485f22cb50b585f5ea84bfc68d
share/why3/stdlib/stack.mlw
@comment MD5:d7bcee4d174722951912b1a8fdeb2e21
share/why3/stdlib/string.mlw
@comment MD5:3d94ef33282eec90df9690f4ffeb1f1e
share/why3/stdlib/tptp.mlw
@comment MD5:307b6dd4a5a8b4618a9f301fe1737967
share/why3/stdlib/tree.mlw
@comment MD5:8036f11d53817b46154e10c093bcfbac
share/why3/stdlib/ufloat.mlw
@comment MD5:5751b1dcf9e8c26b54c3dae56e936610
share/why3/stdlib/witness.mlw
@comment MD5:823b525cbde714db06c0e5dfcebef965
share/why3/vim/ftdetect/why3.vim
@comment MD5:4ee4545f774d629a1da799877ad7c6ba
share/why3/vim/syntax/why3.vim
@comment MD5:5b229e856866ac2d242cdb5970db5448
share/why3/why3session.dtd
@comment MD5:5c998e840ed453cb0441ae4f7c4f4ba6
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
