| Summary: | sci-mathematics/coq-8.17.0: 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/coq-8.17.0 amd64 x86
|
Runtime testing required: | --- |
x86 done amd64 done all arches done |
> slot(0) no change in 44 days for unstable keywords: [ ~amd64, ~x86 ]