@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:c622fc3cd0f4dde2e9029397babc5d7f
bin/why3
@comment MD5:057ea4c1b9ed5d15c9af0d8da8807336
lib/ocaml/site-lib/why3/META
@comment MD5:2e50894c915299c99c6597db3dc27cf6
lib/ocaml/site-lib/why3/why3.a
@comment MD5:99ca5ecf751107455bf088d9604f881b
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:200301fc0e1cb38070bb05c7f24aab35
lib/ocaml/site-lib/why3/why3.cmxa
@comment MD5:9472a9c7a2f39249861e7cef6790c840
lib/ocaml/site-lib/why3/why3.cmxs
@comment MD5:991a2d3e25a144afe94e3da972885432
lib/why3/commands/why3bench.cmxs
@comment MD5:1886ee3a684facd72e476584329a7bbc
lib/why3/commands/why3config.cmxs
@comment MD5:3b354e15f9b2f911f29ddbedf27f22fe
lib/why3/commands/why3doc.cmxs
@comment MD5:e1e1a18d856caf9fcae477cf6a1a9ca2
lib/why3/commands/why3execute.cmxs
@comment MD5:271620518de9fd785d553814b46f60b1
lib/why3/commands/why3extract.cmxs
@comment MD5:49c66ab1a4508b2cd4c7acd924f7fbbf
lib/why3/commands/why3ide.cmxs
@comment MD5:5ef2bd2344fc608858f8449bdca0f2ad
lib/why3/commands/why3pp.cmxs
@comment MD5:a1eeb069c2678f3cd3946dba18c656ec
lib/why3/commands/why3prove.cmxs
@comment MD5:0d4ced38b4c3ea81e876e4509543dfa2
lib/why3/commands/why3realize.cmxs
@comment MD5:573030223190d5281c20f06708370f68
lib/why3/commands/why3replay.cmxs
@comment MD5:952c7e507709f14999b780f2c82d85b8
lib/why3/commands/why3session.cmxs
@comment MD5:5b1027fada4bc3935935c1bc17b3983c
lib/why3/commands/why3shell.cmxs
@comment MD5:5cfbd4dd9e3b26f47e9e6d2d6b563f07
lib/why3/commands/why3show.cmxs
@comment MD5:1673246b276f2e1db9092b4ba5383abb
lib/why3/commands/why3wc.cmxs
@comment MD5:c9ff951d8f62d0086608b0b9463ad84e
lib/why3/commands/why3webserver.cmxs
@comment MD5:93a404730cb25a5d3e25426e2224a94f
lib/why3/coq/BuiltIn.vo
@comment MD5:b230986def46ce48eb98556b054cc6bc
lib/why3/coq/HighOrd.vo
@comment MD5:b6bfe9ba94a0f2277008ac81bf069634
lib/why3/coq/WellFounded.vo
@comment MD5:9850def9d53882bde3e0dcf5da99c317
lib/why3/coq/bool/Bool.vo
@comment MD5:198788c03d64f38979d3627d1f0fb0a4
lib/why3/coq/bv/BV_Gen.vo
@comment MD5:e77032d02dc376c3dfdf4d9e4ce28867
lib/why3/coq/bv/Pow2int.vo
@comment MD5:ff207c4ceeddec524259a793b3a06911
lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
@comment MD5:6343205ae1c388ddd29cf5b58981abf1
lib/why3/coq/int/Abs.vo
@comment MD5:572f63796a4399ab5970b5b05749d520
lib/why3/coq/int/ComputerDivision.vo
@comment MD5:85315f46b75063c6953f5bc007603ef9
lib/why3/coq/int/Div2.vo
@comment MD5:3da5ca99438dbdba12468e2e2e06dda5
lib/why3/coq/int/EuclideanDivision.vo
@comment MD5:7a8127dcb25e742ed68c0a8a6f3dbe9a
lib/why3/coq/int/Exponentiation.vo
@comment MD5:e40ca8fd5dada6d40308006dbe46594d
lib/why3/coq/int/Int.vo
@comment MD5:194de3b51ffc879e71a558b3987c198b
lib/why3/coq/int/MinMax.vo
@comment MD5:1528aebc23efbb750078f123cd982a24
lib/why3/coq/int/NumOf.vo
@comment MD5:c92df8fb1412f9ed9bb0c1037ab3f388
lib/why3/coq/int/Power.vo
@comment MD5:c0148693a376e08c9009bb2d7f90b230
lib/why3/coq/list/Append.vo
@comment MD5:52391319879bf0cc855a14bc34a1805d
lib/why3/coq/list/Combine.vo
@comment MD5:35a97722731883738b7921da20fe86b8
lib/why3/coq/list/Distinct.vo
@comment MD5:ae49b2e64d85e3a1ae2c0fc999ad1b98
lib/why3/coq/list/HdTl.vo
@comment MD5:939fcd6bcaa821506e9db84897152329
lib/why3/coq/list/HdTlNoOpt.vo
@comment MD5:12dd97d1432823516e1b2cbade019348
lib/why3/coq/list/Length.vo
@comment MD5:d043e1f4c01f1fc35f2d035c264f5db2
lib/why3/coq/list/List.vo
@comment MD5:5e1aad5db25d74dd256c2e7e9721c8c2
lib/why3/coq/list/Mem.vo
@comment MD5:cced11725d966a7ad511249737712fe8
lib/why3/coq/list/Nth.vo
@comment MD5:5e71210c7457888a2cb2b0b0c5677f5e
lib/why3/coq/list/NthHdTl.vo
@comment MD5:d4c3ed1d48cde6b67266bd7ab6effe8f
lib/why3/coq/list/NthLength.vo
@comment MD5:eaab0fa6f4052ebad804335b3802d94d
lib/why3/coq/list/NthLengthAppend.vo
@comment MD5:d4e50664b07adeeee7bb4d248ff3f7f9
lib/why3/coq/list/NthNoOpt.vo
@comment MD5:eacff2673f239fbe8004fd9483ab29f6
lib/why3/coq/list/NumOcc.vo
@comment MD5:6413272bd1f6f8da5c7d6eab20436ba2
lib/why3/coq/list/Permut.vo
@comment MD5:8805af055aa9db5781dc18ffb346d508
lib/why3/coq/list/RevAppend.vo
@comment MD5:8ef03b9be28bb95b1e24b75076f2d1df
lib/why3/coq/list/Reverse.vo
@comment MD5:3110a15436a135396e386d6bebc47179
lib/why3/coq/map/Const.vo
@comment MD5:517d0301d65f86f071201589a468f6f1
lib/why3/coq/map/Map.vo
@comment MD5:3278b6b312c506c6240b37087028b08c
lib/why3/coq/map/MapExt.vo
@comment MD5:7b581dc1c7b6cb296b01a7682df5bed1
lib/why3/coq/map/MapInjection.vo
@comment MD5:110eb13e980f873e304d1d14f5315074
lib/why3/coq/map/MapPermut.vo
@comment MD5:b0a5f970df0883bbf9f44a081bfd430c
lib/why3/coq/map/Occ.vo
@comment MD5:7f32a741062dcd4e12cbe9cfb6367f5e
lib/why3/coq/number/Coprime.vo
@comment MD5:a3bdd9f834bce3034aa767b3ed135fe6
lib/why3/coq/number/Divisibility.vo
@comment MD5:1a0dd974cf21c109e78ad1f4b059be03
lib/why3/coq/number/Gcd.vo
@comment MD5:5b1e46c92df89994f0b3319c4919b6dd
lib/why3/coq/number/Parity.vo
@comment MD5:da38a54836e7590f7a15f81d3792a315
lib/why3/coq/number/Prime.vo
@comment MD5:6c70d651dcfd9f8d7f3954cc9c496dc6
lib/why3/coq/option/Option.vo
@comment MD5:7875a10c197072f49b91f53275065b3c
lib/why3/coq/real/Abs.vo
@comment MD5:707ee8eaf5fa776b6955418620d74972
lib/why3/coq/real/ExpLog.vo
@comment MD5:4452c58262f4f5703c38ef7fea6cc906
lib/why3/coq/real/FromInt.vo
@comment MD5:e4acf3b6f06fedbb1dea3a50cd75cd13
lib/why3/coq/real/MinMax.vo
@comment MD5:7c2fc1bed62a2a9bde1474bf6066bbea
lib/why3/coq/real/PowerInt.vo
@comment MD5:bbf0868c675d6fcf13104dd7618003b6
lib/why3/coq/real/PowerReal.vo
@comment MD5:23f78f578404d5fa7a83d3c957fdcf51
lib/why3/coq/real/Real.vo
@comment MD5:3f62b4ae8d2e4f39a7a581d95154a0a2
lib/why3/coq/real/RealInfix.vo
@comment MD5:5514acd6dd0a4bdcfbf4b11c52133d5e
lib/why3/coq/real/Square.vo
@comment MD5:bd6db2bac456d78aaf97fc87f8078b8e
lib/why3/coq/real/Trigonometry.vo
@comment MD5:b1733be0a7b31944e5e40690a86768d2
lib/why3/coq/set/Cardinal.vo
@comment MD5:864a2a648ba26ccd8c7ee6fc58d35e0b
lib/why3/coq/set/Fset.vo
@comment MD5:5a125e06f51c61fa1dedf7c36a455b31
lib/why3/coq/set/FsetInduction.vo
@comment MD5:6271c278d48e729f9fb65590649fa3e0
lib/why3/coq/set/FsetInt.vo
@comment MD5:514ccba788a112e797f22a0649995f8b
lib/why3/coq/set/FsetSum.vo
@comment MD5:886384e1d06b2028f7a49560cb835257
lib/why3/coq/set/Set.vo
@comment MD5:25637f33c514604e401b3878e93123b9
lib/why3/coq/set/SetApp.vo
@comment MD5:d01026c21d418d6c205e72b76d4cb2b5
lib/why3/coq/set/SetAppInt.vo
@comment MD5:b8253ef130e4543eb59ab2f3d3ef540f
lib/why3/coq/set/SetImp.vo
@comment MD5:8631dbf78ebc8838d38ef537e00ce721
lib/why3/coq/set/SetImpInt.vo
@comment MD5:24eab871d7272380fd233b694a33d981
lib/why3/coq/version
@comment MD5:cf33ca09a97d31327a8d0153879924c7
lib/why3/plugins/cfg.cmxs
@comment MD5:d960badbccf9a3d6c5fde7e820e55e76
lib/why3/plugins/coma.cmxs
@comment MD5:623f1e7a6e534c07948d5dd1b3632949
lib/why3/plugins/dimacs.cmxs
@comment MD5:2f28087fe56c0c4c8120c144aff8219f
lib/why3/plugins/forward_propagation.cmxs
@comment MD5:c7283d43c44e39a004d20964aeb7abe4
lib/why3/plugins/genequlin.cmxs
@comment MD5:5bb04f469f01e0dfa910f7af5a080846
lib/why3/plugins/hypothesis_selection.cmxs
@comment MD5:f78d0b276c71af2fdccc1c3483519fc0
lib/why3/plugins/microc.cmxs
@comment MD5:530689f6346f093e85883fdbca5771e5
lib/why3/plugins/python.cmxs
@comment MD5:86447bac36eeb05b65d13b320dadc26f
lib/why3/plugins/tptp.cmxs
@comment MD5:b5b6a934a03791130aafd7133f050014
lib/why3/why3-call-pvs
@comment MD5:3931c3d604bed341aff575be9c2a3a9f
lib/why3/why3cpulimit
@comment MD5:f2cd970ce058fd91e8427450b8b043e8
lib/why3/why3server
@comment MD5:c574792c98d5b4373005e5885d3ae8bd
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
