0.5.0

Hex

ex_maude

Elixir bindings for the Maude formal verification system.

Published10 Oct 2026

Direct dependencies7

Transitive dependenciesNot calculated

Downloads & popularity

158downloads

Cumulative counter · observed snapshots22 Oct 2026

158128.999.8

20 Oct22 Oct

hex · 2 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values

Date / source period	Value	Observed at
2026-10-22	158	2026-10-22T18:26:19.9758827Z
2026-10-20	104	2026-10-20T22:16:40.6277585Z

Native requirements

7 direct targetsNot calculated transitive count

Package / target	Requirement	Relationship
elixir_make Environment { "app": "elixir_make", "repository": "" }	`~> 0.8`	runtime
jason Environment { "app": "jason", "repository": "" }	`~> 1.4`	runtime
mint Environment { "app": "mint", "repository": "" }	`~> 1.10`	runtime
poolboy Environment { "app": "poolboy", "repository": "" }	`~> 1.5`	runtime
rustler Environment { "app": "rustler", "repository": "" }	`~> 0.38`	optional
rustler_precompiled Environment { "app": "rustler_precompiled", "repository": "" }	`~> 0.10`	runtime
telemetry Environment { "app": "telemetry", "repository": "" }	`~> 1.2`	runtime

0 collected

No distribution files are present in the collected metadata.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 22:16 UTC

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

package_version:2ed7658db6e567d705ee3d0db3b8904f012291ded3b7cd81c65e38f2ed7a3eec