@name abella-2.0.8.3_0
@portname abella
@portepoch 0
@portversion 2.0.8.3
@portrevision 0
@archs x86_64
@pkgdep ocaml-base64-3.5.1_0
@pkgdep ocaml-cmdliner-1.3.0_0
@pkgdep ocaml-menhir-20231231_0
@pkgdep ocaml-re-1.11.0_0
@pkgdep ocaml-yojson-2.2.2_0
opt/local/bin/abella.exe
@comment MD5:cc5792380608d2d24bd7122f6b1722ae
@comment binary:1
opt/local/bin/abella_dep.exe
@comment MD5:986a98a4b931afce741d6e50474b8c7b
@comment binary:1
opt/local/bin/abella_doc.exe
@comment MD5:2310732286dfde46795862defc5c604f
@comment binary:1
opt/local/share/abella/CHANGES.md
@comment MD5:5210fa10f1b5b39e45fca0655c137337
@comment binary:0
opt/local/share/abella/LICENSE
@comment MD5:d32239bcb673463ab874e80d47fae504
@comment binary:0
opt/local/share/abella/README.md
@comment MD5:34ed6fcb5c5c5001607cab626ce45275
@comment binary:0
opt/local/share/abella/emacs/README
@comment MD5:b1f9f6a2b5eef9555ada042c9a1e6c10
@comment binary:0
opt/local/share/abella/emacs/abella.el
@comment MD5:4982a7141e8f0fdc1a48fcd9c3171647
@comment binary:0
opt/local/share/abella/emacs/lprolog-mode.el
@comment MD5:a37bcccb91b9f282b18c5676d0f607aa
@comment binary:0
opt/local/share/abella/examples/.gitignore
@comment MD5:11424a4040e6e10521b3139f54d857f3
@comment binary:0
opt/local/share/abella/examples/first-order/ackermann.thm
@comment MD5:7b672ac398e88aa7ed413b9656f478d7
@comment binary:0
opt/local/share/abella/examples/first-order/add.mod
@comment MD5:86e1e8b5c3c1ccbfaf87602b470ed96c
@comment binary:0
opt/local/share/abella/examples/first-order/add.sig
@comment MD5:cbe9b63723c85d9f90152df36e16a492
@comment binary:0
opt/local/share/abella/examples/first-order/add.thm
@comment MD5:9f5f5c162574461fd1f9fea09962c07c
@comment binary:0
opt/local/share/abella/examples/first-order/even-odd.thm
@comment MD5:589875d5fdf1d94d2945470f3fd6ff4e
@comment binary:0
opt/local/share/abella/examples/first-order/gcd.mod
@comment MD5:eefba1184e666031c2f9d6c425e89174
@comment binary:0
opt/local/share/abella/examples/first-order/gcd.sig
@comment MD5:9f3848223cd9f4caa9eef4e3a8220dea
@comment binary:0
opt/local/share/abella/examples/first-order/gcd.thm
@comment MD5:57fab5456bc1aced2e22c0fd381a2634
@comment binary:0
opt/local/share/abella/examples/first-order/lists.mod
@comment MD5:4202fa2eae965be9900ba726ea5c2037
@comment binary:0
opt/local/share/abella/examples/first-order/lists.sig
@comment MD5:5a6595fcf15128a04be513d882bcc776
@comment binary:0
opt/local/share/abella/examples/first-order/lists.thm
@comment MD5:07a3f80afd20948e4d7270fed8611c59
@comment binary:0
opt/local/share/abella/examples/higher-order/bred_alt.mod
@comment MD5:3d55e29fa6afa6f6929b08ad6784f2fb
@comment binary:0
opt/local/share/abella/examples/higher-order/bred_alt.sig
@comment MD5:9b17076cb16a6c71cebaed93c220622f
@comment binary:0
opt/local/share/abella/examples/higher-order/bred_alt.thm
@comment MD5:36a10ca3cc449bb3a8b9204f71c9a411
@comment binary:0
opt/local/share/abella/examples/higher-order/breduce.mod
@comment MD5:b80e259d58d29a1633445ee7fbc54753
@comment binary:0
opt/local/share/abella/examples/higher-order/breduce.sig
@comment MD5:622e83ee20bdc1d4b46c4cf0d9aebb9e
@comment binary:0
opt/local/share/abella/examples/higher-order/breduce.thm
@comment MD5:a48c03c04da2b769be3e9d31e23bba08
@comment binary:0
opt/local/share/abella/examples/higher-order/debruijn_ho.mod
@comment MD5:3ab36a13990974652f20fe644446ce6d
@comment binary:0
opt/local/share/abella/examples/higher-order/debruijn_ho.sig
@comment MD5:2eb3b56e320b4ed0db2c455874e66303
@comment binary:0
opt/local/share/abella/examples/higher-order/debruijn_ho.thm
@comment MD5:09ee3d154fcbab65e94b68d6e435db7a
@comment binary:0
opt/local/share/abella/examples/index.html
@comment MD5:6ecdf6a115989aef34a36eac82588ea0
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/cr.mod
@comment MD5:739ab28918a35dc1cd8c06c0243260a9
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/cr.sig
@comment MD5:64810e90df2ad466cf30dc1aba5e0b33
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/cr.thm
@comment MD5:46d4a0bac8af45bfb521203db8d4b3e3
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/eval.mod
@comment MD5:31d05adc23c4f8f0a48be06764cd1948
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/eval.sig
@comment MD5:98f144604ff05b968923616d95466fe2
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/eval.thm
@comment MD5:1aa5b3ac5a8efe6f0f732905b73770b0
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/fcurry/fcurry.mod
@comment MD5:a306b342240943078dc3e32c9743b1d7
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/fcurry/fcurry.sig
@comment MD5:6d91d1fd03cd2972ebc80829160a5e3c
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/fcurry/fcurry.thm
@comment MD5:73fe10ddb524fa1ba1cfe0ab3625c1ce
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-strong-norm.mod
@comment MD5:54007fcb23eb44a001bdf65fe5047c73
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-strong-norm.sig
@comment MD5:ae503f661ec53ae1e6274408b6768975
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-strong-norm.thm
@comment MD5:27e0dcbbdd77505fc8c31dbb3625ea28
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-weak-norm.mod
@comment MD5:a6ce0405eebbeb772c6355805abb355d
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-weak-norm.sig
@comment MD5:0c4552454ec5b670875f534a86b56b32
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/normalization/stlc-weak-norm.thm
@comment MD5:a0dcecd2f9b75a22c87b72468be846e9
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/sred.mod
@comment MD5:68c14fb206ec832fba67aa1e5ed414d8
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/sred.sig
@comment MD5:55520ea458f61e2de63094e300387427
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/sred.thm
@comment MD5:07ceb2123297bc3f8a997c514705decb
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/debruijn.mod
@comment MD5:33340d13546db66aabca9875d36163d1
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/debruijn.sig
@comment MD5:5d9acd64872f901d2abd7b2a3d999879
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/debruijn.thm
@comment MD5:c9ecd0494566e6a1b70855cd68e6521c
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/normal.mod
@comment MD5:ec413d625e51ba75e1c2a20487d6e8b2
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/normal.sig
@comment MD5:f3206fa5185ea61dd558c3ff53aa4bfa
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/normal.thm
@comment MD5:1a1951bbd8a73fe4512b8041abbdb160
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/path.mod
@comment MD5:397b700a7b95e7eaf681e87bea65170d
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/path.sig
@comment MD5:e22c34830e91bbfdf3fcee55d3c9dea9
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/term-structure/path.thm
@comment MD5:233c6e6dd43cb46daf16554cc8a1b4b7
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq-fresh.thm
@comment MD5:b7a7748993aa714f95a19fc094a6d06e
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq-lg.thm
@comment MD5:dd3a17ccb79a3b0a2ce8487c35b13e33
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq-single.thm
@comment MD5:e4afd2e14621338a10e1aeb3a613d93a
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq.mod
@comment MD5:1ac287e1ddaaa60c28c6a60e0d84f1a8
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq.sig
@comment MD5:b7d6ddaf6a629949015b49d23ebe1f06
@comment binary:0
opt/local/share/abella/examples/lambda-calculus/type-uniq/type-uniq.thm
@comment MD5:3e62f249e05e7ed52e465c57b8aa4164
@comment binary:0
opt/local/share/abella/examples/logic/cut.mod
@comment MD5:a363d9c69736bb1cb89c1d42ed2cd40c
@comment binary:0
opt/local/share/abella/examples/logic/cut.sig
@comment MD5:a5196cfb5c35e55f5e1855bac25ab708
@comment binary:0
opt/local/share/abella/examples/logic/cut.thm
@comment MD5:ba70ebbca1043d91727d20c0743ff242
@comment binary:0
opt/local/share/abella/examples/logic/equiv.mod
@comment MD5:68a3f77d39af374abe00579ac91e0618
@comment binary:0
opt/local/share/abella/examples/logic/equiv.sig
@comment MD5:392582afbe8428e9c056edfa08708141
@comment binary:0
opt/local/share/abella/examples/logic/equiv.thm
@comment MD5:90c4348f567634b70b5149c7f2c9b061
@comment binary:0
opt/local/share/abella/examples/logic/focus.mod
@comment MD5:f270ef2a6da642fe3d559c72a9900a75
@comment binary:0
opt/local/share/abella/examples/logic/focus.sig
@comment MD5:52eaa41297ceebdd758e3b5f0045c80c
@comment binary:0
opt/local/share/abella/examples/logic/focus.thm
@comment MD5:f9ce7897d377bd0bc525ebd8400763d1
@comment binary:0
opt/local/share/abella/examples/logic/hh_meta.thm
@comment MD5:634f47db66df6f0ce23114795f2848f4
@comment binary:0
opt/local/share/abella/examples/logic/seq.thm
@comment MD5:9ce330da2f2419c84cfdb0bb0caacb01
@comment binary:0
opt/local/share/abella/examples/misc/cascade.thm
@comment MD5:78208dc6f7620732099369803bdc6d20
@comment binary:0
opt/local/share/abella/examples/misc/colist.thm
@comment MD5:e235af979f7d926119b76c2a95175f5a
@comment binary:0
opt/local/share/abella/examples/misc/conat.thm
@comment MD5:86e9ba82ca645d98bcc28c211cda3f8e
@comment binary:0
opt/local/share/abella/examples/misc/copy.mod
@comment MD5:c5376fa1932748ae4d50cf2b855f658a
@comment binary:0
opt/local/share/abella/examples/misc/copy.sig
@comment MD5:15bf1cf0c0689c7a6d659d573503df55
@comment binary:0
opt/local/share/abella/examples/misc/copy.thm
@comment MD5:795eab2dbf18604a0fe95770b46af9e0
@comment binary:0
opt/local/share/abella/examples/misc/flex-rigid.thm
@comment MD5:159f24a808271ae01575e5e6e8262de9
@comment binary:0
opt/local/share/abella/examples/misc/subst.mod
@comment MD5:9c0814ebce0010bba4734d09dc0be4df
@comment binary:0
opt/local/share/abella/examples/misc/subst.sig
@comment MD5:22a95b37ff796f9c252a091835ddc4a0
@comment binary:0
opt/local/share/abella/examples/misc/subst.thm
@comment MD5:08f80e29b1a9707c9000292d912bbb8c
@comment binary:0
opt/local/share/abella/examples/misc/umt.thm
@comment MD5:dcee637735e94be4696163b711e6ffe4
@comment binary:0
opt/local/share/abella/examples/misc/well-founded.thm
@comment MD5:f12a4a5d8ccef277d8b93059f75d8599
@comment binary:0
opt/local/share/abella/examples/pic.md
@comment MD5:63ec9059855fc42806b485d76a0cc16b
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_bisim.thm
@comment MD5:dffe954ff1c27cc5dd07ab70ed9c64f2
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_bisim_context.thm
@comment MD5:1b324f47f3ad9fbec912725dbe3698e3
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_bisim_context_examples.thm
@comment MD5:93d3c64ad13c0fb835d51d5a09c382b4
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_bisim_examples.thm
@comment MD5:f360b09a4d4d195af595dc2b9ac5e9b8
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_bisim_examples_helper.thm
@comment MD5:44377c39ff03ac31c250b3ece213f59a
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_context.thm
@comment MD5:3e0e5fca30db0d057f9b26b28aabf7af
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_core.thm
@comment MD5:f820125267c79959d9e85aa3389c03b6
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs/ccs_ctx.thm
@comment MD5:a103cd19898f98ba668d762aa5975440
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs_two_level/ccs.mod
@comment MD5:488a7858e5005eb3de5bdd3509603f32
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs_two_level/ccs.sig
@comment MD5:5d0d2adee20ca5dc65f8d26c6e0e9662
@comment binary:0
opt/local/share/abella/examples/process-calculi/ccs_two_level/ccs.thm
@comment MD5:ea8faef9c5a8f6371deee90dca307533
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic/pic_bisim.thm
@comment MD5:9c093d387ed6019be3509881c98ef005
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic/pic_bisim_examples.thm
@comment MD5:4051c54f954609e39bd46664f15775c3
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic/pic_core.thm
@comment MD5:ae1e6d2c5704a8d7821fe57aaeaac7d5
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic/pic_ctx.thm
@comment MD5:3518a094da725fc11d3698bb7f74a14d
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/lsc.thm
@comment MD5:e00370ac463e1397f545dffae461cb0a
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/picalc.thm
@comment MD5:de9c707fe71fc6182dfce8aa545f4aa7
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/picalc_str_eq_is_bisimulation.thm
@comment MD5:34779bde2c3ae9779a8b277344ff1b74
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/processes_terms.mod
@comment MD5:3a40a6f86ce69fedd434484d4eab0c80
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/processes_terms.sig
@comment MD5:ced9438229364ab4e030f90f73bfde89
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/trans.thm
@comment MD5:47cb3f427bebc0e23bf736e730b2e790
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_lambda/trans_is_bisimulation.thm
@comment MD5:8384705c5b3ac0e278cfbaa4d53b9390
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/finite-pic-cong.thm
@comment MD5:eb895ad78366e5f4796be28460304d30
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/finite-pic.mod
@comment MD5:b757844353d1c7d50560a8ac4f50b919
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/finite-pic.sig
@comment MD5:ea19296b4f6fe2c0cb8bb68c1e51e0d1
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/finite-pic.thm
@comment MD5:750f72a828ec4bd3929d82ad3b2ce3dd
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/index.html
@comment MD5:edced515a5215f960d2eea923bc574e5
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/pic.mod
@comment MD5:96929c222d74103ad3da253bde0351f2
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/pic.sig
@comment MD5:c84f53cbc572d283d1e30715bab56250
@comment binary:0
opt/local/share/abella/examples/process-calculi/pic_two_level/pic.thm
@comment MD5:6b76f7613e2df1abddabccdb4d0721a7
@comment binary:0
opt/local/share/abella/examples/process-calculi/session_types/sess.mod
@comment MD5:ab94885ac42724124bf7791f32f40938
@comment binary:0
opt/local/share/abella/examples/process-calculi/session_types/sess.sig
@comment MD5:ca337940451f944de24cbc49aea8f874
@comment binary:0
opt/local/share/abella/examples/process-calculi/session_types/sess.thm
@comment MD5:3526c0c3fb0729fad845b8296589f6df
@comment binary:0
opt/local/share/abella/examples/programming-languages/ees.mod
@comment MD5:03f27f2e01c53227b0584b58d64d4ed4
@comment binary:0
opt/local/share/abella/examples/programming-languages/ees.sig
@comment MD5:b86dccaa7f7b0b6863e644bb9068ba3d
@comment binary:0
opt/local/share/abella/examples/programming-languages/ees.thm
@comment MD5:e731e0d942757114e0a93d995adb70e5
@comment binary:0
opt/local/share/abella/examples/programming-languages/howe/howe.thm
@comment MD5:abc482c842039e6545aae3fa33cbad41
@comment binary:0
opt/local/share/abella/examples/programming-languages/howe/pclf.mod
@comment MD5:badbf825279b91a8b01e3bacff90d7ef
@comment binary:0
opt/local/share/abella/examples/programming-languages/howe/pclf.sig
@comment MD5:78907097471fb2ccbc59a364b64d65f4
@comment binary:0
opt/local/share/abella/examples/programming-languages/howe/sim.thm
@comment MD5:b818decae2e2c0ae006a77b29c145cd8
@comment binary:0
opt/local/share/abella/examples/programming-languages/howe/subst.thm
@comment MD5:685e31f541ae2cc6fa1c390485e56840
@comment binary:0
opt/local/share/abella/examples/programming-languages/pcf.mod
@comment MD5:95be13480ca1b15feee5d32eb3522dbe
@comment binary:0
opt/local/share/abella/examples/programming-languages/pcf.sig
@comment MD5:641001293a69c6d7edb32aaa0fdeb9f4
@comment binary:0
opt/local/share/abella/examples/programming-languages/pcf.thm
@comment MD5:9dcd942820151c24e4fb622ac1a8adcd
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-1a.mod
@comment MD5:43c81ccc6837246d44d8eea6091058b1
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-1a.sig
@comment MD5:b88514d2081007f9513825edb0cdfb1d
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-1a.thm
@comment MD5:d97ae12914d7779bde95110b1b08f3d1
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-2a.mod
@comment MD5:181317543484c593a00da7cc1dfc4d35
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-2a.sig
@comment MD5:9f634832078159c899fb9991c0983912
@comment binary:0
opt/local/share/abella/examples/programming-languages/poplmark-2a.thm
@comment MD5:841e16ee4e7005f4a8facedf4dd02dec
@comment binary:0
opt/local/share/abella/examples/schm-poly/schm_poly_tst.mod
@comment MD5:ad99ffb1b218b2b61ce4656f4c4df213
@comment binary:0
opt/local/share/abella/examples/schm-poly/schm_poly_tst.sig
@comment MD5:b9f755795b166db1a3a834882c5b655e
@comment binary:0
opt/local/share/abella/examples/schm-poly/schm_poly_tst.thm
@comment MD5:78a2037e637a7c89f5a44391350ba3a0
@comment binary:0
opt/local/share/man/abella.1
@comment MD5:a0b46a684267a4a60a6ded8ff021bb53
@comment binary:0
opt/local/share/man/abella_dep.1
@comment MD5:e58185b72a97ca46ef3517084c3b6c55
@comment binary:0
opt/local/share/man/abella_doc.1
@comment MD5:c4f66dd72a17abe68ec5f32e1bd68079
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
