{"name":"agda-tree","vers":"0.1.0","deps":[{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"19fa7b3321c41da258433bec3b39c36b13d6f8d23e8103c920edd9cdbe5b3d45","features":{},"yanked":false,"pubtime":"2024-07-28T14:06:02Z"}
{"name":"agda-tree","vers":"0.2.0","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a28ba072a586d40929f96eadbab3221bd0c10d0fee047eeec7097babb7e2916","features":{},"yanked":false,"pubtime":"2024-07-28T17:10:10Z"}
{"name":"agda-tree","vers":"0.2.1","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"74fa5f1a44f82bd5c882abf4001dcc15e4436fd9b4f93cef6e9da00021b63fca","features":{},"yanked":false,"pubtime":"2024-07-28T17:26:37Z"}
{"name":"agda-tree","vers":"0.2.2","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3dd164286d2bac6d1ab4f1f463bb9664efe5dd7744ac116328281b6838145796","features":{},"yanked":false,"pubtime":"2024-07-28T17:52:26Z"}
{"name":"agda-tree","vers":"0.2.3","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"309f996d2e3eee25e5865a0b9d05cd4d0b83c2b82530ec9e28c3ec62021e0ab2","features":{},"yanked":false,"pubtime":"2024-07-29T14:24:19Z"}
{"name":"agda-tree","vers":"0.2.4","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"16f46952cf5ffd579c63e1b29cdfc77281f0d1ca359c40160cabb063d4dae5a3","features":{},"yanked":false,"pubtime":"2024-08-06T14:30:35Z"}
{"name":"agda-tree","vers":"0.3.0","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b2fa795922a0a08de9f4f94fa112aebf67f65dd429bb3b648130d6a25931002f","features":{},"yanked":false,"pubtime":"2025-05-14T16:14:02Z"}
{"name":"agda-tree","vers":"0.3.1","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d426adc6cd949e32a6f895f9e74876f4477fe1aa41be37effb36862ea92d51d","features":{},"yanked":false,"pubtime":"2025-05-15T01:37:31Z"}
{"name":"agda-tree","vers":"0.3.2","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d16901f58d8ec94a6a56fd13eac2780ea54f01f9f4da791675528f75106e5b9b","features":{},"yanked":false,"pubtime":"2025-05-15T02:40:49Z"}
{"name":"agda-tree","vers":"0.3.4","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8cb7e1f6fa36f376ad61da138abc0bab4a66288791e1414480cea3bbcacd99f9","features":{},"yanked":false,"pubtime":"2025-05-15T13:26:13Z"}
{"name":"agda-tree","vers":"0.3.5","deps":[{"name":"clap","req":"^4.5.11","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"html_parser","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be20ce5e9a78548ffe33b1beee87553d08e5f61fe7ac37b826b2c93faf17d07f","features":{},"yanked":false,"pubtime":"2025-05-15T13:30:42Z"}