Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 619676 - sci-mathematics/coq-8.6 - stabilization request
Summary: sci-mathematics/coq-8.6 - stabilization request
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords: STABLEREQ
: 622706 (view as bug list)
Depends on: 623796
Blocks:
  Show dependency tree
 
Reported: 2017-05-25 13:45 UTC by Alessandro Barbieri
Modified: 2017-07-07 13:25 UTC (History)
2 users (show)

See Also:
Package list:
sci-mathematics/coq-8.6
Runtime testing required: ---
stable-bot: sanity-check+

Attachments
info (info,14.31 KB, text/plain)
2017-05-25 13:45 UTC, Alessandro Barbieri 		no flags Details
View All 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 Alessandro Barbieri 2017-05-25 13:45:08 UTC 
At least this version builds, I'm on amd64

coqc --version
The Coq Proof Assistant, version 8.6 (May 2017)
compiled on May 10 2017 20:37:2 with OCaml 4.04.0


If you need tests, tell me what to do
Comment 1 Alessandro Barbieri 2017-05-25 13:45:37 UTC 
Created attachment 474266 [details]
info

info
Comment 2 Alexis Ballier gentoo-dev 2017-07-01 16:00:29 UTC 
*** Bug 622706 has been marked as a duplicate of this bug. ***
Comment 3 Alexis Ballier gentoo-dev 2017-07-01 16:01:09 UTC 
ok
Comment 4 Agostino Sarubbo gentoo-dev 2017-07-07 08:05:53 UTC 
amd64 stable
Comment 5 Agostino Sarubbo gentoo-dev 2017-07-07 08:13:07 UTC 
x86 stable
Comment 6 Agostino Sarubbo gentoo-dev 2017-07-07 13:25:12 UTC 
ppc stable. Closing.