Maintainer gienah@gentoo.org

Contact

Packages

Total

112

Newest

18

Outdated

10

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:

Problems

There are 22 known problems for packages maintained by gienah@gentoo.org

Categories

This maintainer is active in the following package categories:

Packages

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

cdm, cvc3, eprover, eselect-scala, isabelle, iwl3160-7260-bt-ucode, iwl3160-ucode, iwl7260-ucode, kodkod, kodkodi, mathjax, p9m4, prover9, rstudio, sbt, sha1-polyml, spass, teyjus, twelf, z3

Similar maintainers