coq-devel-8.20.0-1.5.aarch64.html | Development files for coq | OpenSuSE Ports Tumbleweed for aarch64 | coq-devel-8.20.0-1.5.aarch64.rpm |
coq-devel-8.20.0-1.5.armv6hl.html | Development files for coq | OpenSuSE Ports Tumbleweed for armv6hl | coq-devel-8.20.0-1.5.armv6hl.rpm |
coq-devel-8.20.0-1.5.armv7hl.html | Development files for coq | OpenSuSE Ports Tumbleweed for armv7hl | coq-devel-8.20.0-1.5.armv7hl.rpm |
coq-devel-8.20.0-1.3.i586.html | Development files for coq | OpenSuSE Ports Tumbleweed for i586 | coq-devel-8.20.0-1.3.i586.rpm |
coq-devel-8.20.0-1.2.s390x.html | Development files for coq | OpenSuSE Ports Tumbleweed for s390x | coq-devel-8.20.0-1.2.s390x.rpm |
coq-devel-8.20.0-1.1.ppc64le.html | Development files for coq | OpenSuSE Ports Tumbleweed for ppc64le | coq-devel-8.20.0-1.1.ppc64le.rpm |
coq-devel-8.20.0-1.1.riscv64.html | Development files for coq | OpenSuSE Ports Tumbleweed for riscv64 | coq-devel-8.20.0-1.1.riscv64.rpm |
coq-devel-8.20.0-1.1.x86_64.html | Development files for coq | OpenSuSE Tumbleweed for x86_64 | coq-devel-8.20.0-1.1.x86_64.rpm |
coq-devel-8.19.1-bp156.1.14.aarch64.html | Development files for coq | OpenSuSE Leap 15.6 for aarch64 | coq-devel-8.19.1-bp156.1.14.aarch64.rpm |
coq-devel-8.19.1-bp156.1.14.ppc64le.html | Development files for coq | OpenSuSE Leap 15.6 for ppc64le | coq-devel-8.19.1-bp156.1.14.ppc64le.rpm |
coq-devel-8.19.1-bp156.1.14.s390x.html | Development files for coq | OpenSuSE Leap 15.6 for s390x | coq-devel-8.19.1-bp156.1.14.s390x.rpm |
coq-devel-8.19.1-bp156.1.14.x86_64.html | Development files for coq | OpenSuSE Leap 15.6 for x86_64 | coq-devel-8.19.1-bp156.1.14.x86_64.rpm |