... | @@ -191,6 +191,15 @@ After running `apt-get update`, the package can be installed with |
... | @@ -191,6 +191,15 @@ After running `apt-get update`, the package can be installed with |
|
```
|
|
```
|
|
apt-get install python3-graph-tool
|
|
apt-get install python3-graph-tool
|
|
```
|
|
```
|
|
|
|
##### Git snapshots
|
|
|
|
Packages are also available for development versions of ``graph-tool``. They correspond to the current ``HEAD`` of the ``master`` branch of the git repository, and are build shortly after commits are made to it.
|
|
|
|
To use these packages, you need to add the following line to your `/etc/apt/sources.list`,
|
|
|
|
```
|
|
|
|
deb https://downloads.skewed.de/apt-git DISTRIBUTION main
|
|
|
|
```
|
|
|
|
where ``DISTRIBUTION`` is any of the ones for the stable release repository above. Note that both repositories are compatible, and can be installed side by side, and the newest version of the library will be selected correctly.
|
|
|
|
|
|
|
|
Please note that, unlike the stable releases, this repository is **unsigned**.
|
|
|
|
|
|
#### Fedora
|
|
#### Fedora
|
|
|
|
|
... | | ... | |