12 Feb
2022
12 Feb
'22
12:07 p.m.
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#de...
[2]: https://downloads.skewed.de/apt/dists/impish/
Thanks in advance
-- Tiago de Paula Peixoto <tiago@skewed.de>