Maintainer bbaren@mit.edu

Contact

Packages

Total

50

Newest

12

Outdated

36

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