Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
sci-mathematics:lean-4.11.0:20241224-104715.log.xz
sci-mathematics:lean-4.11.0:20241224-104715.log.xz (application/x-xz), 111.14 KB, created by Toralf Förster on 2024-12-26 22:56:12 UTC
(hide)
 
Creator: Toralf Förster
Created: 2024-12-26 22:56:12 UTC
Size: 111.14 KB

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

Download the attachment.

Actions: View
Attachments on bug 946977: 915062 | 915063 | 915064 | 915065 | 915066 | 915067 | 915068 | 915069 | 915070 | 915071