套件：libghc-genvalidity-property-dev（1.0.0.0-2 以及其他的） [debports]
standard properties for functions on Validity types
Properties of functions, operations, and relations.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
其他與 libghc-genvalidity-property-dev 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.1.3)
- GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
-
- dep: libghc-base-dev-4.15.1.0-64902
- 本虛擬套件由這些套件填實： ghc
-
- dep: libghc-genvalidity-dev-1.0.0.1-6d33e
- 本虛擬套件由這些套件填實： libghc-genvalidity-dev
-
- dep: libghc-hspec-dev-2.8.5-3e3a2
- 本虛擬套件由這些套件填實： libghc-hspec-dev
-
- dep: libghc-pretty-show-dev-1.10-60160
- 本虛擬套件由這些套件填實： libghc-pretty-show-dev
-
- dep: libghc-quickcheck-dev-2.14.2-cfc09
- 本虛擬套件由這些套件填實： libghc-quickcheck2-dev
-
- dep: libghc-validity-dev-0.12.0.1-48799
- 套件暫時不可用
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Multiprecision arithmetic library