Converting nauty packaging to git-debpatch
Posted Tue 13 Mar 2012 08:04:00 AM ADT

Counting symbols from a debian symbols file
Posted Sun 18 Oct 2009 09:00:00 AM ADT