Summary: | sci-mathematics/prover9-2009.11a - select.c: error: parameter max_constrained was not declared, defaults | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | CONFIRMED --- | ||
Severity: | normal | CC: | sci-mathematics |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 870412 | ||
Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tar.bz2 sci-mathematics:prover9-2009.11a:20220918-100958.log temp.tar.bz2 |
Description
Toralf Förster
2022-09-18 10:21:46 UTC
Created attachment 810850 [details]
emerge-info.txt
Created attachment 810853 [details]
emerge-history.txt
Created attachment 810856 [details]
environment
Created attachment 810859 [details]
etc.portage.tar.bz2
Created attachment 810862 [details]
sci-mathematics:prover9-2009.11a:20220918-100958.log
Created attachment 810865 [details]
temp.tar.bz2
|