PkgFoundry
Catalog Hex
PACKAGE EXPLORERView in registry

ex_maude

Hex

Elixir bindings for the Maude formal verification system.

Versions collected2
Direct dependencies7From release 0.5.1
Last observed24 Oct, 13:22 UTC

Downloads & popularity

49downloads
1-day window · source-reported counts24 Oct 2026
4924.50
2026-10-20: 17 · observed 2026-10-20T22:16:42.2197928Z2026-10-22: 10 · observed 2026-10-22T18:26:21.3802541Z2026-10-24: 49 · observed 2026-10-24T13:22:23.4813952Z
20 Oct24 Oct

hex · 3 observations shown. Missing days are unknown.

View observed values
Date / source periodValueObserved at
2026-10-24492026-10-24T13:22:23.4813952Z
2026-10-22102026-10-22T18:26:21.3802541Z
2026-10-20172026-10-20T22:16:42.2197928Z

Versions 2

Collected releases
VersionPublishedDirect dependenciesOpen version
0.5.1Registry latest23 Oct 20267
0.5.010 Oct 20267
Sorted by available source dates · UTC

Package advisories

0
No matching advisories collected

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

Repository

PENDING
futhr/ex_maude

Shared repository data · GitHub

License detected in repository
Not collected

Metadata history

Meaningful changes
Current collected state Current

Observed since 24 Oct, 13:22 UTC

Previous metadata revision 9d56a64d

20 Oct 2026 – 24 Oct 2026

Record identity

package:365b3abef39e6010471578ee668e6000c703a41acbb2601ad012763148162ad9