0.3.5

crates.io

agda-tree

A post-processing tool for html/*.tree produced by agda

Published15 May 2025

Direct dependencies2

Transitive dependenciesNot calculated

Downloads & popularity

1downloads

1-day window · source-reported counts18 Sept 2026

10.50

3 Aug18 Sept

crates · 5 observations shown. Missing days are unknown.

View observed values

Native requirements

2 direct targetsNot calculated transitive count

Package / target Requirement Relationship

Package / target	Requirement	Relationship
clap Environment { "kind": "normal", "optional": false, "target": null, "features": [ "derive" ], "default_features": true, "explicit_name": null }	`^4.5.11`	runtime
html_parser Environment { "kind": "normal", "optional": false, "target": null, "features": [], "default_features": true, "explicit_name": null }	`^0.7.0`	runtime

clap

Environment

{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [
    "derive"
  ],
  "default_features": true,
  "explicit_name": null
}

^4.5.11

runtime

html_parser

Environment

{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}

^0.7.0

runtime

0 collected

No distribution files are present in the collected metadata.

Checksums from source

{
  "sha256": "be20ce5e9a78548ffe33b1beee87553d08e5f61fe7ac37b826b2c93faf17d07f"
}

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 18:32 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package_version:960e650ad18b17282cd6282e5fabe96d6ae883874ba710b25ea84cf8f5963cbb