Folder Path
/
gentoo
/
sci-mathematics
/
prover9
/
1
directory
3
files
5.2 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
4/10/2025, 12:11:44 PM
Manifest
2.1 KiB
2/23/2025, 10:41:04 PM
metadata.xml
535 B
2/14/2024, 10:42:35 AM
prover9-2009.11a-r2.ebuild
2.6 KiB
2/23/2025, 10:41:04 PM