Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
build.log (8.12.0, ppc)
coq-8.12.0:20201019-224954.log (text/plain), 591.88 KB, created by ernsteiswuerfel on 2020-10-19 22:59:53 UTC
(hide)
 
Creator: ernsteiswuerfel
Created: 2020-10-19 22:59:53 UTC
Size: 591.88 KB
Actions: View
Attachments on bug 750251: 667202 | 667205 | 667223