@name ott-0.34_0
@portname ott
@portepoch 0
@portversion 0.34
@portrevision 0
@archs x86_64
@pkgdep ocaml-4.14.1_1
@pkgdep ocaml-ocamlgraph-2.2.0_0
@macports_version 2.12.5
@os.subplatform macosx
@os.version 17.7.0
@macos_version 10.13.6
@xcodecltversion 9.4.1.0.1.1528165917
@ports_commit 4c7b02858c7731dc8460480d071c3d8dc78307c8
@source_date_epoch 1780577236
opt/local/bin/ott
@comment MD5:15884e6a0b4d8de19c6d751545b63adc
@comment binary:1
opt/local/share/doc/ott/LICENCE
@comment MD5:b90295a3764fb33fa26b676113ef6c84
@comment binary:0
opt/local/share/doc/ott/Makefile
@comment MD5:7e55ac08b3c71c3da1b49d7d22521074
@comment binary:0
opt/local/share/doc/ott/examples/1Bsemantics/Makefile
@comment MD5:3392b5a2632e2bd96adf49f95ed774ca
@comment binary:0
opt/local/share/doc/ott/examples/1Bsemantics/l1.ott
@comment MD5:b9024864bf52dbe6c126f0761811fb38
@comment binary:0
opt/local/share/doc/ott/examples/1Bsemantics/l2.ott
@comment MD5:6bb19efcda3309079d8d57326d2a2b88
@comment binary:0
opt/local/share/doc/ott/examples/1Bsemantics/svn-log-2018-01
@comment MD5:1af2f790e89ff5903d816bc10cb43719
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/.gitignore
@comment MD5:b215e68d33eefb20f1681abe46a1f1ca
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/Holmakefile
@comment MD5:da6fe98e59e9709847f94894150950b2
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/Makefile
@comment MD5:4b3f8d73c8c268afbf28b93e622afd7c
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/Makefile-distrib
@comment MD5:49a885cdfefdd702f66f28e21f1883b5
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/README
@comment MD5:343bfb46c68c9b3b77806dc9dc74158a
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/README.internal
@comment MD5:2d2e0da5ece9624ef985d79f624f40b9
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/caml_lib_misc.v
@comment MD5:eca1314da96e211a862db22ad9984d8d
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/Makefile
@comment MD5:98339444cff81f96eb5f53039a9d27c8
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/abstract.tex
@comment MD5:2aed50d958df2a4687ad75f60762fa28
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/bib.bib
@comment MD5:c314e1fc35406d7946fecc34eb240859
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/built_doc/caml_typedef.pdf
@comment MD5:591fbd4e8e72009824fefe73b5f5a409
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/built_doc/poster.pdf
@comment MD5:9bc2cdbb560d5917beec17e711745aa0
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/built_doc/poster_rules.pdf
@comment MD5:0735e53689d1a30d1061ff7d8dc6e320
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/llncs.cls
@comment MD5:133b7fc206c1092cb84cbf62035bba22
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/ott-spec.ltx
@comment MD5:ad5d7e1a9e0604110dc02ff47e301bc4
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/poster.sty
@comment MD5:b7ffa30b20f99e61d46125c2811781ba
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/poster.tex
@comment MD5:bd862bfa6cbecc3f4845c1d2f2badd62
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/poster_rules.tex
@comment MD5:4671cb76b628acd957edb652bb5c2b5f
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/postercore.sty
@comment MD5:a47157db543f366b6375312891872315
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/doc/splncs.bst
@comment MD5:9ee4cac30a518501de968fc9f07fe066
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/funex.ott
@comment MD5:4c06cd3ef722857d0371ab8249e8d599
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/.gitignore
@comment MD5:d1fefb465ab1477478d49d8f696e9fe4
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/Holmakefile
@comment MD5:101182c85b72fa46e74bbcf15f19696b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/basicScript.sml
@comment MD5:5e3fd3e09d8a83507ad6126e05bf1584
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/definitionsScript.sml
@comment MD5:58e9e00ce805227f75c122ade3af3de4
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/defs_red_funScript.sml
@comment MD5:efc32b1009a5e68c983f2c798be29df3
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/env_permScript.sml
@comment MD5:aed56e72fd0ddae7f8116c5884f628f1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/environmentScript.sml
@comment MD5:501d379c3812d865310229af3c9b8d1b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/matching_funScript.sml
@comment MD5:025deb6f3951599c3df5dffa420de16b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/.cvsignore
@comment MD5:9b64df5899a5cea649f377ce0ff53f4f
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/Makefile
@comment MD5:fa2ce0b2b00aaac2fb99f39b74164ca6
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/README
@comment MD5:d02c4d9d70abe7729f85614c42b2e5d2
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/main.ml
@comment MD5:432a87adcb3fd336fca99ff0241b254c
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/.cvsignore
@comment MD5:6e9c4cf15845c97af898eaf0c4ef5f5b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/asttypes.mli
@comment MD5:129b0a32c840def7358b37901a520306
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/lexer.mll
@comment MD5:1e30488f62b9f8847991230afde9a72f
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/linenum.ml
@comment MD5:8c7c72569c6d299fe71ae58d8a00677b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/linenum.mli
@comment MD5:f082bc29f1cc32d4369b2ba934cda426
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/linenum.mll
@comment MD5:8dd2170a7110ac40bc03b73135f3edd1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/location.ml
@comment MD5:c0b70b2e6703102e6da97c90cf29c510
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/location.mli
@comment MD5:3b529957727301b3033a556e08a99dd3
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/longident.ml
@comment MD5:3f994983dfd19808c0308f300dae424f
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/longident.mli
@comment MD5:36a54d2e90ba2d8be036229f7d74a834
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/parse.ml
@comment MD5:4dd23ec292d832d254ee2488d3275fa1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/parse.mli
@comment MD5:cb6e60f25dd17f260364259070fccdb0
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/parser.mly
@comment MD5:c8c4248091e116f8167526667df5fc4b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/parsetree.mli
@comment MD5:e6de656a9de4e0a87174a3920006f26d
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/printast.ml
@comment MD5:bc959704bb7e9d186b6d1d0f36dff9df
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/printast.mli
@comment MD5:5c12163674673e4c9aa1f169ffaa23a1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/syntaxerr.ml
@comment MD5:ec15f192d0645dd045d1da377d878048
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/parsing/syntaxerr.mli
@comment MD5:b0335f7f751087351c789a76ec05870c
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/.cvsignore
@comment MD5:0e0d89280df0996a59ea978f15164a02
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/ccomp.ml
@comment MD5:324420fd148b2d098271af759e405fbe
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/ccomp.mli
@comment MD5:1d9a7587912c36eaf1b59afe5746046b
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/clflags.ml
@comment MD5:02f7feeae1ecdc8b933272bea12d99e1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/clflags.mli
@comment MD5:87907631d1be9b06e87a2245687b19f3
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/config.ml
@comment MD5:bcd79d5796aa7f9525f5445d7af53c32
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/config.mlbuild
@comment MD5:a6c1ed518516a759a4ae6d98b5665bef
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/config.mli
@comment MD5:834cd31179a54e4dedd6f9edfa768fa8
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/config.mlp
@comment MD5:1eaa95d8d8c46c2c17cd45c8c1129a47
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/consistbl.ml
@comment MD5:a887b3c60d4e7a7b55733b9255e9bcd1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/consistbl.mli
@comment MD5:52f41a6c281add1fcc50842ad9ff5fbe
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/misc.ml
@comment MD5:dc5e28bb2e1d1340d634b0ccab03dfa2
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/misc.mli
@comment MD5:88f4448838dd572ea2dd61b90dc5fc12
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/tbl.ml
@comment MD5:da2fde134bdd2d0c5d02d7720e7c1de7
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/tbl.mli
@comment MD5:fce27f3b86e3d5cb392dacd6bd137255
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/terminfo.ml
@comment MD5:ce4bd987f127a54ea758cf0aad20467c
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/terminfo.mli
@comment MD5:027064a35f7a4e485c5d11cbbdf7ed59
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/warnings.ml
@comment MD5:31335acf5e94770cd8306beb66f05fce
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/ocamlpp/utils/warnings.mli
@comment MD5:794ff1a69638d93eef7101256659fa11
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/preservationScript.sml
@comment MD5:21708fdfd5e8591a2ee804c934e81af0
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/progressScript.sml
@comment MD5:36740b6e57d7d8c6573c3bd2fe83cea5
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/reduction_funScript.sml
@comment MD5:4ddb39cf95f98e49ce5459f4e583b284
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/remv_tyvarScript.sml
@comment MD5:592db2e5775f882e128e37ea4162c3c1
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/shiftScript.sml
@comment MD5:8f8e3534c6193170b05c86e619ea8259
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/storeScript.sml
@comment MD5:f459f637e07b276d23c36f36abeaccae
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/strengthenScript.sml
@comment MD5:f4b7060ba198105f2d5644c5bd0c6840
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/substsScript.sml
@comment MD5:5a4f019ba228900d7be3d2b5f4bc38a7
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/teqScript.sml
@comment MD5:b1c28b73c516fe66d74198bb8c70e6b8
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/Holmakefile
@comment MD5:47b0dc4c7474b0757683eff577e0d676
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/Makefile
@comment MD5:52f29b8cc12a1e2017f31a2f6ebc9d9f
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/README
@comment MD5:d75ef6d2fe146be0678ea3542e907080
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/make_ml.sml
@comment MD5:a006439d56b7e2a52de131a63d231c66
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/process-tests.scm
@comment MD5:6082f7847d04ca7fc9fec9efbb7ddc72
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/reduction_funML.BUGFIX.sml
@comment MD5:e5aa986d2c0e88b20e86f9cd01e60429
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/sources1.cm
@comment MD5:ef69211db45be6ad2ca137398dc61019
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/sources2.cm
@comment MD5:38e214186bfc6902db930d8d207cd724
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/tests
@comment MD5:c6bd3344efc6347efb58a6a313174411
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/testing/theoryML.cm
@comment MD5:5540df19e9c2006b4075a4df33fd6eee
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/type_substScript.sml
@comment MD5:ffb98f33607d68b629517243cf4df6f0
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/type_substsScript.sml
@comment MD5:44567173bc1cace4d7987c9ddffcf2f6
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/utilScript.sml
@comment MD5:7a6db65ed13fd445ef40e03e48fb08a2
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/validScript.sml
@comment MD5:6a625624fcff1e04545ef27d1f9f6a13
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/hol/weakenScript.sml
@comment MD5:8064effce0924c9bc3ecb62bc60c3b96
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/library.ott
@comment MD5:76b623acef5089825ba301b600830387
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/opsem.ott
@comment MD5:27e502369d644f00ef3d9d02f81e14f8
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/ott-preamble.sed
@comment MD5:c490a756728012a7684450fbba2204aa
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/ott-spec.ltx
@comment MD5:25f247083d2a1886d47f3ef240128b4c
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/reduction.ott
@comment MD5:6f3fe9e5d806b2716599c95b63c3d5db
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/syntax.ott
@comment MD5:a1bb57730bcf2e5f3d0171156bdeff02
@comment binary:0
opt/local/share/doc/ott/examples/ocaml_light/typing.ott
@comment MD5:6b3d530e78af3fe7113a6d12d0eaa3a8
@comment binary:0
opt/local/share/doc/ott/examples/peterson_caml.ott
@comment MD5:ebf1d7be1b0ff9c5d787823b084d2726
@comment binary:0
opt/local/share/doc/ott/examples/tapl/.gitignore
@comment MD5:f139a3db60a697a6dbfa934fde03c4d2
@comment binary:0
opt/local/share/doc/ott/examples/tapl/Makefile
@comment MD5:a4f6f3d906f2741008fb017614c3bc1c
@comment binary:0
opt/local/share/doc/ott/examples/tapl/arrow.ott
@comment MD5:2c6abd5b8be93fdf5baa25ef463e0354
@comment binary:0
opt/local/share/doc/ott/examples/tapl/arrow_typing.ott
@comment MD5:ab8a0b00e68484e92d14b707eeb4a47e
@comment binary:0
opt/local/share/doc/ott/examples/tapl/ascribe.ott
@comment MD5:bf1ea3cd148bc608c656a301b756156d
@comment binary:0
opt/local/share/doc/ott/examples/tapl/basety.ott
@comment MD5:5d89136b81cf785c9c3974bf77f4a0f7
@comment binary:0
opt/local/share/doc/ott/examples/tapl/bool.ott
@comment MD5:3e9011daa59f03c56263c56f1ea614f7
@comment binary:0
opt/local/share/doc/ott/examples/tapl/bool_typing.ott
@comment MD5:84efc4f0c022ab01d77c4398a114c7ca
@comment binary:0
opt/local/share/doc/ott/examples/tapl/bot.ott
@comment MD5:2c1e0e5197a980a4d787d0840a8b5360
@comment binary:0
opt/local/share/doc/ott/examples/tapl/common.ott
@comment MD5:a157b9619b9dfcefe27a29959b9c10a7
@comment binary:0
opt/local/share/doc/ott/examples/tapl/common_index.ott
@comment MD5:d8f85e8c99164be5b979ee8b3a806467
@comment binary:0
opt/local/share/doc/ott/examples/tapl/common_labels.ott
@comment MD5:994735909cb5753f589fc735f661fcfa
@comment binary:0
opt/local/share/doc/ott/examples/tapl/common_typing.ott
@comment MD5:2d845aca1db2b28f0018e56d15725254
@comment binary:0
opt/local/share/doc/ott/examples/tapl/fix.ott
@comment MD5:06be761ee36e94f29a8f4f8938ed6354
@comment binary:0
opt/local/share/doc/ott/examples/tapl/inert.ott
@comment MD5:97aa2e0ba0401f944bc4faa254568632
@comment binary:0
opt/local/share/doc/ott/examples/tapl/let.ott
@comment MD5:d83736c023cff1dc0ba2c7643aab5340
@comment binary:0
opt/local/share/doc/ott/examples/tapl/let_alltt.ott
@comment MD5:020160dd461d77d896bbe65c980c65ca
@comment binary:0
opt/local/share/doc/ott/examples/tapl/nat.ott
@comment MD5:e09c3738191aa80faf134276e15165f8
@comment binary:0
opt/local/share/doc/ott/examples/tapl/nat_typing.ott
@comment MD5:e17ca7d2d6d64f5f68f040675ed64287
@comment binary:0
opt/local/share/doc/ott/examples/tapl/product.ott
@comment MD5:10cbccc9cc449a8630450eac919ebdd9
@comment binary:0
opt/local/share/doc/ott/examples/tapl/record.ott
@comment MD5:5ce6d6761446773331d8f24a8dc0b7ea
@comment binary:0
opt/local/share/doc/ott/examples/tapl/record_with_explicit_types.ott
@comment MD5:0e6b5fd2a1d8445f885d550470f7a713
@comment binary:0
opt/local/share/doc/ott/examples/tapl/seq.ott
@comment MD5:6b4c00ddf5cbf6328704f59936cf1b81
@comment binary:0
opt/local/share/doc/ott/examples/tapl/sub_arrow.ott
@comment MD5:c9c88647ad42848d3b5391c28a89a387
@comment binary:0
opt/local/share/doc/ott/examples/tapl/sub_record.ott
@comment MD5:4c59f09329ba02c0f3c428b4b144e9b4
@comment binary:0
opt/local/share/doc/ott/examples/tapl/sum.ott
@comment MD5:5812fd8dc3cbad1e07a546fed6f405ba
@comment binary:0
opt/local/share/doc/ott/examples/tapl/top.ott
@comment MD5:0f23371b1b95c1f964b041d5f71c76aa
@comment binary:0
opt/local/share/doc/ott/examples/tapl/tuple.ott
@comment MD5:91d5f5658a5d3de72d36a064ba785c85
@comment binary:0
opt/local/share/doc/ott/examples/tapl/tuples.ott
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
@comment binary:0
opt/local/share/doc/ott/examples/tapl/unit.ott
@comment MD5:33b6ef5c7b3d4c699ffdde70a138dd8a
@comment binary:0
opt/local/share/doc/ott/examples/tapl/variant.ott
@comment MD5:b9db7d1e59ed3419f3694e5e840e6e06
@comment binary:0
opt/local/share/doc/ott/favicon.ico
@comment MD5:c8ed35831787a48e9e42eba003a2a770
@comment binary:0
opt/local/share/doc/ott/index.html.p
@comment MD5:2425c54de9726124eaa632c16dce831d
@comment binary:0
opt/local/share/doc/ott/let.alltt.tex
@comment MD5:89b86d526f3b9ca73ab537f01162019c
@comment binary:0
opt/local/share/doc/ott/shorter.bib
@comment MD5:e613baae3c086feecad96b7f2ad962d5
@comment binary:0
opt/local/share/doc/ott/squishtex.hand.ott
@comment MD5:25814c819fd5cbc2ad342c70aa5328d7
@comment binary:0
opt/local/share/doc/ott/style.css
@comment MD5:b54ccd50df914966310aa62618694de8
@comment binary:0
opt/local/share/doc/ott/test10.hand.edited.thy
@comment MD5:7a7261ef1f7ebd4e86115208d1ec3cd7
@comment binary:0
opt/local/share/doc/ott/test10.hand.edited.v
@comment MD5:830b4363c60ecbad9323b826beaf4e98
@comment binary:0
opt/local/share/doc/ott/top2.mng
@comment MD5:388e86b4ceb26be22fa69d087506d9c7
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
