Build Service
Expand Navbar
Embed instructions
Choose Locale
Български
العربية
Български
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
Изберете Вашата Операционна Система
Unknown
Добави хранилище и инсталирай ръчно
For
openSUSE Leap 16.0
run the following as
root
:
?
Grab binary packages directly
Пакети за
openSUSE Leap 16.0
:
coq-8.20.1-lp160.72.34.src.rpm
coq-8.20.1-lp160.72.34.x86_64.rpm