| Summary: |
sci-mathematics/coq-8.6 - stabilization request |
| Product: |
Gentoo Linux
|
Reporter: |
Alessandro Barbieri <lssndrbarbieri> |
| Component: |
Stabilization | Assignee: |
Gentoo Team for the ML programming language family <ml> |
| Status: |
RESOLVED
FIXED
|
|
|
| Severity: |
normal
|
CC: |
nobrowser, sci-mathematics
|
| Priority: |
Normal
|
Keywords: |
STABLEREQ |
| Version: |
unspecified | Flags: |
stable-bot:
sanity-check+
|
| Hardware: |
All | |
|
| OS: |
Linux | |
|
| Whiteboard: |
|
|
Package list:
|
sci-mathematics/coq-8.6
|
Runtime testing required:
|
---
|
|---|
| Bug Depends on: |
623796
|
|
|
| Bug Blocks: |
|
|
|
| Attachments: |
| Description |
Flags |
|
info
|
none
|
|
