Maintainer roconnor@theorem.ca

Contact

Packages

Total

51

Newest

18

Outdated

22

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 2 known problems for packages maintained by roconnor@theorem.ca

Categories

This maintainer is active in the following package categories:

Metapackages (19)

bitcoin, bitcoind, camlidl, coq, csdp, ecm, gdome2, gmetadom, gnupg, lablgtk, matita, msieve, ocaml:http, ocaml:mysql, ocaml:ulex, picosat, tarsnap, texmacs, wicd

Similar maintainers