rpms
/
nauty
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
14 Commits 19 Branches 0 Tags 142 KiB
Diff 100%
Go to file
Jerry James d9f7206e4d New upstream version. 2019-10-15 08:56:05 -06:00
.gitignore New upstream version. 2018-10-07 13:45:33 -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. 2019-10-15 08:56:05 -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.rpmlintrc New upstream version. 2019-10-15 08:56:05 -06:00
nauty.spec New upstream version. 2019-10-15 08:56:05 -06:00
sources New upstream version. 2019-10-15 08:56:05 -06:00