tamarin-prover 1.4.1-419.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-09-04 13:16:40

Dependencies (204)

  • ghc-libs
  • graphviz
  • haskell-binary-instances
  • haskell-binary-orphans
  • haskell-blaze-builder
  • haskell-blaze-html
  • haskell-cmdargs
  • haskell-conduit
  • haskell-fclabels
  • haskell-file-embed
  • haskell-gitrev
  • haskell-http-types
  • haskell-hunit
  • haskell-lifted-base
  • haskell-monad-unlift
  • haskell-resourcet
  • haskell-safe
  • haskell-shakespeare
  • haskell-tamarin-prover-term
  • haskell-tamarin-prover-theory
  • haskell-tamarin-prover-utils
  • haskell-threads
  • haskell-wai
  • haskell-warp
  • haskell-yesod-core
  • haskell-yesod-static
  • maude
  • ghc (make)
  • ocaml>=4.11.0 (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.0-7g5A74MQavOAKkzqvx1quS-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSaeson-pretty-0.8.8-IJoLNl6L1Kx8S4hJsZk5Bk-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSansi-terminal-0.10.3-Hpd3ONu7miU6c85cFR1uCj-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSansi-wl-pprint-0.6.9-7HVreC0n7wJFaaapTbqrfW-ghc8.10.2.so" (link)
  • libHSappar-0.1.8-ENOpNgtpoGSKyMU7tmdEco-ghc8.10.2.so (haskell-appar) (link)
  • libHSarray-0.5.4.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSasn1-encoding-0.9.6-9YzKq0QK0thHLlksm6ebbF-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSasn1-parse-0.9.5-2GkHPQDesjlDIsCsDOVu9d-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSasn1-types-0.3.4-6oB1QDzWtQXJ8GcXPFvLUn-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSassoc-1.0.2-IsBKQlkX2k3KkmI5As4J0-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSasync-2.2.2-Clv6hqKp2CL6Od8qKq3azs-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSattoparsec-0.13.2.4-1DSO1p6ea2tIDi5QdWtOmJ-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSauto-update-0.1.6-2jyzkvYGGKIB3gcEIwvT83-ghc8.10.2.so" (link)
  • libHSbase-4.14.1.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSbase-compat-0.11.1-AU7kFoHd9g4AbsEVNqQYmh-ghc8.10.2.so (haskell-base-compat) (link)
  • libHSbase-compat-batteries-0.11.1-Df9PC4hN9UKCQ49xDOEL2m-ghc8.10.2.so (haskell-base-compat-batteries) (link)
  • libHSbase-orphans-0.8.2-JSyXnBYG5YNC5aUDdNSIu6-ghc8.10.2.so (haskell-base-orphans) (link)
  • not satisfiable dependency: "libHSbase64-bytestring-1.2.0.0-8owxiuLOQM02UfPyMw1Imx-ghc8.10.2.so" (link)
  • libHSbasement-0.0.11-CejmV4k3OtGGKPkDYOlSof-ghc8.10.2.so (haskell-basement) (link)
  • not satisfiable dependency: "libHSbifunctors-5.5.7-9yZBK7msouqI7Re3l75js1-ghc8.10.2.so" (link)
  • libHSbinary-0.8.8.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSbinary-instances-1.0.0.1-IE7f0OW0m9g4IcwMEi4yvD-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbinary-orphans-1.0.1-5ObIt7rmhUmHRicS75dfKP-ghc8.10.2.so" (link)
  • libHSblaze-builder-0.4.1.0-G4KXEZbDrFS6c5MmayHGI7-ghc8.10.2.so (haskell-blaze-builder) (link)
  • not satisfiable dependency: "libHSblaze-html-0.9.1.2-CaEuvJWXCcFCd9jMR9OQBY-ghc8.10.2.so" (link)
  • libHSblaze-markup-0.8.2.7-LxYHHNtMMqd23FQvjJOkWQ-ghc8.10.2.so (haskell-blaze-markup) (link)
  • not satisfiable dependency: "libHSbsb-http-chunked-0.0.0.4-FJd26hMwQqdJsPWWcRZ9f9-ghc8.10.2.so" (link)
  • libHSbyteable-0.1.1-FeSdIMqUIcwI3U3IhpOBJ3-ghc8.10.2.so (haskell-byteable) (link)
  • libHSbyteorder-1.0.4-6EbuxeSrPBWBwiiH90AHKg-ghc8.10.2.so (haskell-byteorder) (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)
  • not satisfiable dependency: "libHScase-insensitive-1.2.1.0-9cfmudMCHSHLFCYuQ7O6Pz-ghc8.10.2.so" (link)
  • libHScereal-0.5.8.1-56yg04wGStN22upOSM9put-ghc8.10.2.so (haskell-cereal) (link)
  • libHScipher-aes-0.2.11-30ajZYkZ5rYE09s79JcV2w-ghc8.10.2.so (haskell-cipher-aes) (link)
  • not satisfiable dependency: "libHSclientsession-0.9.1.2-1jGAPAg1plkKQhlx0VL2gu-ghc8.10.2.so" (link)
  • libHScmdargs-0.10.20-2pbK0xjyKWW1JFcGNWMDNe-ghc8.10.2.so (haskell-cmdargs) (link)
  • not satisfiable dependency: "libHScolour-2.3.5-C29WD8Qg69AL3qeQgayHy7-ghc8.10.2.so" (link)
  • libHScomonad-5.0.6-CcgiSbxsBMAFfSpsADun3d-ghc8.10.2.so (haskell-comonad) (link)
  • not satisfiable dependency: "libHSconduit-1.3.2.1-IhL3qGLhhcF3I1TWI9i3Fj-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSconduit-extra-1.3.5-75lxXHqeHBG8Xz0wo1KZO1-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSconstraints-0.12-CqGWrwcZknbC3Yc4XQFgXZ-ghc8.10.2.so" (link)
  • libHScontainers-0.6.2.1-ghc8.10.2.so (ghc-libs) (link)
  • libHScookie-0.4.5-9B2dS5wCPmq3hZq3aUzZ9g-ghc8.10.2.so (haskell-cookie) (link)
  • libHScprng-aes-0.6.1-GwwTFNthkuEIlxzU6KZeov-ghc8.10.2.so (haskell-cprng-aes) (link)
  • libHScrypto-api-0.13.3-3crMriq1Cru2GHNhVUzp6Y-ghc8.10.2.so (haskell-crypto-api) (link)
  • libHScrypto-cipher-types-0.0.9-4lLcbiqzzgFJfDDaicapOR-ghc8.10.2.so (haskell-crypto-cipher-types) (link)
  • libHScrypto-random-0.0.9-I6YXeTo7dAMDKKddYPebkz-ghc8.10.2.so (haskell-crypto-random) (link)
  • libHScryptonite-0.27-GQDFsV0e2GLJaPfeS4zGY1-ghc8.10.2.so (haskell-cryptonite) (link)
  • not satisfiable dependency: "libHScryptonite-conduit-0.2.2-FSKp6MPNST0LyeONjYC7BN-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHScss-text-0.1.3.0-3c4cM1VEoQ5334PBKSDiXK-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSdata-default-0.7.1.1-CFQNAxI4sMKKn3MtWohaRP-ghc8.10.2.so" (link)
  • libHSdata-default-class-0.1.2.0-56BXPST0gStFZdhRwxhsn8-ghc8.10.2.so (haskell-data-default-class) (link)
  • libHSdata-default-instances-containers-0.0.1-Lcmo3oTDUcoLRSJDGZmCzD-ghc8.10.2.so (haskell-data-default-instances-containers) (link)
  • not satisfiable dependency: "libHSdata-default-instances-dlist-0.0.1-LwomQze3scO5o3foO0X7Tg-ghc8.10.2.so" (link)
  • libHSdata-default-instances-old-locale-0.0.1-4IrohixuakE85UjUYK7Xo5-ghc8.10.2.so (haskell-data-default-instances-old-locale) (link)
  • not satisfiable dependency: "libHSdata-fix-0.3.0-xF6GGnBuEnDBMCmT3CrJd-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-JP58vJ0lLtYHWcrKky19wV-ghc8.10.2.so (haskell-distributive) (link)
  • not satisfiable dependency: "libHSdlist-1.0-Jii0X9ArCghCUyfuaveMa9-ghc8.10.2.so" (link)
  • libHSeasy-file-0.2.2-5ZqnjOG8LvSG3H7446gGr2-ghc8.10.2.so (haskell-easy-file) (link)
  • libHSentropy-0.4.1.6-9PryOfo5UGm2sncsbscV7i-ghc8.10.2.so (haskell-entropy) (link)
  • libHSexceptions-0.10.4-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSfast-logger-3.0.1-AMHT7fEEK473zqZcWhTXX-ghc8.10.2.so" (link)
  • libHSfclabels-2.0.5-5vzLnCL9evZ5zxQM7MxBfR-ghc8.10.2.so (haskell-fclabels) (link)
  • not satisfiable dependency: "libHSfile-embed-0.0.12.0-6papwjxSf3GIbANOmbA0A8-ghc8.10.2.so" (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)
  • libHSgitrev-1.3.1-8zbW4Gmf0bNEVyiPARpmJF-ghc8.10.2.so (haskell-gitrev) (link)
  • not satisfiable dependency: "libHShashable-1.3.0.0-GLzkWfTBU5IBPAe9chHHI5-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShjsmin-0.2.0.4-kQ58oZprhOHa3qj381I8o-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShourglass-0.2.12-6exW60TSOT098OWI3cAZLh-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp-date-0.0.8-9zBlmj9O3vyISnmxS96mok-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp-types-0.12.3-AIuUujTAxzs9yEIfHIjllf-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp2-2.0.5-Dceaae7RikdBtxIGOosmFo-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)
  • not satisfiable dependency: "libHSiproute-1.7.9-GwKbp019Jxb4CFYi1bfnYu-ghc8.10.2.so" (link)
  • libHSlanguage-javascript-0.7.1.0-KnHknXzBsLnCxjxCP2eK1P-ghc8.10.2.so (haskell-language-javascript) (link)
  • libHSlifted-base-0.2.3.12-4BXEU0GbQ2wEQqtUrgpqwp-ghc8.10.2.so (haskell-lifted-base) (link)
  • libHSmemory-0.15.0-359cYXe7lRF64CAN0G53fp-ghc8.10.2.so (haskell-memory) (link)
  • libHSmime-types-0.1.0.9-7WG5UcXzH6N6zzQ8X9LvyP-ghc8.10.2.so (haskell-mime-types) (link)
  • libHSmonad-control-1.0.2.3-JhjEy0jwW8HC2JbIwiXYIQ-ghc8.10.2.so (haskell-monad-control) (link)
  • not satisfiable dependency: "libHSmonad-logger-0.3.35-2IoWAqc6oVMHNb2jfP8mMs-ghc8.10.2.so" (link)
  • libHSmonad-loops-0.4.3-C0LVokhtCoUF1FVS5cJB0Q-ghc8.10.2.so (haskell-monad-loops) (link)
  • not satisfiable dependency: "libHSmonad-unlift-0.2.0-LwaOqlIFZ6PI3uNCUHnVrS-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSmono-traversable-1.0.15.1-78M4YjuQ7N0BVpfjT8lqck-ghc8.10.2.so" (link)
  • libHSmtl-2.2.2-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSnetwork-3.1.2.0-DIgyWbIhIklA3ttMBaE3nC-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSnetwork-byte-order-0.1.5-ENWmQETeGmS8z0zHUmmz7G-ghc8.10.2.so" (link)
  • libHSold-locale-1.0.0.7-LpTuchyagHAP7STZdm71P-ghc8.10.2.so (haskell-old-locale) (link)
  • libHSold-time-1.1.0.3-4WAXseRXxLRKCRu471UUPK-ghc8.10.2.so (haskell-old-time) (link)
  • not satisfiable dependency: "libHSoptparse-applicative-0.15.1.0-9blX7822hFLAF7Bp9ruAW6-ghc8.10.2.so" (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)
  • libHSpath-pieces-0.2.1-3qqfFRSZ4HL4UPuvUVZn5U-ghc8.10.2.so (haskell-path-pieces) (link)
  • not satisfiable dependency: "libHSpem-0.2.4-4nmzvwduE1W1p2xln4RhIR-ghc8.10.2.so" (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: "libHSpsqueues-0.2.7.2-Lyd93pMdHusAuQVcID6wbx-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSrandom-1.2.0-7P3qp3VAQUU9Lic78VWpjf-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSresourcet-1.2.4.2-JCjJ9DuvYDyIbcwaaY0Gsf-ghc8.10.2.so" (link)
  • libHSrts_thr_l-ghc8.10.2.so (ghc-libs) (link)
  • libHSsafe-0.3.19-AfrHSVViU1189qUhjBUb5b-ghc8.10.2.so (haskell-safe) (link)
  • not satisfiable dependency: "libHSscientific-0.3.6.2-ATvCYGqcTcL1D8hcH2Bhwd-ghc8.10.2.so" (link)
  • libHSsecuremem-0.1.10-BaRrlb0G3ptLAiY8uanPrD-ghc8.10.2.so (haskell-securemem) (link)
  • libHSsetenv-0.1.1.3-FjFLzlxhySgkTKHvS1WwL-ghc8.10.2.so (haskell-setenv) (link)
  • not satisfiable dependency: "libHSshakespeare-2.0.25-G9WJXinlxmSDWWqeoMJWA3-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsimple-sendfile-0.2.30-EMkHNRLeN8wGxA05Cjv2TZ-ghc8.10.2.so" (link)
  • libHSskein-1.0.9.4-KGrq5lF99x3ED3vg1qpdeF-ghc8.10.2.so (haskell-skein) (link)
  • not satisfiable dependency: "libHSsplit-0.2.3.4-5ZyndscP8ArBSqf0bwAGfF-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsplitmix-0.1.0.1-88EqYuafUq17snSxjaaSJs-ghc8.10.2.so" (link)
  • libHSstm-2.5.0.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSstm-chans-3.0.0.4-IkLPF4Ira3LYY9IzoULtB-ghc8.10.2.so (haskell-stm-chans) (link)
  • not satisfiable dependency: "libHSstreaming-commons-0.2.2.1-6tpxagX5zr8BZqeD9mDeDo-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSstrict-0.4-7FcIdFg2gbC3jo0DxIkaVM-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.4.1-A2Mkai3wTaxFxhSajTevIK-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-theory-1.4.1-GTizJqsiZbDJT0guS9ezZK-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-utils-1.4.1-24KA9Vxin9F51KAJWQeCqI-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)
  • libHStext-binary-0.2.1.1-Bl0n9PdHQ5w1N8gChIUmsJ-ghc8.10.2.so (haskell-text-binary) (link)
  • libHSth-abstraction-0.3.2.0-JULJofFxTYI9l1bgfMo5si-ghc8.10.2.so (haskell-th-abstraction) (link)
  • not satisfiable dependency: "libHSth-lift-0.8.1-LvmeOW49rwe9AxrcDAXK6b-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSthese-1.1.1.1-GtBYO0xKdrdGSCzocFm3Ma-ghc8.10.2.so" (link)
  • libHSthreads-0.5.1.6-9iusIljsAPA21rqQ9MbUXD-ghc8.10.2.so (haskell-threads) (link)
  • libHStime-1.9.3-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHStime-compat-1.9.3-HeAXyuZsPHaPh1HuD8WGa-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStime-manager-0.0.0-FYGyjxFZ2PvKj1I3BgWfGn-ghc8.10.2.so" (link)
  • libHStransformers-0.5.6.2-ghc8.10.2.so (ghc-libs) (link)
  • libHStransformers-base-0.4.5.2-2FmmLUwjUsIBV1EEBAxLnQ-ghc8.10.2.so (haskell-transformers-base) (link)
  • libHStransformers-compat-0.6.5-E9Rid1zC4al974cN3f5HFc-ghc8.10.2.so (haskell-transformers-compat) (link)
  • libHStype-equality-1-7CHOwuJCivr9KRetNRqfiu-ghc8.10.2.so (haskell-type-equality) (link)
  • not satisfiable dependency: "libHStyped-process-0.2.6.0-EAOZHU4Ap3OTIpjT0YWTE-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSuniplate-1.6.12-8rwwsyyGvFKANy3Tx7aCds-ghc8.10.2.so" (link)
  • libHSunix-2.7.2.2-ghc8.10.2.so (ghc-libs) (link)
  • libHSunix-compat-0.5.2-7IcOHcLTxJI58jp45CNrGP-ghc8.10.2.so (haskell-unix-compat) (link)
  • not satisfiable dependency: "libHSunix-time-0.4.7-BmeDhPI8ov3AYAhXf3wb6a-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSunliftio-0.2.13-BvgPvpXaP4x5KAg8n44S4M-ghc8.10.2.so" (link)
  • libHSunliftio-core-0.2.0.1-9GVcmaajsglG88oErAZOTV-ghc8.10.2.so (haskell-unliftio-core) (link)
  • not satisfiable dependency: "libHSunordered-containers-0.2.12.0-LL4xWcTfdX21xl8RJD5WZm-ghc8.10.2.so" (link)
  • libHSutf8-string-1.0.1.1-G1tzxDqsWge3erFqc4Oe2R-ghc8.10.2.so (haskell-utf8-string) (link)
  • not satisfiable dependency: "libHSuuid-types-1.0.3-D49qrzbiMypBXWVjpP0wsJ-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvault-0.3.1.4-IZPzJtnnffsIj7TMFJgd7h-ghc8.10.2.so" (link)
  • libHSvector-0.12.1.2-IO5RJnkQnAxDAG50LdixTd-ghc8.10.2.so (haskell-vector) (link)
  • libHSvector-algorithms-0.8.0.3-4hIO0zyq5cX6FGB32e5aW5-ghc8.10.2.so (haskell-vector-algorithms) (link)
  • libHSvector-binary-instances-0.2.5.1-DH3txoLgwZx8DyU0b9wM1l-ghc8.10.2.so (haskell-vector-binary-instances) (link)
  • libHSvoid-0.7.3-FJLCa6y31Qt20kSi8TCcBC-ghc8.10.2.so (haskell-void) (link)
  • not satisfiable dependency: "libHSwai-3.2.2.1-1CEHb04HfrjLoyxYXIpsuf-ghc8.10.2.so" (link)
  • libHSwai-app-static-3.1.7.2-Ahq9cWnw5JD4bsuxZ9zbBm-ghc8.10.2.so (haskell-wai-app-static) (link)
  • not satisfiable dependency: "libHSwai-extra-3.0.29.2-4k5VCWtLbH46mzmxi6qmip-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwai-logger-2.3.6-CNv7SYGXdkfJrIMvAo6lnt-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwarp-3.3.13-BFzGjWKBVnJEuDfkAASyKR-ghc8.10.2.so" (link)
  • libHSword8-0.1.3-724fxDOkAtI9odHi3S4RPp-ghc8.10.2.so (haskell-word8) (link)
  • not satisfiable dependency: "libHSx509-1.7.5-EHRwp7Eh5k47CQXLmpbXPF-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSyesod-core-1.6.18-J9w5Cbw4dZ52h3tyjVkDwb-ghc8.10.2.so" (link)
  • libHSyesod-static-1.6.1.0-77Zi6pzpSfrCBuxYhxSCrS-ghc8.10.2.so (haskell-yesod-static) (link)
  • libHSzlib-0.6.2.2-85jZF5E8OnCKweDgfCRJUx-ghc8.10.2.so (haskell-zlib) (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)
  • libffi.so.7 (libffi) (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)
  • libz.so.1 (zlib) (link)

Required By (0)