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

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

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

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5a3fbdc87…3e489f3e
SHA-123b01e12…bb4c8d57
SHA-256f2005c6c…6b63f217
SHA-5129e8d1481…b8bf1aea

Contents

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