Maintainer benedikt.schmidt@inf.ethz.ch

Contact

Repository activity

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

Categories

This maintainer is active in the following package categories:

Projects

haskell:tamarin-prover-term, haskell:tamarin-prover-theory

Similar maintainers

Maintainer Score Common projects
fallback-mnt-nix@repology 0.00 2