Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
build log
sci-mathematics:coq-9.0.0:20250327-230704.log.gz (application/gzip), 12.09 KB, created by CaptainBlood on 2025-03-28 00:19:45 UTC
(hide)
 
Creator: CaptainBlood
Created: 2025-03-28 00:19:45 UTC
Size: 12.09 KB

Attachment is not viewable in your browser because its MIME type (application/gzip) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 952818: 923141