.gitignore
|
New upstream version.
|
2018-10-07 13:45:33 -06:00 |
nauty-autotoolization.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-fix-gt_numorbits.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-help2man.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-includes.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty-popcnt.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-tool-prefix.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-unbundle-cliquer.patch
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |
nauty-zlib-blisstog.patch
|
Initial import.
|
2016-04-21 16:40:59 -06:00 |
nauty.rpmlintrc
|
New upstream version.
|
2019-10-15 08:56:05 -06:00 |
sources
|
Version 2.7.1.
|
2020-06-02 08:48:24 -06:00 |