librust-proptest-state-machine-dev (0.4.0-1)

2 versions available in kali/kali-last-snapshot/main/arm64

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
rust-proptest-state-machine
Architecture
arm64
Section
rust
Priority
optional
Maintainer
Debian Rust Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
107 B
Size expected
21.5 kB
Size actual
21.5 kB
Size match

Dependencies

Required package dependencies

  • librust-proptest-1+bit-set-dev (>= 1.6.0-~~)
  • librust-proptest-1+default-dev (>= 1.6.0-~~)
  • librust-proptest-1+fork-dev (>= 1.6.0-~~)
  • librust-proptest-1+timeout-dev (>= 1.6.0-~~)

Suggested packages

Recommended additional packages

  • None

Description

State machine based testing support for proptest - Rust source code

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5bdde3953…3363a33a
SHA-17a9743b6…8b83d3c0
SHA-256ead4394c…df47c594
SHA-512c5c7eb79…e46af17a

Contents

Files and directories included

.
usr
usr/share
usr/share/cargo
usr/share/cargo/registry
usr/share/cargo/registry/proptest-state-machine-0.4.0
usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo-checksum.json
usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo_vcs_info.json
usr/share/cargo/registry/proptest-state-machine-0.4.0/CHANGELOG.md
usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml
usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml.orig
usr/share/cargo/registry/proptest-state-machine-0.4.0/README.md
usr/share/cargo/registry/proptest-state-machine-0.4.0/debian
usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches
usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/relax-deps.patch
usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/series
usr/share/cargo/registry/proptest-state-machine-0.4.0/examples
usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_echo_server.rs
usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_heap.rs
usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions
usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions/strategy.txt
usr/share/cargo/registry/proptest-state-machine-0.4.0/src
usr/share/cargo/registry/proptest-state-machine-0.4.0/src/lib.rs
usr/share/cargo/registry/proptest-state-machine-0.4.0/src/strategy.rs
usr/share/cargo/registry/proptest-state-machine-0.4.0/src/test_runner.rs
usr/share/doc
usr/share/doc/librust-proptest-state-machine-dev
usr/share/doc/librust-proptest-state-machine-dev/changelog.Debian.gz
usr/share/doc/librust-proptest-state-machine-dev/changelog.gz
usr/share/doc/librust-proptest-state-machine-dev/copyright