You should then download the public key [`612DEFB798507F25`](https://keys.openpgp.org/search?q=612DEFB798507F25) to verify the packages, with the command:
...
...
@@ -101,6 +104,10 @@ After running `apt-get update`, the package can be installed with
apt-get install python3-graph-tool
```
#### Fedora
There's a fedora package for graph-tool called [python3-graph-tool](https://packages.fedoraproject.org/pkgs/python-graph-tool/python3-graph-tool/).