erlang-proper (1.5.0-1)

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
none
Architecture
armhf
Section
devel
Priority
optional
Maintainer
Debian Erlang Packagers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
671 B
Size expected
483.1 kB
Size actual
483.1 kB
Size match

Dependencies

Required package dependencies

  • erlang-base (>= 1:27.3+dfsg)
  • erlang-syntax-tools (>= 1:27.3+dfsg)
  • erlang-tools (>= 1:27.3+dfsg)

Suggested packages

Recommended additional packages

  • None

Description

QuickCheck-inspired property-based testing tool for Erlang

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD54696fbc8…0a024b70
SHA-1ef4a8cef…5b904ee2
SHA-25664a9ac0d…88027ed0
SHA-512e83bd374…bc513cf1

Contents

Files and directories included

.
usr
usr/lib
usr/lib/erlang
usr/lib/erlang/lib
usr/lib/erlang/lib/proper-1.5.0
usr/lib/erlang/lib/proper-1.5.0/ebin
usr/lib/erlang/lib/proper-1.5.0/ebin/proper.app
usr/lib/erlang/lib/proper-1.5.0/ebin/proper.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_arith.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_array.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_dict.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_erlang_abstract_code.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_fsm.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gb_sets.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gb_trees.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gen.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gen_next.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_orddict.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_ordsets.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_prop_remover.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_queue.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_sa.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_sets.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_shrink.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_statem.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_symb.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_target.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_transformer.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_types.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_typeserver.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_unicode.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/proper_unused_imports_remover.beam
usr/lib/erlang/lib/proper-1.5.0/ebin/vararg.beam
usr/share
usr/share/doc
usr/share/doc/erlang-proper
usr/share/doc/erlang-proper/changelog.Debian.gz
usr/share/doc/erlang-proper/copyright