Is tamarin-prover-theory safe to use?

tamarin-prover-theory has no known vulnerabilities on the latest version (0.8.6.0). DepScope rates its health at 30/100 (critical risk).

What is the latest version of tamarin-prover-theory?

The latest version of tamarin-prover-theory is 0.8.6.0, released 2014-02-16.

No known vulnerabilities on the latest version of tamarin-prover-theory.

No, tamarin-prover-theory is actively maintained. Latest release: 0.8.6.0 (2014-02-16).

DepScope has no curated alternatives for tamarin-prover-theory at this time.

tamarin-prover-theory is licensed under LicenseRef-GPL.

hackagev0.8.6.0

Term manipulation library for the tamarin prover.

License LicenseRef-GPL5 versions1 maintainers0 deps

30

/ 100

Health

use with caution

[email protected] low health (30/100) — consider alternatives

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

0

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/tamarin-prover-theory

Last updated · 2014-02-16T15:15:54.063221Z