math/lingeling: update g20220515 → 1.0.0
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on Mar 6 2024, 3:23 PM - Parents
- R11:e82be126dbc0: sysutils/munin-*: Move man pages to share/man
- Branches
- Unknown
- Tags
math/lingeling: update g20220515 → 1.0.0 Tags None Referenced Files None Subscribers None |