Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 614216 - rekeyword =dev-ml/sexplib-113.33.00
Summary: rekeyword =dev-ml/sexplib-113.33.00
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Keywording (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL: https://github.com/gentoo/gentoo/pull...
Whiteboard:
Keywords: KEYWORDREQ
Depends on: 527318
Blocks:
  Show dependency tree
 
Reported: 2017-03-29 14:48 UTC by Alexis Ballier
Modified: 2018-02-11 21:57 UTC (History)
0 users

See Also:
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: ---
stable-bot: 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 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