@cwd /usr/pkg
@name herdtools7-7.58
@blddep ocaml-4.14.3
@pkgdep ocaml>=4.14.3
@blddep ocaml-findlib-1.9.8nb3
@pkgdep ocaml-findlib>=1.9.3nb1
@blddep ocaml-zarith-1.14nb3
@pkgdep ocaml-zarith>=1.13
@blddep digest-20220214
@blddep menhir-20260112nb2
@blddep ocaml-opaline-0.3.3nb4
@blddep mktools-20250213
@blddep cwrappers-20220403
@blddep ocaml-dune-3.23.1
@comment $NetBSD: PLIST,v 1.1 2026/06/29 00:53:14 dholland Exp $
bin/aslbundler
@comment MD5:244bfcca8784d2e1cc93d13a6cb75f29
bin/aslref
@comment MD5:412d5baa6c558a56efb24303a67eed03
bin/atomize7
@comment MD5:40ebdafea7a07708cbf900f251698e75
bin/atoms7
@comment MD5:32f140e74bf2da8ff20a5b70e45abb1b
bin/bento
@comment MD5:498bd584570e39174bec53d2f805fbfb
bin/cat2html7
@comment MD5:6b5a43944aeed49f4c86d6b9d89613de
bin/classify7
@comment MD5:4cb27c8339e6c702a4ebe946a074e2c6
bin/diy7
@comment MD5:06606b3bf3c702fd7c94a69a2c0425ed
bin/diycross7
@comment MD5:ec7ad9a0c5e881252bedd4173df6abf6
bin/diyone7
@comment MD5:889831a2fa71f39ffd71af431863ac08
bin/gen_theme7
@comment MD5:9eea9e2225153435d8d7b72e0028fe23
bin/herd7
@comment MD5:3d0aa0c5321d80937d01a15729ca217f
bin/jingle7
@comment MD5:b65fb37426904cd22b5097ee271b200c
bin/klitmus7
@comment MD5:3267d61ce0dd426f385bfa8ad17154a1
bin/knames7
@comment MD5:09813c6cbcde8d507e49df37ef805bc7
bin/ksort7
@comment MD5:c041ac67c9abe6a4561f825074594a27
bin/litmus7
@comment MD5:7e872034c9b1ff8eabd6a59d8a738f86
bin/madd7
@comment MD5:83a1d8b4ea997c621e9c06fabb253eb9
bin/mapply7
@comment MD5:e1721e6bda14aa4dc9d2afcda0de23af
bin/mcat2includes7
@comment MD5:2fd6942ba77c08f203f50ff37b57e072
bin/mcmp7
@comment MD5:34ebe535e1abc0de23825cab225279d0
bin/mcompare7
@comment MD5:c66d7027c0e28d95e263fbc77bf86848
bin/mcond7
@comment MD5:865f19b9ceabafaaa5c9c7e955a66400
bin/mcycles7
@comment MD5:2e4102b95a79b5fc46996f1eea98847e
bin/mdiag7
@comment MD5:59b8e431e129e1c7306e30039b05bf8a
bin/mdiff7
@comment MD5:582671e98b36c25fe933c04cd773d38d
bin/mexpand7
@comment MD5:17f481953a625ad7b7ebb04221ea20ec
bin/mfilter7
@comment MD5:05fb959c8a0c8158ed7b4c3821ef82be
bin/mfind7
@comment MD5:ec1321c7afbfec058ed9de43d55e5074
bin/mflags7
@comment MD5:ef5b73e28e6a29f86e5e7ad18173fc6d
bin/mhash7
@comment MD5:a877fa938703bb6ac1673350db8e990c
bin/miaou7
@comment MD5:47970bf6d3b8e5a4f4007aa0daf4e347
bin/mlisa2c7
@comment MD5:b7a39664f7ffec641f1e3b131e8eb0cc
bin/mlock7
@comment MD5:944b22963d2708cebf3f118a2c288e69
bin/mlog2cond7
@comment MD5:b056479bf7ba4cef43dd456171dadf0c
bin/mlog2name7
@comment MD5:d344abd195c040cb0518cad43f7f33b1
bin/mmixer7
@comment MD5:24413cddb564eb9bb6ccafc86ade3f0c
bin/mnames7
@comment MD5:a00bb5845b937db5d5c1c5b29255f488
bin/mobserved7
@comment MD5:2cf636e1b1c79a12bae91fdfff6e881f
bin/moutcomes7
@comment MD5:b8328645b423b17c6b34115c36dfb5c8
bin/mprog7
@comment MD5:dc82cb7408c4be4c0ae9df53e9a82bc8
bin/mproj7
@comment MD5:bb7a912da847d29bb3f3babc710eeabe
bin/mrcu7
@comment MD5:990e2beb375c744be36d9bf6823f48a3
bin/mselect7
@comment MD5:1c894062a2bd2f693184a3a22c1a81c5
bin/mshowhashes7
@comment MD5:cfface61a75514e9b33d86032c53f6ac
bin/msort7
@comment MD5:5d18a30ea2b455417b187ddefe0f85be
bin/msum7
@comment MD5:d57c4c28dbe4d5d2c007d8a644531b3c
bin/mtopos7
@comment MD5:2a0fb6c688b62e54733ba440d2319b95
bin/mtrue7
@comment MD5:5d744889a994b427711bbe6b90fa6ccf
bin/nexts7
@comment MD5:16985d043d8c65c5290de7fdf841a8b6
bin/norm7
@comment MD5:1a7c8efcc6917092f2863aaa84c915c1
bin/readRelax7
@comment MD5:b39de9eea258ad54b3043f43ffcb6e2c
bin/recond7
@comment MD5:d71dd86292afb0b1a907ec133c3f4e36
bin/rehash7
@comment MD5:de769eb8748b02d35393ef4ad30e5f35
bin/splitcond7
@comment MD5:965dfaf9b52eb1ae66292d65672200d8
bin/splitdot7
@comment MD5:75f5631bd311ac8ec8ffdf3708193af0
lib/ocaml/site-lib/herdtools7/META
@comment MD5:1b726bb1a221da6933851f5b85c8a442
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Gparser0.cmi
@comment MD5:b77649cf36c1e4fe3e20a874b3c28814
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Gparser0.cmt
@comment MD5:285699591a65b6084c073948104b62eb
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Lexer0.cmi
@comment MD5:3bfcdabd7cec7edbdfd3cf24012c8a63
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Lexer0.cmt
@comment MD5:7ea326ef56a03f34bc1c83804fcbe0d2
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmi
@comment MD5:e3abbd9ffde7daf5fa510cf66435569f
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmt
@comment MD5:45a89dd1679a8e2d9e5cb4329c8223d4
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__Parser0.cmti
@comment MD5:34e6d7e581b78a7bae4712974ea3e7b1
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmi
@comment MD5:e920cd19a107b088a49f6a9d41ec11ae
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmt
@comment MD5:8c3b7a16ad69561a9931f1276ed3dc32
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmi
@comment MD5:f44300ea7d73ab0f7855b0eeab2c72dd
lib/ocaml/site-lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmt
@comment MD5:8f06f3eb127bfafc892d5a3ff98d98dd
lib/ocaml/site-lib/herdtools7/asllib/AST.mli
@comment MD5:e2479c04fa7c42ffc8d6ea2a0ab120e6
lib/ocaml/site-lib/herdtools7/asllib/ASTUtils.ml
@comment MD5:2b2951837e676a68f1943d1694348c7d
lib/ocaml/site-lib/herdtools7/asllib/ASTUtils.mli
@comment MD5:0139186a7f7f8d2b851a869c365dce13
lib/ocaml/site-lib/herdtools7/asllib/Interpreter.ml
@comment MD5:4b54b27bfe19397efca661036652e732
lib/ocaml/site-lib/herdtools7/asllib/Interpreter.mli
@comment MD5:911b55d6959b5501fe533bf4103dc6de
lib/ocaml/site-lib/herdtools7/asllib/Lexer.ml
@comment MD5:7d8f36718b2e65ed07e15fad4ad4e4aa
lib/ocaml/site-lib/herdtools7/asllib/Native.ml
@comment MD5:6af61a158bb61496adf90d5e3fc58e8c
lib/ocaml/site-lib/herdtools7/asllib/Native.mli
@comment MD5:9d9cd99cc909ff4ec71852fd2370f2c6
lib/ocaml/site-lib/herdtools7/asllib/Operations.ml
@comment MD5:d6d0f4b850df5045f57e845e752cb581
lib/ocaml/site-lib/herdtools7/asllib/PP.ml
@comment MD5:2370c295aabfd0cbbd64536495893823
lib/ocaml/site-lib/herdtools7/asllib/PP.mli
@comment MD5:a8be6d86302cfb1c2b47d9b1249ed0f7
lib/ocaml/site-lib/herdtools7/asllib/Parser.ml
@comment MD5:07b7834520f62cabb813b64eaf3a2552
lib/ocaml/site-lib/herdtools7/asllib/Parser.mli
@comment MD5:e34365fd40f5c894bc3c2611c242bc15
lib/ocaml/site-lib/herdtools7/asllib/Parser0.ml
@comment MD5:46d1752278528b34d40747666954b6ec
lib/ocaml/site-lib/herdtools7/asllib/Parser0.mli
@comment MD5:dc5a81963fd4bc7c6f6ea9e15bc48219
lib/ocaml/site-lib/herdtools7/asllib/ParserConfig.mli
@comment MD5:d3712649e2016c8cccb38ef7d86e59e5
lib/ocaml/site-lib/herdtools7/asllib/Serialize.ml
@comment MD5:8d813de168ab847786cc75172602dd1b
lib/ocaml/site-lib/herdtools7/asllib/Serialize.mli
@comment MD5:a56bec80db76c67e6ee6102deb4a7844
lib/ocaml/site-lib/herdtools7/asllib/SideEffect.ml
@comment MD5:2d46c4972b56637b7714704d1f7c4fce
lib/ocaml/site-lib/herdtools7/asllib/SideEffect.mli
@comment MD5:3b2fa081e2afa9067dd20d972b8519af
lib/ocaml/site-lib/herdtools7/asllib/SimpleLexer0.ml
@comment MD5:2f65e1076317f9867a2d94db08a75bee
lib/ocaml/site-lib/herdtools7/asllib/StaticEnv.ml
@comment MD5:16d463b58117ce9614f744bc08e39201
lib/ocaml/site-lib/herdtools7/asllib/StaticEnv.mli
@comment MD5:a95c43dcfc3b77cdad022d80f2293a16
lib/ocaml/site-lib/herdtools7/asllib/StaticInterpreter.ml
@comment MD5:0e9239b6ce4a7f4869eb3801bd97cced
lib/ocaml/site-lib/herdtools7/asllib/StaticInterpreter.mli
@comment MD5:3efc9db3949751f5df4c9fc3e84cff64
lib/ocaml/site-lib/herdtools7/asllib/StaticModel.ml
@comment MD5:329cc02a009b1cc09114127936bb8eda
lib/ocaml/site-lib/herdtools7/asllib/StaticModel.mli
@comment MD5:6c77f34560dad8e90f6be1a17ec6e7f6
lib/ocaml/site-lib/herdtools7/asllib/StaticOperations.ml
@comment MD5:831dc350ad0e042b48948982211f0381
lib/ocaml/site-lib/herdtools7/asllib/StaticOperations.mli
@comment MD5:871ef6a0a3060075a6979d6eb7f33aea
lib/ocaml/site-lib/herdtools7/asllib/Tokens.ml
@comment MD5:5caf9f59f8a63500c9de7348b017e06a
lib/ocaml/site-lib/herdtools7/asllib/Tokens.mli
@comment MD5:9a1c4e869261133d05a22686955f4738
lib/ocaml/site-lib/herdtools7/asllib/TopoSort.ml
@comment MD5:53a8020f421dfe9547e020ab661c3028
lib/ocaml/site-lib/herdtools7/asllib/TopoSort.mli
@comment MD5:e2448783fcd6277d407ba3da9114ae55
lib/ocaml/site-lib/herdtools7/asllib/Typing.ml
@comment MD5:88bc5e6735f57af1dcdbc05c9d1e1ca3
lib/ocaml/site-lib/herdtools7/asllib/Typing.mli
@comment MD5:860afd53f3b4b50d3fbce51b3bf87c5f
lib/ocaml/site-lib/herdtools7/asllib/Version.ml
@comment MD5:503a25e1496629704d19f560c4a6f8d8
lib/ocaml/site-lib/herdtools7/asllib/asl_stdlib.ml
@comment MD5:432025c2693a9770ec91aabe2854c2e4
lib/ocaml/site-lib/herdtools7/asllib/asllib.a
@comment MD5:3572b0b23e20539ec5546b334bf56e81
lib/ocaml/site-lib/herdtools7/asllib/asllib.cma
@comment MD5:70d775e79ca63dd7a32fc2ce0b6746f8
lib/ocaml/site-lib/herdtools7/asllib/asllib.cmi
@comment MD5:d5338cb93963a3b61018d92974a34bfa
lib/ocaml/site-lib/herdtools7/asllib/asllib.cmt
@comment MD5:84c32899ee022ab11199ba8c1b9469fa
lib/ocaml/site-lib/herdtools7/asllib/asllib.cmx
@comment MD5:7a456d44af3289e1d82eead9bf09bbde
lib/ocaml/site-lib/herdtools7/asllib/asllib.cmxa
@comment MD5:193a4cb0ed51db7b671d50beb5635aed
lib/ocaml/site-lib/herdtools7/asllib/asllib.cmxs
@comment MD5:7d4672c43a12373faa93eaf4bc3ba97f
lib/ocaml/site-lib/herdtools7/asllib/asllib.ml
@comment MD5:409be2fd5e178d5897870dc22cce1a15
lib/ocaml/site-lib/herdtools7/asllib/asllib__AST.cmi
@comment MD5:14a1b9258c13f5b10817c614d8a280fd
lib/ocaml/site-lib/herdtools7/asllib/asllib__AST.cmti
@comment MD5:118d01210876911bfb8a4d2b96a88b1b
lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmi
@comment MD5:1e91d1917aabedebb9defda40c1752d3
lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmt
@comment MD5:1949ae8e4c1af4d0d47f305ee763c61e
lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmti
@comment MD5:f3b7f2daca5a1188f887d2d78beb149e
lib/ocaml/site-lib/herdtools7/asllib/asllib__ASTUtils.cmx
@comment MD5:104412a18c679fe19f2affd5003d49b5
lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmi
@comment MD5:a849c450fe58bec0eca9af067ffbaf03
lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmt
@comment MD5:768082d78d4eb8d149584b93e0618f17
lib/ocaml/site-lib/herdtools7/asllib/asllib__Asl_stdlib.cmx
@comment MD5:3ccde2fc518c31702e7a476e57e395c0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Backend.cmi
@comment MD5:1f5422dca394a01cbda7e04086c245f0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Backend.cmti
@comment MD5:ed94b688c1058fee1a6e5b3211e2e2f2
lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmi
@comment MD5:d1d1df5781835d700a37f36eaba3ecb8
lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmt
@comment MD5:89168280894c0fb6d10fb1ce9acea011
lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmti
@comment MD5:7571ac352cac0f1aaaa640af83d5c973
lib/ocaml/site-lib/herdtools7/asllib/asllib__Bitvector.cmx
@comment MD5:93b909b6589e9dd74d9ffe6b58249fb1
lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmi
@comment MD5:61328efef58ff483a7f6ec85d519d1e3
lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmt
@comment MD5:81543b3a3a12152dc7f91402204df718
lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmti
@comment MD5:966dd68fa517e903a5be35f3957671f4
lib/ocaml/site-lib/herdtools7/asllib/asllib__Builder.cmx
@comment MD5:7f1acb3830be1ec7a57c4744ebe90029
lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmi
@comment MD5:c5fdf5b4fbd53f30486355fc618a8294
lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmt
@comment MD5:fddd6d9f0186f87d3127e30e61b3b540
lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmti
@comment MD5:04b280bcf813e52b7f1aa0dffb3cd8a0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Desugar.cmx
@comment MD5:46d9903d18b5093fb739d3e239cd6498
lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmi
@comment MD5:c39c0fb5da88e57adf9c6d65c0d448f5
lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmt
@comment MD5:b93a699a95ba64f4ec341d1e4f5d4447
lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmti
@comment MD5:6f618d8f6edcb5982f5fd37a90cb43d5
lib/ocaml/site-lib/herdtools7/asllib/asllib__Diet.cmx
@comment MD5:be98be56c039414a18acd484c522b8da
lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmi
@comment MD5:7449ce9cf8a287a9ffdce59e8a90998d
lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmt
@comment MD5:30a88ad5decaace4de93e4ba5291ccf8
lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmti
@comment MD5:15033068d7bea597c21a3a335be8612a
lib/ocaml/site-lib/herdtools7/asllib/asllib__Env.cmx
@comment MD5:ce2b3bc9684bda2d52e76a5f7523a86e
lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmi
@comment MD5:ca35f7501a722d4871b79b878c732e76
lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmt
@comment MD5:4628ab400ed301d95ad3a6b0e25b73f3
lib/ocaml/site-lib/herdtools7/asllib/asllib__Error.cmx
@comment MD5:0506e6ad72845b653ef276241e6971c9
lib/ocaml/site-lib/herdtools7/asllib/asllib__Gparser0.cmx
@comment MD5:aa32703804def81f7672893537a0fd6b
lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmi
@comment MD5:6c777bdc7d47ac98bd4991831b55fee4
lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmt
@comment MD5:e58d3aa3e5d55b5a952eaae721606c9b
lib/ocaml/site-lib/herdtools7/asllib/asllib__Instrumentation.cmx
@comment MD5:195b7767dcc1b80b23fc3d0f2e8f9ea9
lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmi
@comment MD5:efd3a8e96ad241b89689972912f9d66b
lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmt
@comment MD5:e882a07d1fb9f19dc840875acd42b8b5
lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmti
@comment MD5:55ba28acc19062f7874e9ae3b2f0f8b4
lib/ocaml/site-lib/herdtools7/asllib/asllib__Interpreter.cmx
@comment MD5:b0dc22633c289240a67c7ca38efec812
lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmi
@comment MD5:ca0a9f6a8aff9d87a35c3d6522f60525
lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmt
@comment MD5:4680e5246cae63ff43ad6f518c344a11
lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer.cmx
@comment MD5:e95668a886110545f51a5afa43b33d44
lib/ocaml/site-lib/herdtools7/asllib/asllib__Lexer0.cmx
@comment MD5:e1ffa98496f8fd0b6375728c064846f8
lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmi
@comment MD5:3527afebb8ee9ccd7c886bdef3ae64bb
lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmt
@comment MD5:7f1fbf32b5be5e03d99b4c5f6aa5e639
lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmti
@comment MD5:4824fa91ffca2b046d647a30db90d6d3
lib/ocaml/site-lib/herdtools7/asllib/asllib__Native.cmx
@comment MD5:513efbdeec47df98dc5f142f6bb59658
lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmi
@comment MD5:62ca5de28b0c3b06b235111d03eab0e9
lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmt
@comment MD5:4d844519993323e53e1019a9695ff6eb
lib/ocaml/site-lib/herdtools7/asllib/asllib__Operations.cmx
@comment MD5:fca3f0f72f441e5f0ca07e0557a1ffe3
lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmi
@comment MD5:afe9d4e9c3afbb2c46664df00d13e32c
lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmt
@comment MD5:a5cccedfb5d031e4a22d4474a6ff2aef
lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmti
@comment MD5:9a343ca8aac6d8e75d9a388f35601588
lib/ocaml/site-lib/herdtools7/asllib/asllib__PP.cmx
@comment MD5:b9369dd79ab6ae2d5d04a4a0d51a4bfd
lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmi
@comment MD5:3ef48c5d815e501e1717c0c088cda9cd
lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmt
@comment MD5:e56301eefcde36465616f702caefd419
lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmti
@comment MD5:8241e35651da202e2fbf615a93c998c0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser.cmx
@comment MD5:6ab389ea8e6cd9dc01c7af40d41839d0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Parser0.cmx
@comment MD5:57c6da123b88605a6641ddcb17454085
lib/ocaml/site-lib/herdtools7/asllib/asllib__ParserConfig.cmi
@comment MD5:0be3e9b87c38c5946320df979c1dca44
lib/ocaml/site-lib/herdtools7/asllib/asllib__ParserConfig.cmti
@comment MD5:d8f68f1936337b0e6f6f9eb5a10c6288
lib/ocaml/site-lib/herdtools7/asllib/asllib__RepeatableLexer.cmx
@comment MD5:065089bbe6dc5a1357a6aa71f12c0385
lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmi
@comment MD5:869813d8f6d3d1febb1f75bdf387b63c
lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmt
@comment MD5:5354e7b905b82fe5a4cc88cab8ec8daa
lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmti
@comment MD5:7e1817fefd9e63a4c10d230315aa4536
lib/ocaml/site-lib/herdtools7/asllib/asllib__Serialize.cmx
@comment MD5:0a444fac9c2efbbceb2d5820dd080b2e
lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmi
@comment MD5:15570050f858ac96ed0eb0b8da988459
lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmt
@comment MD5:33e9f7b07d90c23e86c0c6a3a037b769
lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmti
@comment MD5:2c70a240e00404eefd2531a91057ec54
lib/ocaml/site-lib/herdtools7/asllib/asllib__SideEffect.cmx
@comment MD5:9b9afbae454057154d9eef0998681d14
lib/ocaml/site-lib/herdtools7/asllib/asllib__SimpleLexer0.cmx
@comment MD5:66edbd61cc89116b75d9d5b9f6427d61
lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmi
@comment MD5:e3c243416eb8d8a1fb6571eec66000bc
lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmt
@comment MD5:388b65314d77ce45ab095bf7c2fbe156
lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmti
@comment MD5:43d82c11c4200ee65b9bb892bc7ad316
lib/ocaml/site-lib/herdtools7/asllib/asllib__Splitasl.cmx
@comment MD5:c6cfbfca669944f4397e98426b75bd21
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmi
@comment MD5:36ec22bde38f827a49bbce90561a83a0
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmt
@comment MD5:4ffe42c66937483ab8db1e8d03d8f84f
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmti
@comment MD5:7f74b7381ae74ddb4609918d7350e1a2
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticEnv.cmx
@comment MD5:865e1998f2c529ac3b2424a53304cc86
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmi
@comment MD5:544f1c44b4477051360df04b38d6fa2e
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmt
@comment MD5:0cf6d93218e8acfc0fd20cd424b3b0f6
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmti
@comment MD5:f75d96a585650d99f98faf89fc66efdc
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticInterpreter.cmx
@comment MD5:59ed2babde0157d308832f6158eba848
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmi
@comment MD5:c53e429b18771ce209cb74259fa56cd4
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmt
@comment MD5:a7353f651c7c610328cfd662bbe993da
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmti
@comment MD5:e3d80a9fd75eb3041cd3843ed527be2e
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticModel.cmx
@comment MD5:f3e2195ab7b21f93c93cd8406f72ebb6
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmi
@comment MD5:01eda74d5e6d8238f9a7c02d9694142c
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmt
@comment MD5:7a1e4e184d854cf876fc7e126f765f76
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmti
@comment MD5:96b4c8f0d1bdb00f71c6f8e0cf15a4f5
lib/ocaml/site-lib/herdtools7/asllib/asllib__StaticOperations.cmx
@comment MD5:6c8aebb4a20ab0690f1b674f8b70dc3a
lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmi
@comment MD5:cee83c4e5758b43b14c80628d6650575
lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmt
@comment MD5:67a0b8d918de4796772cb63e1a8947bd
lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmti
@comment MD5:bc140950884803ee6e30d164409ddea1
lib/ocaml/site-lib/herdtools7/asllib/asllib__Storage.cmx
@comment MD5:254b65560049b3f3cdb2e33f16fff894
lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmi
@comment MD5:67fd9c439cffc1110088548af8a4eab4
lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmt
@comment MD5:cc5df1ab483e61b907419d25e424eeec
lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmti
@comment MD5:68cdd5843d1979463e0c8d38a8236c35
lib/ocaml/site-lib/herdtools7/asllib/asllib__Tokens.cmx
@comment MD5:1add27764fad0bd2bfe80cb4cfb1894d
lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmi
@comment MD5:afade9d7547cadbc13512cbe9965383e
lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmt
@comment MD5:a1af24794f62cbb3218d917a4dd71e4b
lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmti
@comment MD5:8981ab30864d8a738724a0873f4f583a
lib/ocaml/site-lib/herdtools7/asllib/asllib__TopoSort.cmx
@comment MD5:d520f4b8631f95ba8bfbb34a6e95858e
lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmi
@comment MD5:f52542528c2b488cfbee3fba17f9184b
lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmt
@comment MD5:351d36edf09e85436b9fe7921995f567
lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmti
@comment MD5:47cf58213cebdd62ca40de1a256b4db7
lib/ocaml/site-lib/herdtools7/asllib/asllib__Types.cmx
@comment MD5:eae0e2e8601344332c9b9c4041733583
lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmi
@comment MD5:576d008d69edc15d0afd36cb8b62a154
lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmt
@comment MD5:1b223d676d00bcc51df8684c6f8967ef
lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmti
@comment MD5:027694e7826eab0ac9a318c5ea430ed0
lib/ocaml/site-lib/herdtools7/asllib/asllib__Typing.cmx
@comment MD5:08dfc3364700163f077cff202e223ecb
lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmi
@comment MD5:51d83cb381f800df4bdb9c01cef13818
lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmt
@comment MD5:61f905d8863412108dcbaa2bd3f20103
lib/ocaml/site-lib/herdtools7/asllib/asllib__Version.cmx
@comment MD5:d69b562e7c6dbd47a34a29bf100b4a16
lib/ocaml/site-lib/herdtools7/asllib/backend.mli
@comment MD5:090e922d19c17406c4a8b98984889a91
lib/ocaml/site-lib/herdtools7/asllib/bitvector.ml
@comment MD5:4688f987ce7cc4d8e5a8f7df87fb5ec4
lib/ocaml/site-lib/herdtools7/asllib/bitvector.mli
@comment MD5:1cf60701eb41b0dd62be32bd8ae14b8d
lib/ocaml/site-lib/herdtools7/asllib/builder.ml
@comment MD5:f071c0f6314a6a0875013730bdf2defe
lib/ocaml/site-lib/herdtools7/asllib/builder.mli
@comment MD5:bd4a228303adb5b92825a9e3f26576e9
lib/ocaml/site-lib/herdtools7/asllib/desugar.ml
@comment MD5:1ac9f8e4ea5e50bc1f6e0e2a68646587
lib/ocaml/site-lib/herdtools7/asllib/desugar.mli
@comment MD5:6869dc69c99f1a4ef84d0ede3c9c172a
lib/ocaml/site-lib/herdtools7/asllib/diet.ml
@comment MD5:b6adf280a31678bd2dead5e504e6aba2
lib/ocaml/site-lib/herdtools7/asllib/diet.mli
@comment MD5:4fde06100e9b18180cbeb4f3402f7249
lib/ocaml/site-lib/herdtools7/asllib/env.ml
@comment MD5:d763feeeace15487cf8cf100190113c9
lib/ocaml/site-lib/herdtools7/asllib/env.mli
@comment MD5:84e4c8f970d76755a9cf0ba436887f1a
lib/ocaml/site-lib/herdtools7/asllib/error.ml
@comment MD5:b46738b12857b1c32ad561d4d674083f
lib/ocaml/site-lib/herdtools7/asllib/gparser0.ml
@comment MD5:cf6917fda79183668b694e1d47141407
lib/ocaml/site-lib/herdtools7/asllib/instrumentation.ml
@comment MD5:60d13c399e697a1f298324b2a6ca7d14
lib/ocaml/site-lib/herdtools7/asllib/lexer0.ml
@comment MD5:7c5af7325eba5edcbe33b1919dc28ff4
lib/ocaml/site-lib/herdtools7/asllib/repeatableLexer.ml
@comment MD5:4ae2443e34a896e4e14d75acd6874f0a
lib/ocaml/site-lib/herdtools7/asllib/splitasl.ml
@comment MD5:6ec87363e0675a5b2aa8e22075e95a4b
lib/ocaml/site-lib/herdtools7/asllib/splitasl.mli
@comment MD5:9f9dbe89754553441f529ff92b07d27d
lib/ocaml/site-lib/herdtools7/asllib/storage.ml
@comment MD5:036bc05881b6e94a7c8a95ac998c5ad5
lib/ocaml/site-lib/herdtools7/asllib/storage.mli
@comment MD5:74bd6d405db4bae7b6d57bc31063c5e1
lib/ocaml/site-lib/herdtools7/asllib/types.ml
@comment MD5:70b579a98102cccf53ded7ba2ffb3786
lib/ocaml/site-lib/herdtools7/asllib/types.mli
@comment MD5:458777b75f3a131391edd980bb61405c
lib/ocaml/site-lib/herdtools7/dune-package
@comment MD5:dab2fe0cdbcbe7751f1f4ae9c757dc64
lib/ocaml/site-lib/herdtools7/opam
@comment MD5:0b782d6d93cc5d415c66e7789a841c02
share/doc/herdtools7/CHANGES.txt
@comment MD5:4f57f34fba8042c4701f604e7a53aaef
share/doc/herdtools7/LICENSE.txt
@comment MD5:b8881fd910cbcbfe94417a6ef5da285e
share/doc/herdtools7/README.md
@comment MD5:9b11b228fb48322601a1be1e99d582db
share/doc/herdtools7/odoc-pages/README.mld
@comment MD5:daca30c351f03532c97d5229dd048804
share/doc/herdtools7/odoc-pages/index.mld
@comment MD5:d8f1aa7bce215c27659d431804982864
share/herdtools7/herd/C11-README.txt
@comment MD5:545bb5943a1da600ef3aaf43211a0394
share/herdtools7/herd/LL.cat
@comment MD5:054b42dc2229d0b1546220014cd1b6cb
share/herdtools7/herd/aarch32.cat
@comment MD5:e439295f1ea0c5dab203a88299ed1927
share/herdtools7/herd/aarch64-obsolete.cat
@comment MD5:462979074dc613410e2d6726e2917a13
share/herdtools7/herd/aarch64.cat
@comment MD5:d0bc3bae075a1932fa4c91f8c9d9e3c2
share/herdtools7/herd/aarch64bbm.cat
@comment MD5:049987fdb40726b5862eeaa71cd49426
share/herdtools7/herd/aarch64deps.cat
@comment MD5:2519ca54dfe136ef33f60279178b0a72
share/herdtools7/herd/aarch64fences.cat
@comment MD5:01e620ac466ca582f120f854018b7319
share/herdtools7/herd/aarch64hwreqs.cat
@comment MD5:1aac21dbfd61cfcc10cac3fb8efc3f7e
share/herdtools7/herd/aarch64loc.cat
@comment MD5:1717f3b90b84ac39b823f8de1596561f
share/herdtools7/herd/aarch64memattrs.cat
@comment MD5:4429260973ed1e3f37504cd23f5fd151
share/herdtools7/herd/aarch64show.cat
@comment MD5:988895ad7b70373ff68eaa1327046da0
share/herdtools7/herd/aarch64util.cat
@comment MD5:9fc056bd44a8faa1c66bbde562d73965
share/herdtools7/herd/all.cfg
@comment MD5:68e9d77b19de5c870a3be753685268f5
share/herdtools7/herd/apoil.cfg
@comment MD5:5384c357e1a051d3e94bd5aa1942c7f7
share/herdtools7/herd/arm-alt.cat
@comment MD5:efaaa2bc896fbe814b4d80684d041ed9
share/herdtools7/herd/arm-models/mixed/armv8-common.cat
@comment MD5:6c9f13112a927f295ecf3afcaf0e4f25
share/herdtools7/herd/arm-models/mixed/ec.cat
@comment MD5:07e4f8f8c38d8ee54473bed6bd3984cd
share/herdtools7/herd/arm-models/mixed/egc.cat
@comment MD5:e3cbf14274c10d783d6e2347b84d20aa
share/herdtools7/herd/arm-models/mixed/ev.cat
@comment MD5:82788f1bd8474a7af3227dc0ee9a1746
share/herdtools7/herd/arm-models/mixed/sca.cat
@comment MD5:fce6e724d20db75cc4b5b92bbae9c85e
share/herdtools7/herd/arm-models/non-mixed/armv8-common.cat
@comment MD5:d8507de8809f118a040161fe8bd1070a
share/herdtools7/herd/arm-models/non-mixed/ec.cat
@comment MD5:7aaf87cef589b9f18445c3d130e9cad4
share/herdtools7/herd/arm-models/non-mixed/egc.cat
@comment MD5:8a76bf7e88804009ac4af44f736861ec
share/herdtools7/herd/arm-models/non-mixed/ev.cat
@comment MD5:f56aff3a5078001bfca10d1988ffbe51
share/herdtools7/herd/arm-models/proofs/mixed_v8_equivalences.v
@comment MD5:bcd516f16b5063a3e57ba3659e5371e1
share/herdtools7/herd/arm-models/proofs/non_mixed_v8_equivalences.v
@comment MD5:84160a55d2a0d46a13b689a1804d68df
share/herdtools7/herd/arm.cat
@comment MD5:b39375ae011bbb23f707f5a439692c37
share/herdtools7/herd/armfences.cat
@comment MD5:d7d2816c29719b76cde1fc44d22fb486
share/herdtools7/herd/armllh.cat
@comment MD5:7ce47b03b747101d36181e7c2e684488
share/herdtools7/herd/asl-pseudo-arch.cat
@comment MD5:45527da4eb2d58a017d0fab221f6d4ab
share/herdtools7/herd/asl-pseudocode/Makefile
@comment MD5:e84f9416b889ccf5ddfeaee288ff95f8
share/herdtools7/herd/asl-pseudocode/bundler.py
@comment MD5:f0e2d69102e1be4a651cc9731fff8695
share/herdtools7/herd/asl-pseudocode/implementations.asl
@comment MD5:5148fc15870a94b9fe807b1f30b18ac2
share/herdtools7/herd/asl-pseudocode/implementations0.asl
@comment MD5:d76f16b9b25d8f3466abc56d84817fe9
share/herdtools7/herd/asl-pseudocode/patches.asl
@comment MD5:0441180dcd77ad98952c7b9b0fe529a1
share/herdtools7/herd/asl-pseudocode/pstate-exp.asl
@comment MD5:ad41acbc47b1359c8681c8ff27a60b4a
share/herdtools7/herd/asl.cat
@comment MD5:6c149cb9c12530577139c7247619d9fc
share/herdtools7/herd/atom-arm.cat
@comment MD5:903b4789c63adc61409630c60d15f382
share/herdtools7/herd/atom.cat
@comment MD5:573a73b8e72483771bc7ea7bf9014dd8
share/herdtools7/herd/bpf.cat
@comment MD5:bbeaa326eeac4422e6654ab38b8118ae
share/herdtools7/herd/c11.bell
@comment MD5:d8c5d1666eb7eefa757bfbb8f05d082c
share/herdtools7/herd/c11.def
@comment MD5:2e32bbc2c1e0ece0c64402bd2659abb7
share/herdtools7/herd/c11_base.cat
@comment MD5:8cca03bee1948ad256207a9518c08c8c
share/herdtools7/herd/c11_cos.cat
@comment MD5:edad86ba835f17a1240c6cba5d7d9f6f
share/herdtools7/herd/c11_los.cat
@comment MD5:22c8eccfe98fe33eab3a8584cda1f2bd
share/herdtools7/herd/c11_orig.cat
@comment MD5:ebf0ff068f779a32d9255c4e34a743a1
share/herdtools7/herd/c11_partialSC.cat
@comment MD5:fe926f4d0a888d054a979c5d01d62ca9
share/herdtools7/herd/c11_simp.cat
@comment MD5:01fee5d78fba36be21062391bea3bec5
share/herdtools7/herd/catdefinitions.tex
@comment MD5:a376ec258f0a6976f70e863be52545f1
share/herdtools7/herd/choices.cat
@comment MD5:65ed963d9e42ee3b487067e4f79e3ea2
share/herdtools7/herd/compat.cat
@comment MD5:9f3ae68df8a652864ede2b26f38c42c9
share/herdtools7/herd/cos-no-opt.cat
@comment MD5:3f9a573e1b414b2f544f7b2d51572d97
share/herdtools7/herd/cos-ok-opt.cat
@comment MD5:51731797427fa540949d18ebce696db8
share/herdtools7/herd/cos-opt.cat
@comment MD5:845c18e99f84964fb8593db08c2ebbe3
share/herdtools7/herd/cos.cat
@comment MD5:489b777bd44811e30e4a709e0a0b45bb
share/herdtools7/herd/coscat.cat
@comment MD5:f57a51e26f7b5be08111fe81dfacbbec
share/herdtools7/herd/cosllh.cat
@comment MD5:8961f32831c856400cae7bf44eb9d82b
share/herdtools7/herd/cpp11.cfg
@comment MD5:8e52868085719e174a4dc84a4a18d41c
share/herdtools7/herd/cross.cat
@comment MD5:9bed30e1defce6a5931c8fac9ae5b638
share/herdtools7/herd/ctrl-bis.cat
@comment MD5:ff5092139d6c4eea98941ebe23aa3a72
share/herdtools7/herd/ctrl.cat
@comment MD5:33fe2b2ded66babe7f828f27ef2c1c69
share/herdtools7/herd/deps-instances.cat
@comment MD5:874f3626fd9059d5c6294e8e2804d5e7
share/herdtools7/herd/deps-new.cat
@comment MD5:141e335a5abf2e97f97149fc224e1aa0
share/herdtools7/herd/deps.cat
@comment MD5:d4ab2b9acc144be0a460e141f5dca600
share/herdtools7/herd/deps.cfg
@comment MD5:15aa9a167c928afce81fbfab35f4c476
share/herdtools7/herd/doc64.cat
@comment MD5:e89ca185d72c5c464cd174683d1383cf
share/herdtools7/herd/enslip.cfg
@comment MD5:4c53b4d5aa59c76e5319c1e5133d8d74
share/herdtools7/herd/enumerations.cat
@comment MD5:951c4b8dfb47d8078f497519149a16a1
share/herdtools7/herd/fences.cat
@comment MD5:412379a3f580c89eaf695f93bd80be07
share/herdtools7/herd/filters.cat
@comment MD5:97365f448d3cc51c1b354fbde7aaad84
share/herdtools7/herd/fulleieio.cat
@comment MD5:3ed27b067b4eecd1b21d452f47490114
share/herdtools7/herd/herd.cat
@comment MD5:f7c77bd268c4cd9aeb20681a544faada
share/herdtools7/herd/herdcat.cat
@comment MD5:e510974d71bbc69604089525d1e95886
share/herdtools7/herd/ifetch-cos.cat
@comment MD5:3d105078720c7a763b1fc0a27da1a7f7
share/herdtools7/herd/kernel.cfg
@comment MD5:e1daa51887a3c8688b48cbf571b89d51
share/herdtools7/herd/kernel.def
@comment MD5:07497cea7b0e3c66db86440734dfa8e6
share/herdtools7/herd/lessrelaxed.cat
@comment MD5:958f19f9700e86c7fa0794e886eaccb8
share/herdtools7/herd/mini.cat
@comment MD5:8ce904bc190b9ebfb365496383f2d43c
share/herdtools7/herd/minimal.cat
@comment MD5:590fa2e6c7d7f83c75202cab941d451d
share/herdtools7/herd/minimalcat.cat
@comment MD5:e8365808f8c174f05b43e01d243cb702
share/herdtools7/herd/mips-tso.cat
@comment MD5:4be60151db7163ada6ce878f63cf9c58
share/herdtools7/herd/mips.cat
@comment MD5:8b9e225157e144e81b54da56df8060e2
share/herdtools7/herd/mipsfences.cat
@comment MD5:3647e556e700a82531129288be4e1a8c
share/herdtools7/herd/naked.cat
@comment MD5:a648ee540c382bfdbb0fa1a8ed41036a
share/herdtools7/herd/ncos.cat
@comment MD5:5efa180deb025cacd7d6cbfe91468c7c
share/herdtools7/herd/ncross.cat
@comment MD5:6e494f3468aa08b9fe6575eb2694cd5a
share/herdtools7/herd/ppc-checks.cat
@comment MD5:52a69317941372a61612e7a3db4bcdaa
share/herdtools7/herd/ppc.cat
@comment MD5:b399d42724b6ef606f982a4d44bae485
share/herdtools7/herd/ppcfences.cat
@comment MD5:1c8e65f96c664fc548eec334ec316720
share/herdtools7/herd/ppo.cat
@comment MD5:2a4a5251d16119ad5e8e159c50356271
share/herdtools7/herd/pretty.cat
@comment MD5:3e22a6c02e734068b6f4ef0e55b712f2
share/herdtools7/herd/prettycat.cat
@comment MD5:8dcda22c5f87aca3ca6b4dcf42827701
share/herdtools7/herd/qualcomm.cat
@comment MD5:f404bb48332dac80c4ec995d59eff182
share/herdtools7/herd/rc11.cat
@comment MD5:dcc39a162b968e5159bb7fd5920910de
share/herdtools7/herd/riscv-defs.cat
@comment MD5:823b728d36b4aad8377841f6cb6fe777
share/herdtools7/herd/riscv-total.cat
@comment MD5:f48fca8e922bba49fc80c8eaca6af6c0
share/herdtools7/herd/riscv-tso-defs.cat
@comment MD5:e692de8c63d99567ed467da98a6a07f3
share/herdtools7/herd/riscv-tso.cat
@comment MD5:5bf3adb2aec1d4709b427acd1b79c49a
share/herdtools7/herd/riscv.cat
@comment MD5:b6308fd4dd3a9e9ce4725b04174e4594
share/herdtools7/herd/sc.cat
@comment MD5:1160394b8f6a812d805cc0c9d6a7da68
share/herdtools7/herd/sccat.cat
@comment MD5:19795cf1338abea6fe8ae52e01628498
share/herdtools7/herd/show-deps.cat
@comment MD5:8628f5141ce2cf42b4d88427f09e8c94
share/herdtools7/herd/simple-arm.cat
@comment MD5:08c30ccbb9e164cce889467f4222e5e9
share/herdtools7/herd/simple-c11.cat
@comment MD5:9bc5827d9502c342fdce1f687d82d0e1
share/herdtools7/herd/stdlib.cat
@comment MD5:ecdc246a468abd0cabe905de3f3aff90
share/herdtools7/herd/tso.cat
@comment MD5:778f034c0216709355151454c203868a
share/herdtools7/herd/uni.cat
@comment MD5:e4fb898fc2c60f721e0f2a09e131b814
share/herdtools7/herd/uniproc+sca.cat
@comment MD5:574039338dce987a7dabf52b394f8d48
share/herdtools7/herd/uniproc-normw-cat.cat
@comment MD5:f78e5c319c7fdf5affac42a82cce379d
share/herdtools7/herd/uniproc.cat
@comment MD5:4210df83246a58d9a5a20665bc8d4322
share/herdtools7/herd/uniproccat.cat
@comment MD5:ee9768f01420f2b1641a767b4cc7811c
share/herdtools7/herd/web.cfg
@comment MD5:52df8a9cb1cab6745b0d9af65c7adac4
share/herdtools7/herd/x86fences.cat
@comment MD5:fc2198bae7dd299b382a9509b08db8bc
share/herdtools7/herd/x86tso-mixed.cat
@comment MD5:71e183cbf5b0df4790abaa0adbf264ba
share/herdtools7/herd/x86tso.cat
@comment MD5:f55400b23f999595983e5891c7ca3a69
share/herdtools7/herd/xchg.def
@comment MD5:686fda02b09e0d29b31879fef631eeec
share/herdtools7/jingle/AArch64toBell.theme
@comment MD5:a5e44d0aba5dea4b438c32e719d883b6
share/herdtools7/jingle/BelltoAArch64.theme
@comment MD5:177e3c7cc54796abdb60d3e9baeea0cf
share/herdtools7/jingle/BelltoARM.theme
@comment MD5:ad980833f4522cf63e0b736d326036ad
share/herdtools7/jingle/BelltoC.theme
@comment MD5:53b4918f943fbb31a09e201b85dfb94d
share/herdtools7/jingle/CtoAArch64.theme
@comment MD5:eec2507f9a8a4a282336752166c1fcdc
share/herdtools7/jingle/Linux.call
@comment MD5:89f6398a05133343ed01f89c71ae8515
share/herdtools7/jingle/Linux2AArch64.map
@comment MD5:fb6c09a7f994e59e71c3b1c9c0a6d983
share/herdtools7/jingle/Linux2PPC.map
@comment MD5:979fbb325fd13a986185c522020a2e38
share/herdtools7/jingle/RISCV2AArch64.map
@comment MD5:3f82110624ab92203fe72aa250132311
share/herdtools7/jingle/test.theme
@comment MD5:fd5ee5ea1ee4ebc149a893ad27e61b06
share/herdtools7/litmus/ARM.cfg
@comment MD5:f9cb217d79c5fac17eab319f1233209e
share/herdtools7/litmus/ARM_ADB.cfg
@comment MD5:7d830452c88ca705a61cd977cee58b92
share/herdtools7/litmus/HiKey.cfg
@comment MD5:f9e83e2f9c8ea5d87098b840337c0365
share/herdtools7/litmus/LG-H955.cfg
@comment MD5:bb69a9fc7862b28fea82ebf9fd468cc8
share/herdtools7/litmus/M1.cfg
@comment MD5:7162896728696074c4f7c7c65a1499f1
share/herdtools7/litmus/R4000.cfg
@comment MD5:9506edece532281803e3fb0ce70e6712
share/herdtools7/litmus/Sam.cfg
@comment MD5:f225fae4f61b7588b5e0fa639150ff70
share/herdtools7/litmus/Snap425.cfg
@comment MD5:044ef69e49400d5245cea9248399a000
share/herdtools7/litmus/Snap820.cfg
@comment MD5:93e5a9e50644cf4d11e7889e8e2fe6f6
share/herdtools7/litmus/_aarch64/asmhandler.c
@comment MD5:996e14304b2d3fa2a19ce5b12f56d9a3
share/herdtools7/litmus/_aarch64/barrier.c
@comment MD5:2f576eeb3a0ec2ad5558f9325751fa68
share/herdtools7/litmus/_aarch64/cache.c
@comment MD5:d7fb82571e6b77aeb869e58a624dfc80
share/herdtools7/litmus/_aarch64/getret.c
@comment MD5:d981d677ba6409f2a3f1f20f0115e9b4
share/herdtools7/litmus/_aarch64/instruction.h
@comment MD5:89bd6ae2abd69052e1d7945bd45cffb7
share/herdtools7/litmus/_aarch64/intrinsics.h
@comment MD5:15f5e7f4e58e0a75180b41d56baf0f24
share/herdtools7/litmus/_aarch64/kvm-headers.h
@comment MD5:675610c6b4d7063f589dff4c4058e90c
share/herdtools7/litmus/_aarch64/kvm-self.c
@comment MD5:42350611d8537cdc377a8b8e93d51c5c
share/herdtools7/litmus/_aarch64/kvm.c.rules
@comment MD5:15806dab053aff683eac8f04ae652630
share/herdtools7/litmus/_aarch64/kvm.rules
@comment MD5:5b293d163a7248369bda71f0f4a6503d
share/herdtools7/litmus/_aarch64/kvm_fault_handler.c
@comment MD5:9af2765ec33e3f503b46ed9cd285a754
share/herdtools7/litmus/_aarch64/kvm_fault_type.c
@comment MD5:cdb53164194d1fdfdb19f49d6fe63474
share/herdtools7/litmus/_aarch64/kvm_timebase.c
@comment MD5:253c46324f3d74f302230e65f718cd9e
share/herdtools7/litmus/_aarch64/kvm_timeofday.c
@comment MD5:b927e186d936971a0e2f9d3c8e908d1a
share/herdtools7/litmus/_aarch64/kvm_user_stacks.c
@comment MD5:b82d2cd129905114505abc8d66babf62
share/herdtools7/litmus/_aarch64/mbar.c
@comment MD5:a5e61c7fd48580ccd5c245962f30ebac
share/herdtools7/litmus/_aarch64/presi-self.c
@comment MD5:efb5ab18b8cf9c2d653953e3bcc702c4
share/herdtools7/litmus/_aarch64/self.c
@comment MD5:f2034921549822955edb599547cc592c
share/herdtools7/litmus/_affinity.h
@comment MD5:2f177e7edbf70049a19aa91231e73b6d
share/herdtools7/litmus/_aix_affinity.c
@comment MD5:5e45f0f4e1683928b8e114e061791e97
share/herdtools7/litmus/_android8_affinity.c
@comment MD5:3764d6b16558cc50f28b92fbbc6b7405
share/herdtools7/litmus/_arm/barrier.c
@comment MD5:df6e8f903c2362e9aa98c1d856d83c66
share/herdtools7/litmus/_arm/cache.c
@comment MD5:d269f4a796b56a778cd0e14bbea32c6e
share/herdtools7/litmus/_arm/instruction.h
@comment MD5:89bd6ae2abd69052e1d7945bd45cffb7
share/herdtools7/litmus/_arm/mbar.c
@comment MD5:a5e61c7fd48580ccd5c245962f30ebac
share/herdtools7/litmus/_find_ins.c
@comment MD5:47f31573e1061666dcf515662b8b4397
share/herdtools7/litmus/_freebsd_affinity.c
@comment MD5:b5f11af9e953f6ad9b834edadf4ac9b7
share/herdtools7/litmus/_hash.c
@comment MD5:8b4335a13b79dca85e0994175ba969a8
share/herdtools7/litmus/_instance.c
@comment MD5:a2555d5ddab42447bea0d057a75235d9
share/herdtools7/litmus/_kvm_linux/platform_io.c
@comment MD5:69bb14e62ee4db8cb48e3604c8c6eee5
share/herdtools7/litmus/_kvm_linux/platform_io.h
@comment MD5:aaaa959fc7a943ce3aeea1e248308d80
share/herdtools7/litmus/_kvm_timeofday.h
@comment MD5:13ff566d1c69bcb3add3fac986900bb5
share/herdtools7/litmus/_linux/platform_io.c
@comment MD5:3ef20986712e9d858cf1c9c8edeb048a
share/herdtools7/litmus/_linux/platform_io.h
@comment MD5:cf3f5471e6663ec76955d4b338d19841
share/herdtools7/litmus/_linux_affinity.c
@comment MD5:3a3f2031279131ab9e10a931625e0cf2
share/herdtools7/litmus/_litmus_io.c
@comment MD5:b1f63e50f66658fb0ca1dc76773ef3f6
share/herdtools7/litmus/_litmus_io.h
@comment MD5:f50ddac2cd4c32708073d6c9c73b105c
share/herdtools7/litmus/_litmus_rand.c
@comment MD5:ce62032f81822e4f823ccfce297f55d4
share/herdtools7/litmus/_litmus_rand.h
@comment MD5:1718d9fb330d2ce7ed83806d19c4bcde
share/herdtools7/litmus/_main.c
@comment MD5:daa2aa6c0697727642d2cc205719d5e4
share/herdtools7/litmus/_mips/barrier.c
@comment MD5:6afdbb97fa7dc44bb8cdb30b708b645f
share/herdtools7/litmus/_mips/instruction.h
@comment MD5:89bd6ae2abd69052e1d7945bd45cffb7
share/herdtools7/litmus/_mips/mbar.c
@comment MD5:ce023b7079b0c66d1f890e31968ddcfc
share/herdtools7/litmus/_mix.h
@comment MD5:209534250c91c9dd40b556c337bcb9ed
share/herdtools7/litmus/_outs.c
@comment MD5:b6a23b2c91d1dba56d8d3eb2aac5bcae
share/herdtools7/litmus/_outs.h
@comment MD5:1f2f11ffabf9501c7a894a11aaf93f7b
share/herdtools7/litmus/_ppc/barrier.c
@comment MD5:fff5c08e2354a4306a01705231ee59e5
share/herdtools7/litmus/_ppc/barrier_lab.c
@comment MD5:7299468093e845af92b4da1f6a3b502d
share/herdtools7/litmus/_ppc/cache.c
@comment MD5:41d147f590b40ec9b994310617558d99
share/herdtools7/litmus/_ppc/instruction.h
@comment MD5:89bd6ae2abd69052e1d7945bd45cffb7
share/herdtools7/litmus/_ppc/mbar.c
@comment MD5:ce023b7079b0c66d1f890e31968ddcfc
share/herdtools7/litmus/_ppc/timebase.c
@comment Symlink:timebase64.c
share/herdtools7/litmus/_ppc/timebase32.c
@comment MD5:57817d1973179c616c307f006b819d81
share/herdtools7/litmus/_ppc/timebase64.c
@comment MD5:42be32b96d9e73aac08a9ee64e7020bf
share/herdtools7/litmus/_prelude_size.c
@comment MD5:0d4d5302da19f925688987fe2dc666c4
share/herdtools7/litmus/_presi.c
@comment MD5:d77a171402b54490617820ef9f47e3d2
share/herdtools7/litmus/_presi.h
@comment MD5:12c6b9b4f363967199152989a082513e
share/herdtools7/litmus/_riscv/barrier.c
@comment MD5:34d697ab48ad08059364e8b9b6ae0d15
share/herdtools7/litmus/_riscv/mbar.c
@comment MD5:0099f22971565f26d9628e96c025bd66
share/herdtools7/litmus/_show.awk
@comment MD5:e525820a44b3dfaac26f0ae46a2b5bab
share/herdtools7/litmus/_showC.awk
@comment MD5:46f41e8967215f90489a19b5277573c1
share/herdtools7/litmus/_showLabel.awk
@comment MD5:215a4b4b4d0a6567da2179abb16f567b
share/herdtools7/litmus/_toh.sh
@comment MD5:f7bd9033bf900d3c875323e66d86a286
share/herdtools7/litmus/_toh_nostdio.sh
@comment MD5:d9d6c2247bfb1b98d6d31e45757246d3
share/herdtools7/litmus/_utils.c
@comment MD5:07b939a3c2fd978af343ccf422d4e32c
share/herdtools7/litmus/_utils.h
@comment MD5:8188bd46e4e7fba55e1125eb37fd637f
share/herdtools7/litmus/_x86/barrier.c
@comment MD5:54f580f8b3bd356ae540f912607bae6d
share/herdtools7/litmus/_x86/cache.c
@comment MD5:3ff0e12c5265860456bc04126b2c5eae
share/herdtools7/litmus/_x86/mbar.c
@comment MD5:d2f2656ff4a35f4a2591c00af3a7a855
share/herdtools7/litmus/_x86/timebase.c
@comment MD5:cc2cc2fb9aa1d244353323c5dd3ab3b5
share/herdtools7/litmus/_x86_64/barrier.c
@comment Symlink:../_x86/barrier.c
share/herdtools7/litmus/_x86_64/cache.c
@comment Symlink:../_x86/cache.c
share/herdtools7/litmus/_x86_64/klitmus_memory_type.c
@comment MD5:558da77c7b2d822dc63a5947c9108b59
share/herdtools7/litmus/_x86_64/kvm-headers.h
@comment MD5:c8912526d93d6bd0e1e0c5a63769cb57
share/herdtools7/litmus/_x86_64/kvm.c.rules
@comment MD5:bff1fc3ea94cbd6bdb729e4426efd15b
share/herdtools7/litmus/_x86_64/kvm.rules
@comment MD5:a51237dd67e61d2aec70ae8b997ae675
share/herdtools7/litmus/_x86_64/kvm_timebase.c
@comment MD5:5edf246f49f9c6abf63ff17878d9662f
share/herdtools7/litmus/_x86_64/kvm_timeofday.c
@comment MD5:fb0f45cd3c7386ce59371cc16de5069f
share/herdtools7/litmus/_x86_64/mbar.c
@comment Symlink:../_x86/mbar.c
share/herdtools7/litmus/_x86_64/timebase.c
@comment Symlink:../_x86/timebase.c
share/herdtools7/litmus/aarch64-qemu.cfg
@comment MD5:c1628d46794174f9179958046eebc3fb
share/herdtools7/litmus/aarch64.cfg
@comment MD5:6350d08f02abfcd34e7029bfd1cf2fb9
share/herdtools7/litmus/abducens.big.cfg
@comment MD5:4544cd4b8577684ad2a04a46e8246ca7
share/herdtools7/litmus/abducens.cache.cfg
@comment MD5:a5a02ac3ce7d46a61ad031644565ce9b
share/herdtools7/litmus/abducens.cfg
@comment MD5:69dce71317e10886f4abb9ab7aff6d95
share/herdtools7/litmus/abducens.close.cfg
@comment MD5:fad47aec8aa7d39f6e35c8f6cd30279a
share/herdtools7/litmus/aloxe.cfg
@comment MD5:0faee1cf794f744f8c9a855e763ce04a
share/herdtools7/litmus/armv7.cfg
@comment MD5:d32e62b5b48043406ca1b1bcddc428d8
share/herdtools7/litmus/armv8+sme-qemu.cfg
@comment MD5:d6f81adbe95ca0ef093850f8c1e40aa4
share/herdtools7/litmus/armv8+sve-qemu.cfg
@comment MD5:bc7a4f497743afbd0bb7b0db88313585
share/herdtools7/litmus/armv8.1.cfg
@comment MD5:2cb5b4c09734d4305ef7c814e6d32e6f
share/herdtools7/litmus/armv8.3-qemu.cfg
@comment MD5:08ae837715af75fa8ed30cc9c1171fc5
share/herdtools7/litmus/armv8.3.cfg
@comment MD5:4b6e15fea57f83d9bb40857c1736f996
share/herdtools7/litmus/armv8.cfg
@comment MD5:30bff74a94cc5c3762abda0a8251f1f2
share/herdtools7/litmus/asus-debian-thumb.cfg
@comment MD5:af14f38620a6ec95c3275732d59599ea
share/herdtools7/litmus/asus-debian.cfg
@comment MD5:28e9ffcdea6ef74026aa39082623ccc9
share/herdtools7/litmus/asus.cfg
@comment MD5:319c212e8d4a942b4ff9b65b4d451775
share/herdtools7/litmus/auto.cfg
@comment MD5:fea7d559d3e1bbff17b5ca732cfe3bc3
share/herdtools7/litmus/bam.cfg
@comment MD5:2d05f19e2577d73fd579631b1fd9c857
share/herdtools7/litmus/beaune.cfg
@comment MD5:6b25dfe8bece3de19361a204ff481c79
share/herdtools7/litmus/bom.cfg
@comment MD5:3d83c1bbdc9ce54192e0fc1d11642272
share/herdtools7/litmus/bonga.cfg
@comment MD5:c7ed734fec3807be382f76b77a166d98
share/herdtools7/litmus/cavium.cfg
@comment MD5:b7621b8ddb71da3aebdb9db0d214b95f
share/herdtools7/litmus/chianti.cfg
@comment MD5:675a473f487ada72c8fd59a277b20e36
share/herdtools7/litmus/conti.cfg
@comment MD5:384a70db59b5ea372ed9aa82e0e0c306
share/herdtools7/litmus/corei7.cfg
@comment MD5:671e158dc2c4c26a6c167a2fb38786e9
share/herdtools7/litmus/cortex-a55.cfg
@comment MD5:8802ee754b95b6ad2adb92c8e63a3ac9
share/herdtools7/litmus/cortex9-O0.cfg
@comment MD5:e7ce9352cda6674bda64db146225e520
share/herdtools7/litmus/cortex9.cfg
@comment MD5:f2f71d80daed44bdddd66b361c250ff1
share/herdtools7/litmus/cortexA15.cfg
@comment MD5:e50dd3fe2c34605afa79b46872926488
share/herdtools7/litmus/cubietruck.cfg
@comment MD5:b40846a72023d333e247b5decfeca7c9
share/herdtools7/litmus/doko.cfg
@comment MD5:76499777734cb91dcf05e55369af282f
share/herdtools7/litmus/dragon-arm.cfg
@comment MD5:c456c59284843521ad5c3387a427e566
share/herdtools7/litmus/dragon-thumb.cfg
@comment MD5:118dd6ee6c39e2c90efecc7f84aba0d1
share/herdtools7/litmus/dragon.cfg
@comment MD5:7757167850bc83dac8c74160feec3904
share/herdtools7/litmus/g5.cfg
@comment MD5:fb24217d591fa653320084960c3f8478
share/herdtools7/litmus/header.txt
@comment MD5:ec1627766e794330de8ae53f0360e74c
share/herdtools7/litmus/hopla.cfg
@comment MD5:f8a821a89b30f0a3599402c7b72349e7
share/herdtools7/litmus/hpcx.cfg
@comment MD5:292ad57bc7ea1c1e98d933e4ef87b52f
share/herdtools7/litmus/ipad.cfg
@comment MD5:6bdeee2ea186d60e1ffa8b545ee8d51d
share/herdtools7/litmus/kbarrier-tb.txt
@comment MD5:2ce37fb09e79e9b58e49ba36a11f5e8f
share/herdtools7/litmus/kbarrier-user.txt
@comment MD5:9581c45bb33abb6f16c174941d1e403b
share/herdtools7/litmus/kincludes.txt
@comment MD5:b2d4b030167ce6868950198a6ec92985
share/herdtools7/litmus/kvm-aarch64.cfg
@comment MD5:cabb9e55e0ab633da3f55ad2cd27fa25
share/herdtools7/litmus/kvm-armv8.1+rcpc.cfg
@comment MD5:7f5b056dcd69fa270ef84f31010cc83d
share/herdtools7/litmus/kvm-armv8.1.cfg
@comment MD5:fdf2ddd37f8004be1f73e25b7fadee02
share/herdtools7/litmus/kvm-m1.cfg
@comment MD5:fdf2ddd37f8004be1f73e25b7fadee02
share/herdtools7/litmus/kvm-x86_64.cfg
@comment MD5:0cd2102d799c2bcaf0b4d3cbb0716166
share/herdtools7/litmus/marvel-armada-370.cfg
@comment MD5:9b6319c6eb482eb7faf3e27b6172505a
share/herdtools7/litmus/mike.cfg
@comment MD5:1485c689ca1aae6910bb8f3d21a7a80d
share/herdtools7/litmus/mips-qemu.cfg
@comment MD5:553b33fa4488720a31a62327b82a3c9c
share/herdtools7/litmus/mips64-qemu.cfg
@comment MD5:9cb49608fc52ad88bcf4a470bf410be8
share/herdtools7/litmus/mp.cfg
@comment MD5:a60686956ef5c33b994758e3a1c659af
share/herdtools7/litmus/nexus10.cfg
@comment MD5:6aecbf893aa272dc330643761d502ca8
share/herdtools7/litmus/nexus7.cfg
@comment MD5:bb8b7c7d129ff974bf20c0ea20dfd396
share/herdtools7/litmus/nexus9.cfg
@comment MD5:efd1462464907cbe3747ea32d4e15d0c
share/herdtools7/litmus/odroid-c2.cfg
@comment MD5:6350d08f02abfcd34e7029bfd1cf2fb9
share/herdtools7/litmus/odroid-n2.cfg
@comment MD5:0faee1cf794f744f8c9a855e763ce04a
share/herdtools7/litmus/odroid-xu-ubuntu.cfg
@comment MD5:df833ceed626f7c45db7edccc71dcc61
share/herdtools7/litmus/odroid-xu.cfg
@comment MD5:67a1fcb86af7139080ee9f9b579685d3
share/herdtools7/litmus/outs.txt
@comment MD5:064339e616b83bdaff3c0514a7f1e878
share/herdtools7/litmus/pi2-nofp.cfg
@comment MD5:987fad821147ed7a38495a703c227204
share/herdtools7/litmus/pi2.cfg
@comment MD5:d73820458ec9121e5e357784e9016278
share/herdtools7/litmus/pi3b.cfg
@comment MD5:a52f6e50581547c100e4bf71577d03d6
share/herdtools7/litmus/portable.cfg
@comment MD5:6e4c8523103a4ed4e7b2b914eb898fbe
share/herdtools7/litmus/power.cfg
@comment MD5:51872e2ac915423cb3efca757831de15
share/herdtools7/litmus/power6.smt.cfg
@comment MD5:9f835614ee614a0a034be77c803817cd
share/herdtools7/litmus/power7.32.cfg
@comment MD5:b5796f7fe52b102da0aa3dab8964ae12
share/herdtools7/litmus/power7.cfg
@comment MD5:2701db8ca795a17de0d92b7c74acf246
share/herdtools7/litmus/power7.smt.cfg
@comment MD5:1fd215be58e891784c71e3f5ed419c2a
share/herdtools7/litmus/ppc-qemu.cfg
@comment MD5:19cd1296445e90847deb62e1f87d5e04
share/herdtools7/litmus/redmi5a.cfg
@comment MD5:319cee153cbfe0f9e70f88069367e779
share/herdtools7/litmus/redmi9a.cfg
@comment MD5:900aeb9844b983ad79b3751e1fb08e90
share/herdtools7/litmus/riscv-qemu.cfg
@comment MD5:e504f2addbd367d4745f8c92cceb47d9
share/herdtools7/litmus/saumur.cfg
@comment MD5:5e780b872a24c68031f813f27747587c
share/herdtools7/litmus/saumur.close.cfg
@comment MD5:a9ead3054e91cf41508f2370eb849028
share/herdtools7/litmus/squale.cfg
@comment MD5:c8745c3d0c3d201759efa5b10c6eda78
share/herdtools7/litmus/src-aarch64.cfg
@comment MD5:d9495617b51689a81fec5e976bc730ae
share/herdtools7/litmus/trimslice.cfg
@comment MD5:2bc6adaeede53b10851990d7da18c068
share/herdtools7/litmus/tst.cfg
@comment MD5:40a05a2bbcdc2ca79bb7254cf07f8e42
share/herdtools7/litmus/vargas.cache.cfg
@comment MD5:ff25b3e71f3290a4c47a3b4f101f0d63
share/herdtools7/litmus/vargas.cfg
@comment MD5:d4bf7a62411a4d36cf6deda61a71b0ee
share/herdtools7/litmus/vargas.close.cfg
@comment MD5:05cbe79750fae8ddd4c2546a9638d9bb
share/herdtools7/litmus/vargas16.cfg
@comment MD5:c01e5bf37801530f0cd380005b6505eb
share/herdtools7/litmus/vougeot.cfg
@comment MD5:6350d08f02abfcd34e7029bfd1cf2fb9
share/herdtools7/litmus/x86.cfg
@comment MD5:9822194c8a41c0e503fead3872259094
share/herdtools7/litmus/x86_64.cfg
@comment MD5:d3ce77f17c25d5d1dddddf7fd56eb93f
share/herdtools7/litmus/youpla.cfg
@comment MD5:b090771c9973903791401b7c485c6d14
share/herdtools7/litmus/youpla64.cfg
@comment MD5:7e6d3252cfa27cb276a5c0132cd9ea4f
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+INSTALL
@ignore
+DEINSTALL
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
