Graph-tool: Difference between revisions

Content deleted Content added
No edit summary
Line 10:
| released = <!-- {{Start date|YYYY|MM|DD|df=yes/no}} -->
| discontinued =
| latest release version = 2.2935
| latest release date = {{Start date and age|20192020|0709|1216|df=yes/no}}
| latest preview version =
| latest preview date = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} -->
Line 21:
| status =
| genre = [[Software library]]
| license = [[GPLLGPL]]
| website = {{URL|graph-tool.skewed.de}}
}}