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

Bug 625848

Summary: rekeyword dev-ml/lwt-3.1.0
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   
Whiteboard:
Package list:
dev-ml/lwt-3.1.0 dev-ml/ocaml-migrate-parsetree-1.0.1 dev-ml/ppx_tools_versioned-5.0.1
Runtime testing required: ---

Description Alexis Ballier gentoo-dev 2017-07-21 12:38:46 UTC
new deps (wait for the bot)
Comment 1 Stabilization helper bot gentoo-dev 2017-07-21 13:00:42 UTC
An automated check of this bug failed - repoman reported dependency errors (19 lines truncated): 

> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: DEPEND: ~arm(default/linux/arm/13.0) ['dev-ml/ocaml-migrate-parsetree:=', 'dev-ml/jbuilder']
> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: RDEPEND: ~arm(default/linux/arm/13.0) ['dev-ml/ocaml-migrate-parsetree:=']
> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: DEPEND: ~ppc(default/linux/powerpc/ppc32/13.0) ['dev-ml/ocaml-migrate-parsetree:=']
Comment 2 Stabilization helper bot gentoo-dev 2017-07-21 17:01:26 UTC
An automated check of this bug failed - repoman reported dependency errors: 

> dependency.bad dev-ml/jbuilder/jbuilder-1.0_beta10.ebuild: DEPEND: ~arm(default/linux/arm/13.0) ['dev-ml/menhir']
Comment 3 Stabilization helper bot gentoo-dev 2017-07-21 19:00:45 UTC
An automated check of this bug failed - repoman reported dependency errors (19 lines truncated): 

> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: DEPEND: ~arm(default/linux/arm/13.0) ['dev-ml/ppx_tools_versioned:=']
> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: RDEPEND: ~arm(default/linux/arm/13.0) ['dev-ml/ppx_tools_versioned:=']
> dependency.bad dev-ml/lwt/lwt-3.1.0.ebuild: DEPEND: ~ppc(default/linux/powerpc/ppc32/13.0) ['dev-ml/ppx_tools_versioned:=']
Comment 4 Alexis Ballier gentoo-dev 2017-07-24 05:56:50 UTC
~arm done
Comment 5 Sergei Trofimovich (RETIRED) gentoo-dev 2017-07-30 15:40:12 UTC
~ppc keyworded

Last arch. Closing.