Louis Vernon ea081f06f0 Added missing dependencies to nauty package (#5348) ... * Added missing help2man dependency to nauty * Add type=build * Added gmp dependency to nauty package		2017-09-13 20:16:16 -06:00
..
package.py	Added missing dependencies to nauty package (#5348)	2017-09-13 20:16:16 -06:00