Maintainer gabriel.hondet@tweag.io

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable Other lists
Hackage 2 2 2 100.0% --- HCO LN U Problems html, atomAtom feed
Total 2 2 2 100.0% --- HCO LN U

Categories

This maintainer is active in the following package categories:

Projects

haskell:smtlib-backends, haskell:smtlib-backends-z3

Similar maintainers

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