Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Mageia
>
9
>
aarch64
>
media
>
core-release
>
by-pkgid
>
94fc82a9622657f08fde11aeafc3bf59
>
scriptlet
coq-ide-server-8.16.1-1.mga9.aarch64.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse