Repository | Packages | Projects | Feeds | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Total | Newest | Outdated | Problematic | Potentially vulnerable | Other lists | ||||||||
Hackage | 2 | 2 | 2 | 100.0% | - | - | - | HCO LN ∗ U Problems |
html,
atom |
||||
Total | 2 | 2 | 2 | 100.0% | - | - | - | HCO LN ∗ U |
This maintainer is active in the following package categories:
haskell:smtlib-backends, haskell:smtlib-backends-z3
Maintainer | Score | Common projects |
---|---|---|
mathieu.montin@tweag.io | 100.00 | 2 |
facundo.dominguez@tweag.io | 28.57 | 2 |
Maintainer | Score | Common projects |
---|---|---|
fallback-mnt-nix@repology | 0.00 | 2 |