@name ott-0.25_1
@portname ott
@portepoch 0
@portversion 0.25
@portrevision 1
@archs x86_64
@pkgdep ocaml-4.02.2_0
opt/local/bin/ott
@comment MD5:3ed0ba35092c8a3d43a7f58384efab14
opt/local/share/doc/ott/LICENCE
@comment MD5:2e6364e866d6629a4cfa6d939f14ceb7
opt/local/share/doc/ott/examples/peterson_caml.ott
@comment MD5:ebf1d7be1b0ff9c5d787823b084d2726
opt/local/share/doc/ott/examples/tapl/Makefile
@comment MD5:a4f6f3d906f2741008fb017614c3bc1c
opt/local/share/doc/ott/examples/tapl/arrow.ott
@comment MD5:2c6abd5b8be93fdf5baa25ef463e0354
opt/local/share/doc/ott/examples/tapl/arrow_typing.ott
@comment MD5:ab8a0b00e68484e92d14b707eeb4a47e
opt/local/share/doc/ott/examples/tapl/ascribe.ott
@comment MD5:bf1ea3cd148bc608c656a301b756156d
opt/local/share/doc/ott/examples/tapl/basety.ott
@comment MD5:5d89136b81cf785c9c3974bf77f4a0f7
opt/local/share/doc/ott/examples/tapl/bool.ott
@comment MD5:3e9011daa59f03c56263c56f1ea614f7
opt/local/share/doc/ott/examples/tapl/bool_typing.ott
@comment MD5:84efc4f0c022ab01d77c4398a114c7ca
opt/local/share/doc/ott/examples/tapl/bot.ott
@comment MD5:2c1e0e5197a980a4d787d0840a8b5360
opt/local/share/doc/ott/examples/tapl/common.ott
@comment MD5:9721446808c9c96d20b074b0500d070d
opt/local/share/doc/ott/examples/tapl/common_index.ott
@comment MD5:d8f85e8c99164be5b979ee8b3a806467
opt/local/share/doc/ott/examples/tapl/common_labels.ott
@comment MD5:994735909cb5753f589fc735f661fcfa
opt/local/share/doc/ott/examples/tapl/common_typing.ott
@comment MD5:2d845aca1db2b28f0018e56d15725254
opt/local/share/doc/ott/examples/tapl/fix.ott
@comment MD5:06be761ee36e94f29a8f4f8938ed6354
opt/local/share/doc/ott/examples/tapl/inert.ott
@comment MD5:97aa2e0ba0401f944bc4faa254568632
opt/local/share/doc/ott/examples/tapl/let.ott
@comment MD5:d83736c023cff1dc0ba2c7643aab5340
opt/local/share/doc/ott/examples/tapl/let_alltt.ott
@comment MD5:020160dd461d77d896bbe65c980c65ca
opt/local/share/doc/ott/examples/tapl/nat.ott
@comment MD5:e09c3738191aa80faf134276e15165f8
opt/local/share/doc/ott/examples/tapl/nat_typing.ott
@comment MD5:e17ca7d2d6d64f5f68f040675ed64287
opt/local/share/doc/ott/examples/tapl/product.ott
@comment MD5:10cbccc9cc449a8630450eac919ebdd9
opt/local/share/doc/ott/examples/tapl/record.ott
@comment MD5:5ce6d6761446773331d8f24a8dc0b7ea
opt/local/share/doc/ott/examples/tapl/record_with_explicit_types.ott
@comment MD5:0e6b5fd2a1d8445f885d550470f7a713
opt/local/share/doc/ott/examples/tapl/seq.ott
@comment MD5:6b4c00ddf5cbf6328704f59936cf1b81
opt/local/share/doc/ott/examples/tapl/sub_arrow.ott
@comment MD5:c9c88647ad42848d3b5391c28a89a387
opt/local/share/doc/ott/examples/tapl/sub_record.ott
@comment MD5:4c59f09329ba02c0f3c428b4b144e9b4
opt/local/share/doc/ott/examples/tapl/sum.ott
@comment MD5:5812fd8dc3cbad1e07a546fed6f405ba
opt/local/share/doc/ott/examples/tapl/top.ott
@comment MD5:0f23371b1b95c1f964b041d5f71c76aa
opt/local/share/doc/ott/examples/tapl/tuple.ott
@comment MD5:91d5f5658a5d3de72d36a064ba785c85
opt/local/share/doc/ott/examples/tapl/tuples.ott
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
opt/local/share/doc/ott/examples/tapl/unit.ott
@comment MD5:33b6ef5c7b3d4c699ffdde70a138dd8a
opt/local/share/doc/ott/examples/tapl/variant.ott
@comment MD5:b9db7d1e59ed3419f3694e5e840e6e06
opt/local/share/doc/ott/ott_manual_0.25.html
@comment MD5:b68696b6c02cc30e82ce4c3637a0f2fb
opt/local/share/doc/ott/ott_manual_0.25.pdf
@comment MD5:a37ec69b695c83df172457c5497ac60d
opt/local/share/doc/ott/ott_manual_0.25.ps
@comment MD5:54a2f85f699f55766afab00105a548bc
opt/local/share/doc/ott/top2001.png
@comment MD5:616724413ae384a309b1b8609ee08947
opt/local/share/doc/ott/top2002.png
@comment MD5:e11e1f26b22987f45c64f269edab586d
opt/local/share/doc/ott/top2003.png
@comment MD5:55a98f18741dc3e9193f655debe297d4
opt/local/share/doc/ott/top2004.png
@comment MD5:c264bd12c853d0fcc5e629d40ba7e146
opt/local/share/doc/ott/top2005.png
@comment MD5:cc2aa73644c9e5b613181158e338d38f
opt/local/share/doc/ott/top2006.png
@comment MD5:64d3839698df9988e7207ec983992083
opt/local/share/doc/ott/top2007.png
@comment MD5:03cb09c07b689ab52d2e7270bdcd9f4f
opt/local/share/doc/ott/top2008.png
@comment MD5:0b6f534149e64e2c20f10b1481a48589
opt/local/share/doc/ott/top2009.png
@comment MD5:bb052813ff6fbe90854a6639af14acc2
opt/local/share/doc/ott/top2010.png
@comment MD5:4e722165da583c5f3ee5110505e90cf8
opt/local/share/doc/ott/top2011.png
@comment MD5:8885e3c8cd5cf63ef9c618adde17223c
opt/local/share/doc/ott/top2012.png
@comment MD5:b38670f15f3ca75773c4e33f69e82307
opt/local/share/doc/ott/top2013.png
@comment MD5:bd2e01839e234ba8844cb43a3cc41d3f
opt/local/share/doc/ott/top2014.png
@comment MD5:6444379c8b6b111df84805f34a47ecd2
opt/local/share/doc/ott/top2015.png
@comment MD5:36cbc6e4ae454a37063eedbab0c8bc50
opt/local/share/doc/ott/top2016.png
@comment MD5:094b1ea0c2fe274005894f2a7d6177ae
opt/local/share/doc/ott/top2017.png
@comment MD5:6444379c8b6b111df84805f34a47ecd2
opt/local/share/doc/ott/top2018.png
@comment MD5:351491f2f8f4792b73b4d00250b39060
opt/local/share/doc/ott/top2019.png
@comment MD5:91c651b2d3be75e8fc9c08ed52372e99
opt/local/share/doc/ott/top2020.png
@comment MD5:9980175ff2519abbf60a210cb4776e0a
opt/local/share/doc/ott/top2021.png
@comment MD5:ad7be0c9b83a27ffc1fc5de3a3fb1fdc
opt/local/share/doc/ott/top2022.png
@comment MD5:280c985f29cf9c993f624e914bde8486
opt/local/share/doc/ott/top2023.png
@comment MD5:07799bdf4a867cecf2cd19ee14850353
opt/local/share/doc/ott/top2024.png
@comment MD5:ce1b847bd1119f47e353f4c265a24a79
opt/local/share/doc/ott/top2025.png
@comment MD5:0a918f39402a1888ad65252ae1c87641
opt/local/share/doc/ott/top2026.png
@comment MD5:42bdcf1d2061a355f651e4a891a8d10a
opt/local/share/doc/ott/top2027.png
@comment MD5:a994756062e1372f4c03372080256b58
opt/local/share/doc/ott/top2028.png
@comment MD5:72aaed02f5003da4589059bb17d37522
opt/local/share/doc/ott/top2029.png
@comment MD5:09b087d9485372698cb3ccf1cf13df24
opt/local/share/doc/ott/top2030.png
@comment MD5:006275966897b6f0167f0b97eff81e17
opt/local/share/doc/ott/top2031.png
@comment MD5:b8090517079a6dd80872535720ea7bbf
opt/local/share/doc/ott/top2032.png
@comment MD5:d675bf0869d45be50a98f3ce56f4726f
opt/local/share/doc/ott/top2033.png
@comment MD5:8b66428e80a1c9cb3c5ae2623f73ba86
opt/local/share/doc/ott/top2034.png
@comment MD5:ca00b4b9de2284d6eac6f3cbeebf5ac6
opt/local/share/doc/ott/top2035.png
@comment MD5:08655ecb9a02eb4ff6ebe9fb9d398ca0
opt/local/share/doc/ott/top2036.png
@comment MD5:77c76d8282b4f175e5f8bdb460d2d3e8
opt/local/share/doc/ott/top2037.png
@comment MD5:ee89105c9c267a9e6314e3d6a217c733
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
