... | ... | @@ -195,11 +195,11 @@ apt-get install python3-graph-tool |
|
|
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
|
|
|
deb [trusted=yes] 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**.
|
|
|
Please note that, unlike the stable releases, this repository is **unsigned**, and this is why the "`[trusted=yes]`" parameter is needed above.
|
|
|
|
|
|
#### Fedora
|
|
|
|
... | ... | |