haskell-tamarin-prover-theory 1.6.0-45.0

Architecture: pentium4
Repository: pentium4/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: 2021-01-10 12:11:03

Dependencies (51)

  • 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)
  • libHSaeson-1.5.5.1-HJzRrPAGVqL3sGL702QgQU-ghc8.10.2.so (haskell-aeson) (link)
  • libHSaeson-pretty-0.8.8-CNt2Sxoqhf131FCt2wNmrN-ghc8.10.2.so (haskell-aeson-pretty) (link)
  • libHSassoc-1.0.2-Bnm655A1wJR4ouJ8oLvffC-ghc8.10.2.so (haskell-assoc) (link)
  • libHSattoparsec-0.13.2.4-LjR4SLMiYaTBuNUsIRVDVH-ghc8.10.2.so (haskell-attoparsec) (link)
  • not satisfiable dependency: "libHSbase-compat-batteries-0.11.2-FgYP0JRQK0QHkMU88TzIBr-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbase-orphans-0.8.4-KgsQ8bwP1sjJNzYSvWWSnJ-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbase64-bytestring-1.2.0.1-J7Iq0XyucB74MpxggQtR2w-ghc8.10.2.so" (link)
  • libHSbifunctors-5.5.9-DxOhVSWk4qCDoz4lrrGPy-ghc8.10.2.so (haskell-bifunctors) (link)
  • libHScomonad-5.0.8-BU0cm3gZfaTITxc2Hmx4Tk-ghc8.10.2.so (haskell-comonad) (link)
  • not satisfiable dependency: "libHSdata-fix-0.3.0-67Ayad2p6hqFyekPsvzLch-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSdistributive-0.6.2.1-CIFlcLwq7yVn7PYnXZncs-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSdlist-1.0-7yBbMnCiEm46YVc0NIuRdA-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSfclabels-2.0.5-FCp868bVOCVG49ULKu2lk5-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShashable-1.3.0.0-7ZABbhPzEHUFKGCnZllPlO-ghc8.10.2.so" (link)
  • libHSparallel-3.2.2.0-HTf2o2horULDwL7cXUB9uv-ghc8.10.2.so (haskell-parallel) (link)
  • not satisfiable dependency: "libHSprimitive-0.7.1.0-Jxsyd70oUttYiCXCa0HqV-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSrandom-1.2.0-1bl1BCDTJTv7mTz0mMuFeh-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSscientific-0.3.6.2-D8zD0veXzAn3gJCiRQbO7T-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsplitmix-0.1.0.3-GToSj7oBRWr1Sug5CYLGS3-ghc8.10.2.so" (link)
  • libHSstrict-0.4.0.1-Hd5MaEhBvQk5krSQsuONiV-ghc8.10.2.so (haskell-strict) (link)
  • not satisfiable dependency: "libHStagged-0.8.6.1-A3E8I7zg2qBFE9O5vQsg6C-ghc8.10.2.so" (link)
  • libHStamarin-prover-term-1.6.0-5K1vddWFWtSA0zi4cWppgh-ghc8.10.2.so (haskell-tamarin-prover-term) (link)
  • not satisfiable dependency: "libHStamarin-prover-utils-1.6.0-KrUOzTP2FxA4UwalwSnMtV-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSth-abstraction-0.4.2.0-CPMLTlyMgmr6dbHxHL95CG-ghc8.10.2.so" (link)
  • libHSthese-1.1.1.1-E1uOILAQehdjDRI5o6bMs-ghc8.10.2.so (haskell-these) (link)
  • libHStime-compat-1.9.5-KB7tJSiglVKJb6876muzHz-ghc8.10.2.so (haskell-time-compat) (link)
  • libHStransformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM-ghc8.10.2.so (haskell-transformers-compat) (link)
  • not satisfiable dependency: "libHSuniplate-1.6.13-6lXOA7G7WqNGS0xtTMI80b-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSunordered-containers-0.2.13.0-9AKB3BFBpzZ4c1wQv8zrbO-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSuuid-types-1.0.3-5Duf3xPRkyWCuBaNBX3x5Y-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvector-0.12.1.2-IO5RJnkQnAxDAG50LdixTd-ghc8.10.2.so" (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 (2)