Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
18
>
x86_64
>
media
>
updates-src
>
by-pkgid
>
4bed83dd60c7af467131e23fa7a3c10c
>
deps
gappalib-coq-0.18.0-6.fc18.src.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
Dependencies
Requires
coq(x86-64) = 8.4pl1
flocq
gappa
ocaml
ocaml-camlp5-devel
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1