925657 – sci-mathematics/coq-8.19.0: stablereq

Bug 925657 - sci-mathematics/coq-8.19.0: stablereq

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

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-02-27 22:32:18 UTC

Please stabilize

 sci-mathematics/coq-8.19.0: no change for 33 days, since 2024-01-25

Comment 1 Sam James archtester

2024-02-27 23:42:02 UTC

amd64 done

all arches done