Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 614216

Summary: rekeyword =dev-ml/sexplib-113.33.00
Product: Gentoo Linux Reporter: Alexis Ballier <aballier>
Component: KeywordingAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED FIXED    
Severity: normal Keywords: KEYWORDREQ
Priority: Normal Flags: stable-bot: sanity-check+
Version: unspecified   
Hardware: All   
OS: Linux   
URL: https://github.com/gentoo/gentoo/pull/4324
Whiteboard:
Package list:
dev-ml/sexplib-0.9.2 dev-ml/sexplib-0.9.3 dev-util/coccinelle-1.0.5 dev-util/coccinelle-1.0.6 dev-util/coccigrep-1.13
Runtime testing required: ---
Bug Depends on: 527318    
Bug Blocks:    

Description Alexis Ballier gentoo-dev 2017-03-29 14:48:40 UTC
this needs opam, bug #527318 which seems completely stalled

I'll merge https://github.com/gentoo/gentoo/pull/4324 if I don't hear from you soon as current ~x86 version does not even build with stable dev-lang/ocaml
Comment 1 Alexis Ballier gentoo-dev 2017-04-01 13:33:09 UTC
merged the PR, you need to rekeyword now
Comment 2 Stabilization helper bot gentoo-dev 2017-12-09 23:02:23 UTC
An automated check of this bug failed - the following atom is unknown:

dev-ml/sexplib-113.33.00

Please verify the atom list.
Comment 3 Thomas Deutschmann (RETIRED) gentoo-dev 2018-02-11 19:40:54 UTC
Package list updated to help tatt.
Comment 4 Thomas Deutschmann (RETIRED) gentoo-dev 2018-02-11 21:57:40 UTC
x86 keyworded, closing