State of standard for openSUSE:Factory / coq
x86_64
_buildenv (201 KB) |
|
coq-8.19.1-1.3.src.rpm (16.7 MB) |
|
coq-8.19.1-1.3.x86_64.rpm (102 MB) |
|
coq-debuginfo-8.19.1-1.3.x86_64.rpm (14.9 MB) |
|
coq-debugsource-8.19.1-1.3.x86_64.rpm (1.96 MB) |
|
coq-devel-8.19.1-1.3.x86_64.rpm (76.6 MB) |
|
coq-doc-8.19.1-1.3.noarch.rpm (5.75 MB) |
|
coq-ide-8.19.1-1.3.x86_64.rpm (23 MB) |
|
coq-ide-debuginfo-8.19.1-1.3.x86_64.rpm (3.44 MB) |
|
rpmlint.log (72.9 KB) |
|
i586
No built binaries