750956 – sci-mathematics/coq: rekeywording

Bug 750956 - sci-mathematics/coq: rekeywording

Summary: sci-mathematics/coq: rekeywording

Status:	RESOLVED OBSOLETE

Alias:	None

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

Importance:	Normal normal (vote)
Assignee:	Gentoo Science Mathematics related packages

URL:
Whiteboard:
Keywords:	CC-ARCHES

Depends on:	750251 834869
Blocks:
	Show dependency tree

Reported:	2020-10-24 01:47 UTC by Sam James
Modified:	2023-08-24 18:05 UTC (History)
CC List:	2 users (show)

See Also:	769317
Package list:	sci-mathematics/coq ~ppc ~x86
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 Sam James archtester

2020-10-24 01:47:30 UTC

thanks

Comment 1 NATTkA bot gentoo-dev

2022-02-17 13:25:03 UTC Comment hidden (obsolete)

Sanity check failed:

> sci-mathematics/coq-8.15.0-r1
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/antlr-4.7:4
>     dev-python/antlr4-python3-runtime
>     dev-python/sphinxcontrib-bibtex

Comment 2 Maciej Barć gentoo-dev

2022-02-17 13:26:56 UTC

we should skip newest one (8.15)

Comment 3 NATTkA bot gentoo-dev

2022-02-17 14:13:45 UTC Comment hidden (obsolete)

Sanity check failed:

> sci-mathematics/coq-8.15.0-r2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/antlr-4.7:4
>     dev-python/antlr4-python3-runtime
>     dev-python/sphinxcontrib-bibtex

Comment 4 Sam James archtester

2022-03-09 23:41:20 UTC

(In reply to Maciej Barć from comment #2)
> we should skip newest one (8.15)

why? also, x86 got dropped too?

Comment 5 Maciej Barć gentoo-dev

2022-03-09 23:42:09 UTC

> x86 got dropped too?

docs

Comment 6 NATTkA bot gentoo-dev

2022-03-09 23:45:52 UTC Comment hidden (obsolete)

Sanity check failed:

> sci-mathematics/coq-8.15.0-r2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/antlr-4.7:4
>     dev-python/antlr4-python3-runtime
>     dev-python/sphinxcontrib-bibtex
>   bdepend ~x86 stable profile default/linux/x86/17.0 (10 total)
>     dev-python/antlr4-python3-runtime

Comment 7 Sam James archtester

2022-03-09 23:56:21 UTC

(In reply to Maciej Barć from comment #5)
> > x86 got dropped too?
> 
> docs

then mask a flag as appropriate or file a rekeywording bug

Comment 8 NATTkA bot gentoo-dev

2022-03-10 00:20:38 UTC Comment hidden (obsolete)

Sanity check failed:

> sci-mathematics/coq-8.15.0-r2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/antlr-4.7:4
>     dev-python/antlr4-python3-runtime
>     dev-python/sphinxcontrib-bibtex

Comment 9 NATTkA bot gentoo-dev

2022-03-10 04:04:41 UTC Comment hidden (obsolete)

Sanity check failed:

> dev-java/antlr-4.9.3
>   depend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jdk-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jre-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
> dev-python/sphinxcontrib-bibtex-2.4.1
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]

Comment 10 Larry the Git Cow gentoo-dev

2022-03-10 21:08:40 UTC

The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae6f5f7b48a1a4ff88a722dd514bb31f012c54bb

commit ae6f5f7b48a1a4ff88a722dd514bb31f012c54bb
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-03-10 21:05:19 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-03-10 21:08:35 +0000

    profiles/arch/powerpc/ppc32: mask >=sci-mathematics/coq-8.15.0[doc]
    
    Bug: https://bugs.gentoo.org/750956
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 profiles/arch/powerpc/ppc32/package.use.mask | 6 ++++++
 1 file changed, 6 insertions(+)

Comment 11 NATTkA bot gentoo-dev

2022-04-10 21:24:44 UTC Comment hidden (obsolete)

Sanity check failed:

> dev-java/antlr-4.9.3
>   depend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jdk-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jre-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
> dev-python/sphinxcontrib-bibtex-2.4.2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]

Comment 12 NATTkA bot gentoo-dev

2022-04-16 06:00:51 UTC Comment hidden (obsolete)

Sanity check failed:

> dev-python/sphinxcontrib-bibtex-2.4.2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
> dev-java/antlr-4.9.3
>   depend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jdk-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jre-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4

Comment 13 NATTkA bot gentoo-dev

2022-04-16 18:04:50 UTC Comment hidden (obsolete)

Sanity check failed:

> dev-java/antlr-4.9.3
>   depend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jdk-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-java/java-config-2.2.0-r3
>     >=virtual/jre-1.8:*
>     ~dev-java/antlr-runtime-4.9.3:4
>     ~dev-java/antlr-tool-4.9.3:4
> dev-python/sphinxcontrib-bibtex-2.4.2
>   bdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>   rdepend ~ppc stable profile default/linux/powerpc/ppc64/17.0/32bit-userland (9 total)
>     >=dev-python/pybtex-0.24[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]
>     dev-python/pybtex-docutils[python_targets_python3_10(-),python_targets_python3_8(-),python_targets_python3_9(-)]

Comment 14 ernsteiswuerfel archtester

2023-08-05 12:45:57 UTC

Probably just drop it on ppc?

It's not keyworded on any archs besides amd64/x86 an only ~x86 too.

Comment 15 Arthur Zamarin archtester

2023-08-24 18:05:45 UTC

dropped ppc