cryptol 2.8.0-157.0 (scheduled for removal)

Architecture: i686
Repository: i686/community
Description: The Language of Cryptography
Upstream URL:
License(s): BSD
Package Size: 2601.80 kB
Installed Size: 16475.12 kB
Build Date: 2020-07-15 13:07:33
Last Updated: 2020-08-11 00:15:48
Blacklisted: Haskell doesn't build or bootstrap on IA-32 anymore. Packages are broken since years now on Arch32..

Dependencies (89)

  • ghc-libs
  • haskell-ansi-terminal
  • haskell-base-compat
  • haskell-blaze-html
  • haskell-cryptohash-sha1
  • haskell-gitrev
  • haskell-graphscc
  • not satisfiable dependency: "haskell-haskeline0.7"
  • haskell-heredoc
  • haskell-monad-control
  • haskell-monadlib
  • haskell-panic
  • haskell-random
  • haskell-sbv
  • haskell-simple-smt
  • haskell-strict
  • haskell-tf-random
  • haskell-transformers-base
  • z3
  • alex (make)
  • ghc (make)
  • happy (make)
  • not satisfiable dependency: "libHSFloatingHex-0.4-B2JmOQsAjjd4PESjEpQjAq-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSGraphSCC-1.0.4-IC6FF89rxYeGrQYTR5Pr4w-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSQuickCheck-2.14-1ZjbauZZbwkAoBrUXikz86-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSansi-terminal-0.10.3-Gmlup5zv3FVDbt5aezzAf7-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSarray-0.5.4.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSasync-2.2.2-Cm3RbNkpHOvXGDe3YEvBx-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSbase-4.14.0.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSbase-compat-0.11.1-KZnxD44j0rC2RthL96Vmwl-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSbase-orphans-0.8.2-KDNZRQEwuxf6BByGv9zi59-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSbinary-0.8.8.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSblaze-builder-0.4.1.0-2R9yQhqQRKlArR2rpVisZG-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSblaze-html-0.9.1.2-EPGfJ4mZwaFCmHEPUKJDOw-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSblaze-markup-0.8.2.5-E0VoL1TqmRy2UxY2gFpx0K-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSbytestring-0.10.10.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHScolour-2.3.5-BwXRj0VQar74RihJ4LWOYw-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHScontainers-0.6.2.1-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHScrackNum-2.3-CQbay1ksqI3HndLiMNHQcr-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHScryptohash-sha1-0.11.100.1-2gd8W0MJmDXLF2SYBClUB-ghc8.10.1.so" (link)
  • libHScryptol-2.8.0-JsoMcTTXKICoU4onG37WK-ghc8.10.1.so (cryptol) (link)
  • not satisfiable dependency: "libHSdeepseq-1.4.4.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSdirectory-1.3.6.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSfilepath-1.4.2.1-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSgeneric-deriving-1.13.1-G9r5kHLlAycHbnMxO601ZN-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSghc-boot-th-8.10.1-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSghc-prim-0.6.1-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSgitrev-1.3.1-9JbXwW3h4Lf8RR2MISxplB-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHShashable-1.3.0.0-DdCQqqdxQx7nbY4FOzHJp-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHShaskeline-0.7.5.0-Ak9HcrznbY1Hwiu2y3pc8L-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSheredoc-0.2.0.0-2Mv6sG9hTuO2hkaj42CFts-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSinteger-gmp-1.0.3.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSmonad-control-1.0.2.3-GUAfDoHk0Xw9G55bAWFvR9-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSmonadLib-3.10-6h1BOxrlq8i3erP7X1lmFA-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSmtl-2.2.2-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSpanic-0.4.0.1-A8wsV1mQdweDfbMYpGomx-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSpretty-1.1.3.6-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSprimitive-0.7.1.0-Kg5pbQe9T4OlU7fQRrGTH-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSprocess-1.6.8.2-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSrandom-1.1-AA3zCuOgsVZCzsZYE3CMpY-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSrts-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSrts_thr-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSsbv-8.7-2OnuQwzwO0KDJ5CrYqgkhm-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSsimple-smt-0.9.5-4vG9YjmipnNBXyQSYlpStx-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSsplitmix-0.1-7FXcRQ7VUsZGHJP3iAUT0L-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSstm-2.5.0.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSstrict-0.3.2-4IjmweKQSpWKqLgD7Xpcu6-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSsyb-0.7.1-6kfNxsXCCuQCrpdoMzyi8K-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStemplate-haskell-2.16.0.0-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSterminfo-0.4.1.4-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStext-1.2.3.2-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStf-random-0.5-FwscpoRSWPuKo2Ih6FTLpa-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSth-abstraction-0.3.2.0-4yEKsz3hkum2d9EYr8unnF-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStime-1.9.3-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStransformers-0.5.6.2-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStransformers-base-0.4.5.2-AIwsRjkpcAhKVZB1yHxwnX-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHStransformers-compat-0.6.5-5FpQwDSHwAD8xLwpEoaQi-ghc8.10.1.so" (link)
  • not satisfiable dependency: "libHSunix-2.7.2.2-ghc8.10.1.so" (link)
  • libc.so.6 (aarch64-linux-gnu-glibc, glibc) (link)
  • libc.so.6-GLIBC_2.0-0x0d696910 (glibc) (link)
  • libc.so.6-GLIBC_2.1.3-0x09691f73 (glibc) (link)
  • libdl.so.2 (aarch64-linux-gnu-glibc, glibc) (link)
  • libffi.so.7 (libffi33) (link)
  • libgmp.so.10 (gmp) (link)
  • libm.so.6 (aarch64-linux-gnu-glibc, glibc) (link)
  • libncursesw.so.6 (ncurses) (link)
  • libpthread.so.0 (aarch64-linux-gnu-glibc, glibc) (link)
  • librt.so.1 (aarch64-linux-gnu-glibc, glibc) (link)
  • libutil.so.1 (aarch64-linux-gnu-glibc, glibc) (link)

Required By (1)

  • libHScryptol-2.8.0-JsoMcTTXKICoU4onG37WK-ghc8.10.1.so (cryptol) (link)