installation-instructions.md

@@ -112,6 +112,11 @@ where `DISTRIBUTION` can be any one of
 bionic, cosmic, disco
 ```
 
+You should then download the public key `612DEFB798507F25` to verify the packages, with the command:
+```
+apt-key adv --keyserver keys.openpgp.org --recv-key 612DEFB798507F25
+```
+
 After running `apt-get update`, the package can be installed with
 
 ```
@@ -122,24 +127,6 @@ or if you want to use Python 3
 apt-get install python3-graph-tool
 ```
 
-If you want to verify the packages, you should use the public key `612DEFB798507F25`, which can be done with the command:
-```
-apt-key adv --keyserver pgp.skewed.de --recv-key 612DEFB798507F25
-```
-Afterwards, you can run `apt-key list`, which should give you the following details about the key:
-```
-pub   rsa4096 2013-10-17 [SC] [expires: 2020-10-23]
-      793C EFE1 4DBC 851A 2BFB  1222 612D EFB7 9850 7F25
-uid           [ unknown] Tiago de Paula Peixoto <tiago@skewed.de>
-uid           [ unknown] Tiago de Paula Peixoto <t.peixoto@bath.ac.uk>
-uid           [ unknown] Tiago de Paula Peixoto <tiago@itp.uni-bremen.de>
-sub   rsa4096 2013-10-17 [S] [expires: 2020-10-23]
-sub   rsa4096 2013-10-17 [E] [expires: 2020-10-23]
-sub   rsa4096 2017-10-24 [S] [expires: 2020-10-23]
-sub   rsa4096 2017-10-24 [E] [expires: 2020-10-23]
-sub   rsa4096 2017-10-24 [A] [expires: 2020-10-23]
-```
-
 ### MacOS X
 
 #### Homebrew