@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:ab7c772be43453450807fb74c058cecc
bin/why3
@comment MD5:947327e628d2e91e6b18de228172a56a
lib/ocaml/site-lib/why3/META
@comment MD5:2e50894c915299c99c6597db3dc27cf6
lib/ocaml/site-lib/why3/why3.a
@comment MD5:64c79718538ab272450323510d79a5c6
lib/ocaml/site-lib/why3/why3.cmi
@comment MD5:6db99212b8b729f596b20e42cb5568f4
lib/ocaml/site-lib/why3/why3.cmt
@comment MD5:a743fa53bb513045d481f001352c7bfe
lib/ocaml/site-lib/why3/why3.cmx
@comment MD5:f5d168e1ce572255ec1b3a639bde7d85
lib/ocaml/site-lib/why3/why3.cmxa
@comment MD5:499a7a83812f4160cd6ca71f829d961c
lib/ocaml/site-lib/why3/why3.cmxs
@comment MD5:96944cbf4c00a01bbd111bd0dae40481
lib/why3/commands/why3bench.cmxs
@comment MD5:707ccf92d00d4983e8563956d80b179b
lib/why3/commands/why3config.cmxs
@comment MD5:0b231717709d041b92d3bb8f22fdc551
lib/why3/commands/why3doc.cmxs
@comment MD5:f400632acce7773e527b494d54f2d582
lib/why3/commands/why3execute.cmxs
@comment MD5:cf98d68e76e213de4cc5f661a01910b4
lib/why3/commands/why3extract.cmxs
@comment MD5:35d2414225952fc62e39d18297fec281
lib/why3/commands/why3ide.cmxs
@comment MD5:33178fd1f70b695be78b9bb2f5bff38c
lib/why3/commands/why3pp.cmxs
@comment MD5:1482a10915b18ca8e30c3b3aa8f204de
lib/why3/commands/why3prove.cmxs
@comment MD5:b960b04b9d7bd40b5a6269d507155c74
lib/why3/commands/why3realize.cmxs
@comment MD5:8cfa9224c07f49a9da2b3afc7a53338f
lib/why3/commands/why3replay.cmxs
@comment MD5:fbd6993d5f104231c7b4dbe1abe2af3a
lib/why3/commands/why3session.cmxs
@comment MD5:84304806a320f1dd2f9150a56812448f
lib/why3/commands/why3shell.cmxs
@comment MD5:914c4e5a3e97bb95df8c14dccecb7859
lib/why3/commands/why3show.cmxs
@comment MD5:2de41a25a473caed0234f54ed68fe5cc
lib/why3/commands/why3wc.cmxs
@comment MD5:60f073678564ae296d1d35aab094cc36
lib/why3/commands/why3webserver.cmxs
@comment MD5:d16f0fbb5caa1e54a93d56808f872524
lib/why3/coq/BuiltIn.vo
@comment MD5:2fd63fd403ad48d769c5f4726d4d77f2
lib/why3/coq/HighOrd.vo
@comment MD5:02fcc927cd27072a0854316e7f66950f
lib/why3/coq/WellFounded.vo
@comment MD5:e76076f90a41b65097fb47e2b91dbf16
lib/why3/coq/bool/Bool.vo
@comment MD5:33a5b4028ff7915a2b73048dc8f14dd5
lib/why3/coq/bv/BV_Gen.vo
@comment MD5:b65aaaf137aef629ab91acafba7c6f0e
lib/why3/coq/bv/Pow2int.vo
@comment MD5:d158af09bfdcba841be2bfbacefc9915
lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
@comment MD5:e1c026e48d8f4f4040207b9ace92041f
lib/why3/coq/int/Abs.vo
@comment MD5:9a7ccbb5f189ba350f75b069006dd320
lib/why3/coq/int/ComputerDivision.vo
@comment MD5:53850b819d6c3fbbf68635728463cf72
lib/why3/coq/int/Div2.vo
@comment MD5:dd51f10ab3ad5b587d41b5b5b7a110a5
lib/why3/coq/int/EuclideanDivision.vo
@comment MD5:23d942254243619c2d9f17b419bd24ef
lib/why3/coq/int/Exponentiation.vo
@comment MD5:234fd2b00da7661903a95aec91273ce8
lib/why3/coq/int/Int.vo
@comment MD5:0ddb88cb43912733593ce071c22ef68c
lib/why3/coq/int/MinMax.vo
@comment MD5:44ab54af28e8ddf8d1c4b4eccf73fa5f
lib/why3/coq/int/NumOf.vo
@comment MD5:22cf8d2ec25acaabe5be5fa6cf9bed3f
lib/why3/coq/int/Power.vo
@comment MD5:0086bf0aa04ee88ac3ae8fd94230659f
lib/why3/coq/list/Append.vo
@comment MD5:2acf716a0fadad988ed921e3fc500fe4
lib/why3/coq/list/Combine.vo
@comment MD5:921ba51f11e9702a65dd9ac1093238c4
lib/why3/coq/list/Distinct.vo
@comment MD5:0fdb92ffb472ec5234b7b13529add9ae
lib/why3/coq/list/HdTl.vo
@comment MD5:391a22952e5fb119c2d5ee500722b138
lib/why3/coq/list/HdTlNoOpt.vo
@comment MD5:34512b6a39a14bd8891f5ca72347b21f
lib/why3/coq/list/Length.vo
@comment MD5:24484dcd98aa67e784bda19bdd60213a
lib/why3/coq/list/List.vo
@comment MD5:d3cc116de0d53727e1c2243ce86c8ea3
lib/why3/coq/list/Mem.vo
@comment MD5:b753db8ab890a4def55a6bf4285eec8b
lib/why3/coq/list/Nth.vo
@comment MD5:dfb3be0a2eb84b83f6efb979e4de7231
lib/why3/coq/list/NthHdTl.vo
@comment MD5:5672b6864098380ff902eead38f2e407
lib/why3/coq/list/NthLength.vo
@comment MD5:14ee602f47aea304aef76d2fc18e3dc5
lib/why3/coq/list/NthLengthAppend.vo
@comment MD5:92cee3d95e0fa971900f47d3231c60ad
lib/why3/coq/list/NthNoOpt.vo
@comment MD5:afe98bef67b4789a79b1afa95356ade4
lib/why3/coq/list/NumOcc.vo
@comment MD5:b7995e31b108afdc457c411803b3dac5
lib/why3/coq/list/Permut.vo
@comment MD5:92d42714f0d6d6f367c797af215326a0
lib/why3/coq/list/RevAppend.vo
@comment MD5:107963dc2d9334959506a3c4e1ef22cd
lib/why3/coq/list/Reverse.vo
@comment MD5:25e9d111e89a42ab9cbe94cbc67ea579
lib/why3/coq/map/Const.vo
@comment MD5:0a15ca2bd118968dfff7f97aad3884ec
lib/why3/coq/map/Map.vo
@comment MD5:05a8b3f20d9b4844f4566e6d90062c39
lib/why3/coq/map/MapExt.vo
@comment MD5:2829ee585e481e50623e17b30418c840
lib/why3/coq/map/MapInjection.vo
@comment MD5:e513472ba87d595737319afd24c2b6f9
lib/why3/coq/map/MapPermut.vo
@comment MD5:2eacc9acdd5241c579701ec0870dd2fe
lib/why3/coq/map/Occ.vo
@comment MD5:8a6fc2a827449fbd2b1be9b09326c92d
lib/why3/coq/number/Coprime.vo
@comment MD5:4e9c25c30dc80ed439446c4aa4a6879f
lib/why3/coq/number/Divisibility.vo
@comment MD5:69fdfc2c6fc74f6dbb4cec3d161fc272
lib/why3/coq/number/Gcd.vo
@comment MD5:bc37c551912e63873bc2859bd51548ac
lib/why3/coq/number/Parity.vo
@comment MD5:7a28a6a3502a6b09b71b0757fa3ef0ee
lib/why3/coq/number/Prime.vo
@comment MD5:72577699203d3e0e57596db4053a1297
lib/why3/coq/option/Option.vo
@comment MD5:78d4a796a44c8c4b0d45adbbcbce8447
lib/why3/coq/real/Abs.vo
@comment MD5:44103c2c3feb2d798feaa6b46bd53cc0
lib/why3/coq/real/ExpLog.vo
@comment MD5:7fbf192b3a2d425ac901ec20338731cc
lib/why3/coq/real/FromInt.vo
@comment MD5:6511119b3638e9d8cbd14fccce469214
lib/why3/coq/real/MinMax.vo
@comment MD5:55f4db6a8186f21d69626e55d605f98a
lib/why3/coq/real/PowerInt.vo
@comment MD5:1c400cf75f9ead854d4e7cba51e9dea2
lib/why3/coq/real/PowerReal.vo
@comment MD5:d8ad2378b0ba91aaa1314b3b63ff1b2f
lib/why3/coq/real/Real.vo
@comment MD5:1acc690e7d7336bb2bcd6e72f78d6a95
lib/why3/coq/real/RealInfix.vo
@comment MD5:173c4fe6d1c37938221dc053bc2dc7ab
lib/why3/coq/real/Square.vo
@comment MD5:ab33e2fd1e39b048875dd8886a66f961
lib/why3/coq/real/Trigonometry.vo
@comment MD5:34237f31ac8b09eef0f64b5837565fd8
lib/why3/coq/set/Cardinal.vo
@comment MD5:7b5ccae7fa18533c2ac260b9d19f0a32
lib/why3/coq/set/Fset.vo
@comment MD5:f2b3e53ec0e07263362327dfa14807ce
lib/why3/coq/set/FsetInduction.vo
@comment MD5:818130351b780be9ed8cc017e59dfde6
lib/why3/coq/set/FsetInt.vo
@comment MD5:75c028b6be1477e25c9180f48897d878
lib/why3/coq/set/FsetSum.vo
@comment MD5:2a73eed913096e1d9a2d10549b7fb37b
lib/why3/coq/set/Set.vo
@comment MD5:bec9b7e514d838c0a392b098ce997916
lib/why3/coq/set/SetApp.vo
@comment MD5:a4301ef712c45022ecdf4531ed6c8cda
lib/why3/coq/set/SetAppInt.vo
@comment MD5:ca49b1f9a7bffc790279e6a09028dce1
lib/why3/coq/set/SetImp.vo
@comment MD5:d839b3fceb210c8e210cf9f9e51114d2
lib/why3/coq/set/SetImpInt.vo
@comment MD5:c0af731b16cfe25327637cd364513a4c
lib/why3/coq/version
@comment MD5:cf33ca09a97d31327a8d0153879924c7
lib/why3/plugins/cfg.cmxs
@comment MD5:a35005ef2dc7c43ac6e239bb837516d6
lib/why3/plugins/coma.cmxs
@comment MD5:499e56c46a9edc6b6b38d1db13952024
lib/why3/plugins/dimacs.cmxs
@comment MD5:acb56fed6caa748a404fdfd8052268e3
lib/why3/plugins/forward_propagation.cmxs
@comment MD5:1125a1134c7a657706e405510b994021
lib/why3/plugins/genequlin.cmxs
@comment MD5:e38a443fb5cdaa058434c0dd719061f4
lib/why3/plugins/hypothesis_selection.cmxs
@comment MD5:97f58197bd2050edf58856cf51d4859a
lib/why3/plugins/microc.cmxs
@comment MD5:d5685ebc8467fc754f280bea0b72ba80
lib/why3/plugins/python.cmxs
@comment MD5:8e029fcf5cd136663e0473a6b462b1bc
lib/why3/plugins/tptp.cmxs
@comment MD5:7569f941854800d0d328341a526cd8d1
lib/why3/why3-call-pvs
@comment MD5:3931c3d604bed341aff575be9c2a3a9f
lib/why3/why3cpulimit
@comment MD5:2c8fac4f37408f4ec36f389d090f88f6
lib/why3/why3server
@comment MD5:314160e2225582e967365b8345f9620e
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
