Tarkvara
Expand Navbar
Choose Locale
eesti keel
العربية
Български
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
ALL Distributions
openEuler 20.03
openEuler 21.03
openSUSE Tumbleweed
openSUSE Slowroll
openSUSE Leap 15.6
openSUSE Leap 15.5
openSUSE Factory RISCV
openSUSE Factory ARM
openSUSE Factory PowerPC
openSUSE Factory zSystems
SLFO_Main
SLFO_1.1
SLFO_Kernel_1.0
openSUSE Backports for SLE 15 SP6
openSUSE Backports for SLE 15 SP5
openSUSE Backports for SLE 15 SP4
openSUSE Backports for SLE 15 SP3
openSUSE Backports for SLE 15 SP2
openSUSE Backports for SLE 15 SP1
openSUSE Backports for SLE 12 SP5
openSUSE Backports for SLE 12 SP4
openSUSE Backports for SLE 12 SP3
openSUSE Backports for SLE 12 SP2
openSUSE Backports for SLE 12 SP1
openSUSE Backports for SLE 12 SP0
SUSE SLE-15-SP6
SUSE SLE-15-SP5
SUSE SLE-15-SP4
SUSE SLE-15-SP3
SUSE SLE-15-SP2
SUSE SLE-15-SP1
SUSE SLE-12-SP5
SUSE SLE-11 SP 4
Arch Extra
Arch Community
Raspbian 12
Raspbian 11
Raspbian 10
Debian Unstable
Debian Testing
Debian 12
Debian 11
Debian 10
Debian 9.0
Fedora Rawhide (unstable)
Fedora 41
Fedora 40
Fedora 39
Fedora 38
ScientificLinux 7
ScientificLinux 6
RedHat RHEL-7
RedHat RHEL-6
RedHat RHEL-5
CentOS CentOS-8-Stream
CentOS CentOS-8
CentOS CentOS-7
Ubuntu 24.10
Ubuntu 24.04
Ubuntu 22.04
Ubuntu 20.04
Univention UCS 4.4
Mageia Cauldron (unstable)
Mageia 9
Mageia 8
IBM PowerKVM 3.1
AppImage
Otsing
Seadete otsing
×
Näita arenduse pakette
Näita keelepakette
Näita silumispakette
ComputerScience
Related categories
Science
Math
IDE
Development
Coq IDE
Graphical frontend for the Coq formal proof management system
Vaata