haskell-tamarin-prover-theory 1.6.0-7.0

Architecture: i686
Repository: i686/community-staging
Description: not found in pkg-api
Upstream URL:
License(s): not found in pkg-api
Package Size: B
Installed Size: B
Build Date: not found in pkg-api
Last Updated: 2020-10-11 07:34:49

Dependencies (81)

  • ghc-libs
  • haskell-aeson
  • haskell-aeson-pretty
  • haskell-dlist
  • haskell-fclabels
  • haskell-parallel
  • haskell-safe
  • haskell-tamarin-prover-term
  • haskell-tamarin-prover-utils
  • haskell-uniplate
  • ghc (make)
  • libHSHUnit-1.6.0.0-6dD8N15KCj3LwjJI1l8mCB-ghc8.10.2.so (haskell-hunit) (link)
  • libHSSHA-1.6.4.4-E6Jj9ikGKEM9Q5vfpEwBdT-ghc8.10.2.so (haskell-sha) (link)
  • not satisfiable dependency: "libHSaeson-1.5.4.1-KnFYQBtHaFk4DA2IEtMGGQ-ghc8.10.2.so" (link)
  • libHSaeson-pretty-0.8.8-1sZfySL5lYh6lYyWSd6JCS-ghc8.10.2.so (haskell-aeson-pretty) (link)
  • libHSarray-0.5.4.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSassoc-1.0.2-110eCJSJ3GPLKuDIdqhpa0-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSattoparsec-0.13.2.4-2sMazfS9uEZEpYdvJVSxEh-ghc8.10.2.so" (link)
  • libHSbase-4.14.1.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSbase-compat-0.11.2-JggHr2fdYLe83DSFk1MYK3-ghc8.10.2.so (haskell-base-compat) (link)
  • libHSbase-compat-batteries-0.11.2-IYntvvdTJmlHHb2EgtAUk-ghc8.10.2.so (haskell-base-compat-batteries) (link)
  • libHSbase-orphans-0.8.3-GiIm1tNEe7ZKEo2xLeU7l4-ghc8.10.2.so (haskell-base-orphans) (link)
  • not satisfiable dependency: "libHSbase64-bytestring-1.2.0.0-6dXdRY8I98f3BaVIcpr3co-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbifunctors-5.5.7-KfAdrDNd2OFEvnFBS2c7Ea-ghc8.10.2.so" (link)
  • libHSbinary-0.8.8.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSblaze-builder-0.4.1.0-G4KXEZbDrFS6c5MmayHGI7-ghc8.10.2.so (haskell-blaze-builder) (link)
  • libHSbytestring-0.10.10.0-ghc8.10.2.so (ghc-libs) (link)
  • libHScall-stack-0.2.0-1Bicsj1gQrKCmn9kZBvIe8-ghc8.10.2.so (haskell-call-stack) (link)
  • libHScomonad-5.0.6-CjJHHPf1rdlGcfxsJahC8j-ghc8.10.2.so (haskell-comonad) (link)
  • libHScontainers-0.6.2.1-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSdata-fix-0.3.0-7JT5DrxRUcY2amDAmuCVff-ghc8.10.2.so" (link)
  • libHSdeepseq-1.4.4.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSdirectory-1.3.6.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSdistributive-0.6.2-7ATfVYh1OVKBOe6CGwPNsP-ghc8.10.2.so (haskell-distributive) (link)
  • not satisfiable dependency: "libHSdlist-1.0-Bmd8VbE2vvqHsbkOzi4G32-ghc8.10.2.so" (link)
  • libHSexceptions-0.10.4-ghc8.10.2.so (ghc-libs) (link)
  • libHSfclabels-2.0.5-B2N8a185s8wA15vMOVbeje-ghc8.10.2.so (haskell-fclabels) (link)
  • libHSfilepath-1.4.2.1-ghc8.10.2.so (ghc-libs) (link)
  • libHSghc-boot-th-8.10.2-ghc8.10.2.so (ghc-libs) (link)
  • libHSghc-prim-0.6.1-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHShashable-1.3.0.0-uTeBoAQZ7BHIL2DWfxNGp-ghc8.10.2.so" (link)
  • libHSinteger-gmp-1.0.3.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSinteger-logarithms-1.0.3-JdvKqavWtGr6ChRAIYl5G0-ghc8.10.2.so (haskell-integer-logarithms) (link)
  • libHSmtl-2.2.2-ghc8.10.2.so (ghc-libs) (link)
  • libHSparallel-3.2.2.0-HTf2o2horULDwL7cXUB9uv-ghc8.10.2.so (haskell-parallel) (link)
  • libHSparsec-3.1.14.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSpretty-1.1.3.6-ghc8.10.2.so (ghc-libs) (link)
  • libHSprimitive-0.7.1.0-Jxsyd70oUttYiCXCa0HqV-ghc8.10.2.so (haskell-primitive) (link)
  • libHSprocess-1.6.9.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSrandom-1.2.0-LTlgsAhxWC96CsvJDSEtQE-ghc8.10.2.so" (link)
  • libHSsafe-0.3.19-AfrHSVViU1189qUhjBUb5b-ghc8.10.2.so (haskell-safe) (link)
  • not satisfiable dependency: "libHSscientific-0.3.6.2-6esDBuVIamoCg8VHM8Dsd2-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsplitmix-0.1.0.1-9NNScwGwNraHoP0JbeSnN9-ghc8.10.2.so" (link)
  • libHSstm-2.5.0.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSstrict-0.4-55L8cePGiRj3TAF2bLFdjf-ghc8.10.2.so" (link)
  • libHSsyb-0.7.1-EJn6avnnYqseQTf54r0Yp-ghc8.10.2.so (haskell-syb) (link)
  • libHStagged-0.8.6-6ynGuqiqWewDmeFAuVgKQe-ghc8.10.2.so (haskell-tagged) (link)
  • not satisfiable dependency: "libHStamarin-prover-term-1.6.0-IUHmxHznFP0LpSzF2pd4fB-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-utils-1.6.0-2NWq6SzGZfqCVS3s1WGIVl-ghc8.10.2.so" (link)
  • libHStemplate-haskell-2.16.0.0-ghc8.10.2.so (ghc-libs) (link)
  • libHStext-1.2.3.2-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSth-abstraction-0.3.2.0-JULJofFxTYI9l1bgfMo5si-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSthese-1.1.1.1-tYFBnebA7WKyRB8whusRr-ghc8.10.2.so" (link)
  • libHStime-1.9.3-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHStime-compat-1.9.3-Fd86vLoPAJdGCy6I2lLcMM-ghc8.10.2.so" (link)
  • libHStransformers-0.5.6.2-ghc8.10.2.so (ghc-libs) (link)
  • libHStransformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM-ghc8.10.2.so (haskell-transformers-compat) (link)
  • not satisfiable dependency: "libHSuniplate-1.6.12-KT2mFqAjOrXC7TN4Fq82Ce-ghc8.10.2.so" (link)
  • libHSunix-2.7.2.2-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSunordered-containers-0.2.13.0-Fo8OAKTvtDP9k6MoYlsfQq-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSuuid-types-1.0.3-6VkH2YwErrgBDBsu2DUuB5-ghc8.10.2.so" (link)
  • libHSvector-0.12.1.2-IO5RJnkQnAxDAG50LdixTd-ghc8.10.2.so (haskell-vector) (link)
  • libc.so.6 (glibc) (link)
  • libc.so.6-GLIBC_2.0-0x0d696910 (glibc) (link)
  • libc.so.6-GLIBC_2.1.3-0x09691f73 (glibc) (link)
  • libdl.so.2 (glibc) (link)
  • libgmp.so.10 (gmp) (link)
  • libm.so.6 (glibc) (link)
  • libpthread.so.0 (glibc) (link)
  • librt.so.1 (glibc) (link)
  • libutil.so.1 (glibc) (link)

Required By (4)