Maintainer nick@smallbone.se

Contact

Packages

Total

6

Newest

3

Outdated

3

Ignored

0

Package lists

Package filtering in Repology is very flexible, so you can combine all kinds of conditions. But here are some preset queries to start with:

Repositories

This maintainer is active in the following repositories:

Categories

This maintainer is active in the following package categories:

Packages

There are 6 total package(s) for 6 distinct project(s) known.

corsixth, cvc4, eprover, haskell:quickcheck, haskell:quickcheck-with-counterexamples, z3

Similar maintainers