agda-tac

crates.io

Agda - Tactical And Comprehensible

Versions collected1

Direct dependencies10From release 0.1.5

Last observed20 Oct, 18:32 UTC

Downloads & popularity

11,113downloads

Cumulative counter · observed snapshots20 Oct 2026

11.1K10.9K10.7K

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	11,113	2026-10-20T18:32:31.8775481Z

Collected releases

Version	Published	Direct dependencies	Open version
0.1.5Registry latest	19 Nov 2020	10

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:eff6c791886053d064bdbe0fc0431ca0c020184f2d9ac66d7e91229f4c748540