Is ghc-typelits-presburger safe to use?

ghc-typelits-presburger has no known vulnerabilities on the latest version (0.7.4.2). DepScope rates its health at 49/100 (high risk).

What is the latest version of ghc-typelits-presburger?

The latest version of ghc-typelits-presburger is 0.7.4.2, released 2025-07-20.

Does ghc-typelits-presburger have known vulnerabilities?

No known vulnerabilities on the latest version of ghc-typelits-presburger.

Is ghc-typelits-presburger deprecated?

No, ghc-typelits-presburger is actively maintained. Latest release: 0.7.4.2 (2025-07-20).

What are alternatives to ghc-typelits-presburger?

DepScope has no curated alternatives for ghc-typelits-presburger at this time.

What license does ghc-typelits-presburger use?

ghc-typelits-presburger is licensed under BSD-3-Clause.

ghc-typelits-presburger

hackagev0.7.4.2

Presburger Arithmetic Solver for GHC Type-level natural numbers.

License BSD-3-Clausepermissive21 versions1 maintainers0 deps

konn/ghc-typelits-presburger#readme

/ 100

Health

use with caution

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

Moderate health score (49/100) — verify manually

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/ghc-typelits-presburger

Last updated · 2025-07-20T12:22:13.413988899Z