Maintainer bbaren@mit.edu

Contact

• E-Mail: bbaren@mit.edu

Packages

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:

• All packages for this maintainer.
• Up to date packages for this maintainer.
• Outdated packages for this maintainer.
• Outdated packages for this maintainer, newest in 2+ other repository families. Compared to the previous query this has smaller possibility of false positives.

• Packages for this maintainer which have ignored versions. There may be incorrect versions which needs fixing among these.
• Packages for this maintainer which are up to date only in a single repository family. There may be incorrect versions which needs fixing among these.
• Packages for this maintainer which have related ones (with the same homepage). These may require merging into a single project.

• Unique packages present only in a single repository family.
• Unique packages present only in a single repository.

Repositories

This maintainer is active in the following repositories:

• Ubuntu 17.10 (4) (feeds: html, atom)
• Raspbian Stable (4) (feeds: html, atom)
• Deepin (4) (feeds: html, atom)
• Debian Unstable (4) (feeds: html, atom)
• Pardus (3) (feeds: html, atom)
• Devuan Unstable (3) (feeds: html, atom)
• Devuan Stable (3) (feeds: html, atom)
• Debian Stable (3) (feeds: html, atom)
• Ubuntu 19.10 (2) (feeds: html, atom)
• Ubuntu 19.04 (2) (feeds: html, atom)
• Ubuntu 18.10 (2) (feeds: html, atom)
• Ubuntu 18.04 (2) (feeds: html, atom)
• Parrot (2) (feeds: html, atom)
• Ubuntu 16.04 (1) (feeds: html, atom)
• Ubuntu 14.04 (1) (feeds: html, atom)
• Trisquel 8.0 (1) (feeds: html, atom)
• Trisquel 7.0 (1) (feeds: html, atom)
• Raspbian Oldstable (1) (feeds: html, atom)
• Devuan Oldstable (1) (feeds: html, atom)
• Debian Oldstable (1) (feeds: html, atom)

Problems

There are 5 known problems for packages maintained by bbaren@mit.edu

Categories

This maintainer is active in the following package categories:

• universe/misc (4)
• misc (4)

Packages

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

boogie, dafny, transmission-remote-gtk, urweb

Similar maintainers