Package details
Package | libsemigroups-dev |
---|---|
Version | 2.7.3-r1 |
Description | Library for computing semigroups and monoids (development files) |
Project | https://github.com/libsemigroups/libsemigroups |
License | GPL-3.0-or-later |
Branch | edge |
Repository | testing |
Architecture | s390x |
Size | 334.5KiB |
Installed size | 1.9MiB |
Origin | libsemigroups |
Maintainer | None |
Build time | 2024-12-14 18:21:32 |
Commit | 81c8a27f4a7061c367363acb40257a9e3a504a8c | Merge request | 68639 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |