Package details
Package | rankwidth-dev |
---|---|
Version | 0.9-r3 |
Description | Library for calculating rank-width and rank-decompositions (development files) |
Project | https://sourceforge.net/projects/rankwidth/ |
License | GPL-2.0-or-later |
Branch | edge |
Repository | testing |
Architecture | armv7 |
Size | 2.9KiB |
Installed size | 20.0KiB |
Origin | rankwidth |
Maintainer | None |
Build time | 2023-08-01 11:01:42 |
Commit | 6efc42a47ab9919be27dddfbdca7d065020089b9 | Merge request | 49383 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |