Is mix_idris2 safe to use?

mix_idris2 has no known vulnerabilities on the latest version (0.1.0). DepScope rates its health at 39/100 (critical risk).

What is the latest version of mix_idris2?

The latest version of mix_idris2 is 0.1.0, released 2020-09-26.

No known vulnerabilities on the latest version of mix_idris2.

No, mix_idris2 is actively maintained. Latest release: 0.1.0 (2020-09-26).

DepScope has no curated alternatives for mix_idris2 at this time.

mix_idris2 is licensed under BSD-3-Clause.

hexv0.1.0

Mix compiler for Idris 2

License BSD-3-Clausepermissive1 versions1 maintainers0 deps2 weekly dl

/ 100

Health

use with caution

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

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hex/mix_idris2

First published · 2020-09-26T17:11:31.297538Z

Last updated · 2020-09-26T17:11:31.301759Z