Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 907179 - sci-mathematics/coq-8.17.0: stabilization request
Summary: sci-mathematics/coq-8.17.0: stabilization request
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords: CC-ARCHES, STABLEREQ
Depends on:
Blocks:
 
Reported: 2023-05-25 16:57 UTC by Maciej Barć
Modified: 2023-07-11 08:43 UTC (History)
0 users

See Also:
Package list:
sci-mathematics/coq-8.17.0 amd64 x86
Runtime testing required: ---
nattka: sanity-check+


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Maciej Barć gentoo-dev 2023-05-25 16:57:47 UTC
> slot(0) no change in 44 days for unstable keywords: [ ~amd64, ~x86 ]
Comment 1 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-05-26 20:05:46 UTC
x86 done
Comment 2 Jakov Smolić archtester gentoo-dev 2023-07-11 08:43:13 UTC
amd64 done

all arches done