[Updating] nauty (2.4~b7-2 [Ubuntu] < 2.4-2 [Debian]) * Trying to add nauty... - <nauty_2.4.orig.tar.gz: cached> - <nauty_2.4-2.dsc: cached> - <nauty_2.4-2.debian.tar.gz: cached>
[Updating] nauty (2.4~b7-2 [Ubuntu] < 2.4-2 [Debian]) 2.4.orig. tar.gz: cached> 2.4-2.debian. tar.gz: cached>
* Trying to add nauty...
- <nauty_
- <nauty_2.4-2.dsc: cached>
- <nauty_