100644 blob a151f3dd19069600ccdd2413c2c8155ad3ac8307	.gitignore
100644 blob 5aff99a1c876372a125e31d9684ecb6cb0c23ff4	AUTHORS
100644 blob 82e9b524aaf30e2d1f184a3906dc65ba471fd2f8	LICENSE
100644 blob 778bcc71b0143110fd2b76d545c49a958272372b	README.md
100644 blob 79a0819826b5381b8b5a96ce70239f47f5a211e6	analysis_options.yaml
040000 tree 9eca09a87fa2c37264ac9e3a0fd366b5291167e8	bin
100644 blob 97faf8b0a4650d844bf0f41d7f073b97fdbd1fe8	binary.md
100644 blob d777626baa17cda5ff1cdd7b69aeca1d516b6f54	codereview.settings
040000 tree c6654fb2596091380a4e208dd22af4a38f3aa1f1	coq
040000 tree 00aa9661b4069001da54a016e98c4b816579a01b	doc
040000 tree b05e3331b3ebaa0c01cbab414842301fa2831f44	lib
100644 blob ef538e2bb6ef432f3bfbe64e04872f9baa3a1c75	pubspec.yaml
040000 tree 51639967b7d4be3d924998f9c5dc4322ccf1eaa4	runtime
040000 tree 5566b7c06083f298a3ede3c1d832a30fded5b15b	test
040000 tree a104b19fc961407ffb355313b180e69b0ab0922a	testcases