agda-tree

crates.io

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

Versions collected1

Direct dependencies2From release 0.3.5

Last observed20 Oct, 18:32 UTC

Downloads & popularity

9,773downloads

Cumulative counter · observed snapshots20 Oct 2026

9.8K9.6K9.4K

20 Oct20 Oct

crates · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values

Date / source period	Value	Observed at
2026-10-20	9,773	2026-10-20T22:39:03.4510969Z

Collected releases

Version	Published	Direct dependencies	Open version
0.3.5Registry latest	15 May 2025	2

No matching advisories collected

This describes our collected data; it is not a security assessment.

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:610e61556e92a4e2757e7508446e11048d1a7471811ba8db66a49f881e9953c5