libghc-genvalidity-property-prof (1.0.0.0-5+b1)

3 versions available in kali/kali-last-snapshot/main/amd64

Version

Details

Core information at a glance

Distribution: kali
Origin: kali-last-snapshot
Repository: https://http.kali.org/kali
Codename: kali-last-snapshot
Component: main
Source: haskell-genvalidity-property (1.0.0.0-5)
Architecture: amd64
Section: haskell
Priority: optional
Maintainer: Debian Haskell Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1.1 kB
Size expected: 102.3 kB
Size actual: 102.3 kB
Size match

Dependencies

Required package dependencies

libghc-base-prof-4.20.2.0-47ff0
libghc-genvalidity-prof-1.1.1.0-6a4cb
libghc-genvalidity-property-dev (= 1.0.0.0-5+b1)
libghc-hspec-prof-2.11.16-74481
libghc-pretty-show-prof-1.10-5b6b6
libghc-quickcheck-prof-2.15.0.1-3dfc4
libghc-validity-prof-0.12.1.0-5bb57

Suggested packages

Recommended additional packages

None

Description

standard properties for functions on Validity types; profiling libraries

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	a3fbdc87…3e489f3e	a3fbdc87…3e489f3e
SHA-1	23b01e12…bb4c8d57	23b01e12…bb4c8d57
SHA-256	f2005c6c…6b63f217	f2005c6c…6b63f217
SHA-512	Not provided	9e8d1481…b8bf1aea

Files and directories included

.
usr
usr/lib
usr/lib/haskell-packages
usr/lib/haskell-packages/ghc
usr/lib/haskell-packages/ghc/lib
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Paths_genvalidity_property.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions/CanFail.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions/Equivalence.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions/Idempotence.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions/Inverse.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions/Validity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Functions.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/GenValidity
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/GenValidity/Property.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Operations
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Operations/Associativity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Operations/Commutativity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Operations/Identity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Operations.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Property
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Property/Utils.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Property.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations/Antireflexivity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations/Antisymmetry.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations/Reflexivity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations/Symmetry.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations/Transitivity.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Relations.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Shrinking
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Shrinking/Property.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/Test/Validity/Types.p_hi
usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/genvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy/libHSgenvalidity-property-1.0.0.0-CmQA2MotPw6KAjHiG0uQy_p.a
usr/share
usr/share/doc
usr/share/doc/libghc-genvalidity-property-prof
usr/share/doc/libghc-genvalidity-property-prof/changelog.Debian.amd64.gz
usr/share/doc/libghc-genvalidity-property-prof/changelog.Debian.gz
usr/share/doc/libghc-genvalidity-property-prof/changelog.gz
usr/share/doc/libghc-genvalidity-property-prof/copyright