|
|
Reported:
|
2023-01-27 20:37 UTC by Andreas Sturmlechner
|
Modified:
|
2023-01-30 15:26 UTC
(History)
|
|
2
users
(show)
|
|
See Also:
|
|
Package list:
|
sci-mathematics/alt-ergo-2.4.2-r1 amd64
dev-ml/cmdliner-1.1.1 amd64 arm arm64 ppc64 x86
|
Runtime testing required:
|
---
|
|
|
nattka:
sanity-check+
|
|