tamarin-prover 1.6.0-46.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: 2020-11-16 04:06:56

Dependencies (207)

  • 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-sapic
  • 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.1.0-AhWJ4ItV2KqIExS8jxtlOJ-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-33WXsFpo3Hd8xrKyILaFD6-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSaeson-pretty-0.8.8-8e1OFEWZ6kzBsxRhbsCWvE-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSansi-terminal-0.11-2SXi8ZhU18i2uWLidRUotS-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSansi-wl-pprint-0.6.9-4tU0KPt7JPA3kQcTPEEEXE-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-JkC0vkfLQZqINvSWFzX2TA-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSasn1-parse-0.9.5-31Foy8cyYmq6CR4mCWEG1K-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSasn1-types-0.3.4-6kLiCdJgy1eBZ4oBlGlxUU-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSassoc-1.0.2-I6QiFXMHcKiDxDWLnpMiVX-ghc8.10.2.so" (link)
  • libHSasync-2.2.2-6WjYHdzpa4C5cwFlX6aJ0s-ghc8.10.2.so (haskell-async) (link)
  • not satisfiable dependency: "libHSattoparsec-0.13.2.4-IEpMDCjoa475o0KxIprf3S-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSauto-update-0.1.6-F5L8TVCVLduHxEKN0Ud13u-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)
  • not satisfiable dependency: "libHSbase-compat-batteries-0.11.2-Azv6NaK4xky73UFfNrOdvF-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbase-orphans-0.8.3-LSnDv55KnWIFUkpvhEdL6o-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbase64-bytestring-1.2.0.0-JGrKLHFgS7n8Y9pxovv18J-ghc8.10.2.so" (link)
  • libHSbasement-0.0.11-CejmV4k3OtGGKPkDYOlSof-ghc8.10.2.so (haskell-basement) (link)
  • not satisfiable dependency: "libHSbifunctors-5.5.8-GmhxbDKJXUePmri4ggkbC-ghc8.10.2.so" (link)
  • libHSbinary-0.8.8.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSbinary-instances-1.0.1-7Fv5ngMTRwI2UU36KhK4n2-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSbinary-orphans-1.0.1-EtdloujCeQU5vZmPvEZSVd-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-29TbYBfJdS86G7F3VWzxtR-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-31QYBZXfCPbARI7bYvuIul-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)
  • libHScase-insensitive-1.2.1.0-6j421Scg55hFNBQMOoQNh8-ghc8.10.2.so (haskell-case-insensitive) (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-ECoEE6lesxGehLHBwp1tC-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)
  • not satisfiable dependency: "libHScomonad-5.0.6-EpUlYUi9Wsj7cLWPqD9Lrn-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSconduit-1.3.3-GEdZnEI8XDpBDEAKPOefrW-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSconduit-extra-1.3.5-8Z0Ef58fK9R9h7ZkPwFCjp-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSconstraints-0.12-61oxDBMecRk2xxg9GQcDKz-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)
  • not satisfiable dependency: "libHScprng-aes-0.6.1-GwwTFNthkuEIlxzU6KZeov-ghc8.10.2.so" (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)
  • not satisfiable dependency: "libHScrypto-random-0.0.9-I6YXeTo7dAMDKKddYPebkz-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHScryptonite-0.27-7aePQ6qupqMjkms40qL4J-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHScryptonite-conduit-0.2.2-1aXO3WkadvoCyj9PurYhxK-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHScss-text-0.1.3.0-6O4NEQTOcZhHUhtv5FCMk9-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSdata-default-0.7.1.1-AH0CGo9YTzpLxCN70CvIdi-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-K7UUlRhoZlqKFIrhYSz2GD-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)
  • libHSdata-fix-0.3.0-7JT5DrxRUcY2amDAmuCVff-ghc8.10.2.so (haskell-data-fix) (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)
  • not satisfiable dependency: "libHSdistributive-0.6.2-9eFfDbIYk8mH9ZjSInvhcb-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSdlist-1.0-3wgqS5J53JN2EH4RtZLKxx-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.2-2BBezX7Y6yvGbmPjhh1liS-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSfclabels-2.0.5-7sHMfDZY27oFuKt0jQZvZE-ghc8.10.2.so" (link)
  • libHSfile-embed-0.0.13.0-G4fwjmnadN6Cqq18FbYnBb-ghc8.10.2.so (haskell-file-embed) (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-Het0FatRKM8GuBdILU3orB-ghc8.10.2.so (haskell-gitrev) (link)
  • libHShashable-1.3.0.0-uTeBoAQZ7BHIL2DWfxNGp-ghc8.10.2.so (haskell-hashable) (link)
  • not satisfiable dependency: "libHShjsmin-0.2.0.4-CWFX8nsqiXeJU2FGZzHHim-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShourglass-0.2.12-AwKmLtaO52UJAnkYHVmfaV-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp-date-0.0.10-EtEMp1nteZGK60rCopvNFc-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp-types-0.12.3-Ak7RnlVSpxM8K0dloprqJN-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHShttp2-2.0.5-L3mLICmpH84B5tndciSsbC-ghc8.10.2.so" (link)
  • libHSinteger-gmp-1.0.3.0-ghc8.10.2.so (ghc-libs) (link)
  • libHSinteger-logarithms-1.0.3.1-8l1ymRbE3rBG8A7FKIRWkt-ghc8.10.2.so (haskell-integer-logarithms) (link)
  • not satisfiable dependency: "libHSiproute-1.7.9-4SnLccZewgp7Fbtn9VkO4j-ghc8.10.2.so" (link)
  • libHSlanguage-javascript-0.7.1.0-KnHknXzBsLnCxjxCP2eK1P-ghc8.10.2.so (haskell-language-javascript) (link)
  • not satisfiable dependency: "libHSlifted-base-0.2.3.12-LxzaUokeYKHLJk3IHG888j-ghc8.10.2.so" (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)
  • not satisfiable dependency: "libHSmonad-control-1.0.2.3-FArP3HLA330LnMPFiGK9EV-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSmonad-logger-0.3.35-J8h8hJEfogdAqozpcJnxgR-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-CGS88K3RnvX1H4XIrMGV3R-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSmono-traversable-1.0.15.1-41RZCUueqF3LtoDKPEXqG4-ghc8.10.2.so" (link)
  • libHSmtl-2.2.2-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSnetwork-3.1.2.0-LSVONfrakUB5Fd3uVeD2Sz-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSnetwork-byte-order-0.1.6-BmHGBKAxdP0Q4jDTLkKe5-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.16.0.0-CRNGmrttBhrCopukBPGvrv-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-41EKvD463FvLT1ytIjO78b-ghc8.10.2.so" (link)
  • libHSpretty-1.1.3.6-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSprimitive-0.7.1.0-Jxsyd70oUttYiCXCa0HqV-ghc8.10.2.so" (link)
  • libHSprocess-1.6.9.0-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHSpsqueues-0.2.7.2-FSMwov4jIN99S14UYSq2f3-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSrandom-1.2.0-HxomoKLHsqP3XvrC2skdlc-ghc8.10.2.so" (link)
  • libHSraw-strings-qq-1.1-IRqhMFkc9z53synXumbIBE-ghc8.10.2.so (haskell-raw-strings-qq) (link)
  • not satisfiable dependency: "libHSresourcet-1.2.4.2-LYpjZXuNFnqFzWd1aGq4it-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-Es7urXKqj0FVel3uHj76m-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-94eZawtahOr4Apjk9UrQ4o-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsimple-sendfile-0.2.30-FvZbFeJLXl3AjVqHsb1Rlj-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-Lv04z0ARJ9WBfm5kXFzjxm-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSsplitmix-0.1.0.3-3JAbzNK7WLd464eyVzo4iy-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-HGG2mmi5z0L6YKYtHdq7vH-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSstrict-0.4-KxuH9jsY3VQKo7sd4RmqXZ-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-sapic-1.6.0-F4nWF21VrJjGiIOEO8NjPE-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-term-1.6.0-Ky4G9k7YVIT11ushT19Zbi-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-theory-1.6.0-CmJrINsA86s7KoVbxJSgmc-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStamarin-prover-utils-1.6.0-INFcZFb8WEV5dtWa4v8jf3-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.4.0.0-EowzxylgIS6DLmPFoxbMpZ-ghc8.10.2.so (haskell-th-abstraction) (link)
  • libHSth-lift-0.8.2-Bz9IdSE1dm1429gWKyl0SC-ghc8.10.2.so (haskell-th-lift) (link)
  • not satisfiable dependency: "libHSthese-1.1.1.1-7XViy4fKTlfLjsQKwPVBt0-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.4-Fap0XORAZwP43baRzmfv9k-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHStime-manager-0.0.0-EbxZ0Qha9sXqkM0GXWO3x-ghc8.10.2.so" (link)
  • libHStransformers-0.5.6.2-ghc8.10.2.so (ghc-libs) (link)
  • not satisfiable dependency: "libHStransformers-base-0.4.5.2-AhD2qu6UWMXKidbA3Vnjm5-ghc8.10.2.so" (link)
  • libHStransformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM-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-HvFnmz41kEjAcZr159zkgE-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSuniplate-1.6.13-1hXzZQ6Pg7PDqPOA6dnwub-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-1FutpivKyKq7wYyO4zdUgc-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSunliftio-0.2.13.1-2dHbyQ7Q7R355jEUUKsm8L-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.13.0-uQ2iFgWvoG4KDB4cUhLxk-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-1IjGAnGOJ16L7tHwFQSmMR-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvault-0.3.1.4-FeAxYzNQ9C01lv7mM5qnEo-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvector-0.12.1.2-IO5RJnkQnAxDAG50LdixTd-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvector-algorithms-0.8.0.3-4hIO0zyq5cX6FGB32e5aW5-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSvector-binary-instances-0.2.5.1-DH3txoLgwZx8DyU0b9wM1l-ghc8.10.2.so" (link)
  • libHSvoid-0.7.3-FJLCa6y31Qt20kSi8TCcBC-ghc8.10.2.so (haskell-void) (link)
  • not satisfiable dependency: "libHSwai-3.2.2.1-H3md2kiBvzO4j7IIO6RlS3-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwai-app-static-3.1.7.2-14dvkpfIouzGCIATyKCQPS-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwai-extra-3.1.2-Go89gokDfsCDGK0ise80Hq-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwai-logger-2.3.6-CKXVZMaM4e71l7N2wkIDns-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSwarp-3.3.13-Jf3wIsQw6FbJbAZmVwAwJW-ghc8.10.2.so" (link)
  • libHSword8-0.1.3-724fxDOkAtI9odHi3S4RPp-ghc8.10.2.so (haskell-word8) (link)
  • not satisfiable dependency: "libHSx509-1.7.5-AAM8UNSC0VuEUkR3BQImuO-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSyesod-core-1.6.18.6-KeslOplK2OsJK4SGmTaElR-ghc8.10.2.so" (link)
  • not satisfiable dependency: "libHSyesod-static-1.6.1.0-9RTTayQ7W3U9Yqkpnk9dPP-ghc8.10.2.so" (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)