Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 920136 - sci-mathematics/lean-4.2.0_rc4: stablereq
Summary: sci-mathematics/lean-4.2.0_rc4: stablereq
Status: RESOLVED WONTFIX
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal enhancement
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-12-16 11:19 UTC by Sam James
Modified: 2023-12-16 11:30 UTC (History)
0 users

See Also:
Package list:
=sci-mathematics/lean-4.2.0_rc4 *
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 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-12-16 11:19:49 UTC 
Please stabilize

 sci-mathematics/lean-4.2.0_rc4: no change for 50 days, since 2023-10-26
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-12-16 11:30:09 UTC 
We can do 4.2.0 in due course.