Maintainer gienah@gentoo.org

Contact

Packages

Total

116

Newest

19

Outdated

9

Ignored

0

Metapackage lists

Metapackage 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 28 known problems for packages maintained by gienah@gentoo.org

Categories

This maintainer is active in the following package categories:

Metapackages (20)

cdm, cvc3, e, 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