Linux repositories inspector

tamarin-prover - Dependencies

depends
Manjaro iconManjaro (1.4.1-44)
rolling unstable/community
Manjaro iconManjaro (1.4.1-42)
rolling testing/community
rolling unstable/community
Manjaro iconManjaro (1.4.1-39)
rolling stable/community
rolling testing/community
rolling unstable/community
ghc-libsyesyesyes
graphvizyesyesyes
haskell-binary-orphansyesyesyes
haskell-blaze-builderyesyesyes
haskell-blaze-htmlyesyesyes
haskell-cmdargsyesyesyes
haskell-conduityesyesyes
haskell-fclabelsyesyesyes
haskell-file-embedyesyesyes
haskell-gitrevyesyesyes
haskell-http-typesyesyesyes
haskell-hunityesyesyes
haskell-lifted-baseyesyesyes
haskell-monad-unliftyesyesyes
haskell-resourcetyesyesyes
haskell-safeyesyesyes
haskell-shakespeareyesyesyes
haskell-tamarin-prover-termyesyesyes
haskell-tamarin-prover-theoryyesyesyes
haskell-tamarin-prover-utilsyesyesyes
haskell-threadsyesyesyes
haskell-waiyesyesyes
haskell-warpyesyesyes
haskell-yesod-coreyesyesyes
haskell-yesod-staticyesyesyes
maudeyesyesyes
makedepends
ghcyesyesyes
ocamlyesyesyes
optdepends
ocamlyesyesyes
⇧ Top