.gitignore
|
New upstream version.
|
2017-10-23 19:07:16 -06:00 |
nauty-autotoolization.patch
|
New upstream version.
|
2017-10-23 19:07:16 -06:00 |
nauty-fix-gt_numorbits.patch
|
New upstream version.
|
2017-10-23 19:07:16 -06:00 |
nauty-fix-include-extern.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty-help2man.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty-includes.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty-popcnt.patch
|
New upstream version.
|
2017-10-23 19:07:16 -06:00 |
nauty-tool-prefix.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty-zlib-blisstog.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty.spec
|
Use %ldconfig_scriptlets.
|
2018-05-30 20:20:33 -06:00 |
sources
|
New upstream version.
|
2017-10-23 19:07:16 -06:00 |