Manuals
openSUSE
About
Repository Indices
Tumbleweed
Leap-16.0
Leap-15.6
Main
Main site
Software
Wiki
Documentation
Forum
Development
Build service
Bugzilla
GitHub
openQA
Weblate
Kernel
Information
News
Events
Planet
Shop
Status
Survey
Community
IRC channels
Mail lists
Facebook group
Telegram group
Reddit
Social media
Mastodon
Telegram
Facebook
Twitter
YouTube
Other
Packman
Kubic
Guide (unofficial)
Mirrors
Lizards
Manuals
Leap-15.6
coq-ide
Manpages of coq-ide
coqide(1)