rpms
/
nauty
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
16 Commits 19 Branches 0 Tags 142 KiB
Diff 100%
Go to file
Jerry James d3634d0254 Version 2.7.1. 2020-06-02 08:48:24 -06:00
.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
nauty.spec Version 2.7.1. 2020-06-02 08:48:24 -06:00
sources Version 2.7.1. 2020-06-02 08:48:24 -06:00