libghc-cryptol-dev 3.0.0-1 (riscv64 binary) in ubuntu noble
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 3.0.0-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
riscv64 build of haskell-cryptol 3.0.0-1 in ubuntu noble PROPOSED produced
these files:
- libghc-cryptol-dev_3.0.0-1_riscv64.deb (16.9 MiB)
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-arithmoi-dev-0.12.1.0-7d198
- libghc-array-dev-0.5.4.0-0952c
- libghc-async-dev-2.2.4-4794c
- libghc-base-compat-dev-0.12.3-6dc1c
- libghc-base-dev-4.17.2.0-9c962
- libghc-bv-sized-dev-1.0.5-21c00
- libghc-bytestring-dev-0.11.5.2-f2cad
- libghc-containers-dev-0.6.7-d5830
- libghc-criterion-measurement-dev-0.2.1.0-e6c0e
- libghc-cryptohash-sha1-dev-0.11.101.0-51688
- libghc-deepseq-dev-1.4.8.0-7e34e
- libghc-directory-dev-1.3.7.1-8f8fe
- libghc-exceptions-dev-0.10.5-203c0
- libghc-filepath-dev-1.4.2.2-2dafe
- libghc-ghc-bignum-dev-1.3-90d8c
- libghc-ghc-prim-dev-0.9.1-ca9fc
- libghc-gitrev-dev-1.3.1-a8a40
- libghc-graphscc-dev-1.0.4-82238
- libghc-heredoc-dev-0.2.0.0-5a49d
- libghc-hgmp-dev-0.1.2.1-c5451
- libghc-language-c99-dev-0.2.0-49228
- libghc-language-c99-simple-dev-0.2.2-141ea
- libghc-libbf-dev-0.6.6-15ca4
- libghc-libffi-dev-0.2.1-a4bc6
- libghc-memotrie-dev-0.6.11-72a79
- libghc-monad-control-dev-1.0.3.1-d981c
- libghc-monadlib-dev-3.10.1-6c36a
- libghc-mtl-dev-2.2.2-6f39a
- libghc-panic-dev-0.4.0.1-aa2d3
- libghc-parameterized-utils-dev-2.1.7.0-63d5d
- libghc-pretty-dev-1.1.3.6-25aa5
- libghc-pretty-show-dev-1.10-d8925
- libghc-prettyprinter-dev-1.7.1-3cd91
- libghc-process-dev-1.6.17.0-5a7c9
- libghc-sbv-dev-10.2-b9bf3
- libghc-simple-smt-dev-0.9.7-00072
- libghc-stm-dev-2.5.1.0-c4a56
- libghc-strict-dev-0.5-ec79a
- libghc-text-dev-2.0.2-66487
- libghc-tf-random-dev-0.5-f7afe
- libghc-time-dev-1.12.2-9557d
- libghc-transformers-base-dev-0.4.6-94229
- libghc-unix-dev-2.7.3-5468c
- libghc-vector-dev-0.13.1.0-ea33c
- libghc-what4-dev-1.5.1-22a42
- libgmp10 (>= 2:6.3.0+dfsg)
- zlib1g (>= 1:1.1.4)
- Provides:
- libghc-cryptol-dev-3.0.0-9420c
