949943 – sci-mathematics/lean-4.14.0-r1, sci-mathematics/cadical-2.0.0: stablereq

Bug 949943 - sci-mathematics/lean-4.14.0-r1, sci-mathematics/cadical-2.0.0: stablereq

Summary: sci-mathematics/lean-4.14.0-r1, sci-mathematics/cadical-2.0.0: stablereq

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Stabilization (show other bugs)
Hardware:	All Linux

Importance:	Normal enhancement
Assignee:	Gentoo Science Mathematics related packages

URL:
Whiteboard:
Keywords:	CC-ARCHES, STABLEREQ

Depends on:
Blocks:

Reported:	2025-02-18 22:24 UTC by Maciej Barć
Modified:	2025-02-19 07:32 UTC (History)
CC List:	1 user (show)

See Also:
Package list:	=sci-mathematics/lean-4.14.0-r1 =sci-mathematics/cadical-2.0.0
Runtime testing required:	---

Flags:	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 Maciej Barć gentoo-dev

2025-02-18 22:24:15 UTC

Please stabilize

 sci-mathematics/lean-4.14.0-r1: no change for 46 days, since 2025-01-03
 sci-mathematics/cadical-2.0.0: no change for 235 days, since 2024-06-28

Comment 1 Arthur Zamarin archtester

2025-02-19 07:32:20 UTC

amd64 done

all arches done