940557 – sci-mathematics/coq-8.19.2: stablereq

Bug 940557 - sci-mathematics/coq-8.19.2: stablereq

Summary: sci-mathematics/coq-8.19.2: 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:

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

2024-09-30 18:06:10 UTC

Please stabilize

 sci-mathematics/coq-8.19.2: no change for 112 days, since 2024-06-10

Comment 1 Arthur Zamarin archtester

2024-09-30 19:34:33 UTC

amd64 done

all arches done