| Summary: | sci-mathematics/lean-3.50.3: 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.50.3 amd64
|
Runtime testing required: | --- |
amd64 done all arches done |
> slot(0) no change in 149 days for unstable keyword: [ ~amd64 ]