Dear Tanguy,
Indeed there was a problem with the impish repository, but it is fixed now.
Thank you for letting me know!
Best,
Tiago
Am 11.02.22 um 10:16 schrieb Tanguy Fardet:
Dear Tiago,
the installation wiki [1] lists impish as a supported distro but the
corresponding apt folder on the server [2] is empty.
Is it indeed supposed to contain a deb or is it an issue with the
documentation?
[1]:
https://git.skewed.de/count0/graph-tool/-/wikis/installation-instructions#debian-ubuntu
[2]: https://downloads.skewed.de/apt/dists/impish/
Thanks in advance
--
Tiago de Paula Peixoto <[email protected]>
_______________________________________________
graph-tool mailing list -- [email protected]
To unsubscribe send an email to [email protected]
