isabelle_block/__init__.py,sha256=PoSYGs-00GercfWJAIPIsTF0OXLXpImuKkqv1NnBf7A,396
isabelle_block/__main__.py,sha256=E6Gls0DNz8GQK2K-kOUIx8cYhgANW_CH54VKrfCfs14,52
isabelle_block/cli.py,sha256=zj5z6cszfoeUjlfbThEeid8XYtpDOBMHnl-HQjGUnEs,53993
isabelle_block-0.1.4.dist-info/METADATA,sha256=zMxNV_gMWQyHNcFWzGvqqT7KbixmAgNsGulZpsdf8mw,6070
isabelle_block-0.1.4.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
isabelle_block-0.1.4.dist-info/entry_points.txt,sha256=LrIaTDFS3gNkoEbfQZrFMu10d1xOPIme20gyNrtyimg,50
isabelle_block-0.1.4.dist-info/licenses/LICENSE,sha256=X6GixdkDmvVBUeAQQbZ7XnMU9VDi60NwIS90yW4NN1M,1072
isabelle_block-0.1.4.dist-info/RECORD,,
