build/pkgs/nauty
: Update to 2.8.8; use VERSION in all upstream_url
s.
#36774
Codecov / codecov/patch
succeeded
Dec 15, 2023 in 0s
Coverage not affected when comparing e2e0f8d...b830776
View this Pull Request on Codecov
Coverage not affected when comparing e2e0f8d...b830776
Loading