Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 709348 - dev-ml/camlp5-7.11 stable request
Summary: dev-ml/camlp5-7.11 stable request
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords: STABLEREQ
Depends on:
Blocks: 708696
  Show dependency tree
 
Reported: 2020-02-12 08:28 UTC by charles17
Modified: 2020-02-17 12:22 UTC (History)
0 users

See Also:
Package list:
dev-ml/camlp5-7.11
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 charles17 2020-02-12 08:28:44 UTC 
Lower versions require "<dev-lang/ocaml-4.09"
Comment 1 Agostino Sarubbo gentoo-dev 2020-02-17 12:10:14 UTC 
ppc stable
Comment 2 Agostino Sarubbo gentoo-dev 2020-02-17 12:15:31 UTC 
amd64 stable
Comment 3 Agostino Sarubbo gentoo-dev 2020-02-17 12:22:18 UTC 
x86 stable. Closing.