hashdist/python-hpcmp2 — pull request #75 by certik (2013-06-13 03:37:47+00:00)
Title: Check libraries (Fixes #74)

Adds a new option "--check-libs" to ./update, that checks all libraries in the
current profile.