Maintainer bbaren@mit.edu

Contact

Packages

Total

65

Newest

18

Outdated

46

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 5 known problems for packages maintained by bbaren@mit.edu

Categories

This maintainer is active in the following package categories:

Metapackages (4)

boogie, dafny, transmission-remote-gtk, urweb

Similar maintainers