| Summary: | sci-mathematics/lean-3.49.0: amd64 stabilization request | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Maciej Barć <xgqt> |
| Component: | Stabilization | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | Keywords: | CC-ARCHES, STABLEREQ |
| Priority: | Normal | Flags: | nattka:
sanity-check+
|
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: |
sci-mathematics/lean-3.49.0 amd64
|
Runtime testing required: | --- |
|
Description
Maciej Barć
2022-12-21 23:23:36 UTC
amd64 done all arches done |
