x86_64: libnauty.so.2 libnautyA1.so.2 libnautyL0.so.2 libnautyL1.so.2 libnautyQ0.so.2 libnautyQ1.so.2 libnautyS0.so.2 libnautyS1.so.2 libnautyW0.so.2 libnautyW1.so.2
