Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 827149 - sci-mathematics/coq-8.12.0-r2: stabilization request
Summary: sci-mathematics/coq-8.12.0-r2: 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: 2021-11-24 14:27 UTC by Viorel Munteanu
Modified: 2021-12-07 07:46 UTC (History)
1 user (show)

See Also:
Package list:
sci-mathematics/coq-8.12.0-r2
Runtime testing required: ---
nattka: sanity-check+

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Viorel Munteanu gentoo-dev 2021-11-24 14:27:12 UTC 
Stabilization request for sci-mathematics/coq-8.12.0-r2.  Previous sci-mathematics/coq-8.12.0-r1 is stable.

Thank you!
Comment 1 Jakov Smolić archtester gentoo-dev 2021-12-06 07:15:58 UTC 
amd64 done
Comment 2 Agostino Sarubbo gentoo-dev 2021-12-07 07:46:02 UTC 
x86 stable. Closing.