libnauty-devel
