Is agda-pkg safe to use?

agda-pkg has no known vulnerabilities on the latest version (0.1.51). DepScope rates its health at 39/100 (critical risk).

What is the latest version of agda-pkg?

The latest version of agda-pkg is 0.1.51, released 2020-06-01.

No known vulnerabilities on the latest version of agda-pkg.

No, agda-pkg is actively maintained. Latest release: 0.1.51 (2020-06-01).

Popular alternatives to agda-pkg in PyPI include: boto3, boto3/, packaging, urllib3/, certifi.

agda-pkg is licensed under MIT.

pypiv0.1.51

A package manager for Agda

License MITpermissive47 versions1 maintainers12 deps

/ 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

Dependencies (12)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/agda-pkg