040000 tree 4eba46680872a563c1473c3abde68f4c1054767e	check
040000 tree df431ae78f6b931ebd28d0afd7f273966a2bc3b9	examples
040000 tree 35acec35f80eabb93c66caeb59e4c767de0272fa	fixedbugs
100644 blob efe13cf8bc56c170d2a232230521b79e995bdc1b	manual.go2
040000 tree f8d47d92201d5107b708d6fe2784c185dc4deec3	spec