Build Service
Expand Navbar
Embed instructions
Choose Locale
English
العربية
Български
Català
Čeština
Dansk
Deutsch
Ελληνικά
English
Español
eesti keel
فارسی
Suomi
Français
Galego
हिन्दी
Magyar
Bahasa Indonesia
Italiano
日本語
ⵜⴰⵇⴱⴰⵢⵍⵉⵜ
ភាសាខ្មែរ
한국어
Lietuvių
Bokmål
Nederlands
Nynorsk
Polski
Português (Brazil)
Português
Română
Русский
සිංහල
Slovenčina
Svenska
ภาษาไทย
Tamaziɣt n aṭlaṣ
Українська
Walon
简体中文
繁體中文
Expand Megamenu
coq
from
science
project
Select Your Operating System
Unknown
Add repository and install manually
For
openSUSE Leap 16.0
run the following as
root
:
?
Grab binary packages directly
Packages for
openSUSE Leap 16.0
:
coq-8.20.1-lp160.72.34.src.rpm
coq-8.20.1-lp160.72.34.x86_64.rpm