rust-proptest-state-machine_0.4.0-1_amd64.changes (click to toggle) | |
---|---|
Format: | 1.8 |
Date: | Thu, 4 Sep 2025 23:21:09 CEST |
Source: | rust-proptest-state-machine |
Binary: | librust-proptest-state-machine+std-dev librust-proptest-state-machine-dev |
Architecture: | amd64 source |
Version: | 0.4.0-1 |
Distribution: | unstable |
Urgency: | medium |
Maintainer: | Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> |
Changed-By: | Federico Ceratto <federico@debian.org> |
Description: | librust-proptest-state-machine+std-dev - State machine based testing support for proptest - feature "std" librust-proptest-state-machine-dev - State machine based testing support for proptest - Rust source co |
Changes: | rust-proptest-state-machine (0.4.0-1) unstable; urgency=medium * Package proptest-state-machine 0.4.0 from crates.io using debcargo 2.7.10 |
Files: | 59db38fcbd56398ce95ab545345826ff 1316 rust optional librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb 5cdcb01ededd77d76c61afed224e7190 21452 rust optional librust-proptest-state-machine-dev_0.4.0-1_amd64.deb bfd464f3610cffcac6866a6421016235 11419 rust optional rust-proptest-state-machine_0.4.0-1_amd64.buildinfo 453f6ca5ebcc7409ed97aff549fa1622 2911 rust optional rust-proptest-state-machine_0.4.0-1.dsc c26ca8120ca979856ae24a1b25ea3665 26286 - - rust-proptest-state-machine_0.4.0.orig.tar.gz b9403e38ac241733eb3ac350d885e76a 3128 - - rust-proptest-state-machine_0.4.0-1.debian.tar.xz |
rust-proptest-state-machine_0.4.0-1.dsc (click to toggle) | |
---|---|
Format: | 3.0 (quilt) |
Source: | rust-proptest-state-machine |
Binary: | librust-proptest-state-machine-dev, librust-proptest-state-machine+std-dev |
Architecture: | any |
Version: | 0.4.0-1 |
Maintainer: | Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> |
Uploaders: | Federico Ceratto <federico@debian.org> |
Homepage: | https://proptest-rs.github.io/proptest/proptest/state-machine.html |
Standards-Version: | 4.7.2 |
Vcs-Browser: | https://salsa.debian.org/rust-team/debcargo-conf/tree/master/src/proptest-state-machine |
Vcs-Git: | https://salsa.debian.org/rust-team/debcargo-conf.git [src/proptest-state-machine] |
Testsuite: | autopkgtest |
Testsuite-Triggers: | dh-cargo, librust-message-io-0.19+tcp-dev, librust-message-io-0.19+udp-dev, librust-message-io-0.19+websocket-dev, rustc |
Build-Depends: | debhelper-compat (=13), dh-sequence-cargo |
Build-Depends-Arch: | cargo:native <!nocheck>, rustc:native (>= 1.82) <!nocheck>, libstd-rust-dev <!nocheck>, librust-proptest-1+bit-set-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+default-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+fork-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+std-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+timeout-dev (>= 1.6.0-~~) <!nocheck> |
Package-List: | librust-proptest-state-machine+std-dev deb rust optional arch=any librust-proptest-state-machine-dev deb rust optional arch=any |
Files: | c26ca8120ca979856ae24a1b25ea3665 26286 rust-proptest-state-machine_0.4.0.orig.tar.gz b9403e38ac241733eb3ac350d885e76a 3128 rust-proptest-state-machine_0.4.0-1.debian.tar.xz |
README.source for rust-proptest-state-machine_0.4.0-1.dsc (click to toggle) | |
---|---|
No README.source in this package |
control file for librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
Package: | librust-proptest-state-machine+std-dev |
Source: | rust-proptest-state-machine |
Version: | 0.4.0-1 |
Architecture: | amd64 |
Maintainer: | Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> |
Installed-Size: | 9 |
Depends: | librust-proptest-state-machine-dev (=0.4.0-1), librust-proptest-1+bit-set-dev (>=1.6.0-~~), librust-proptest-1+fork-dev (>=1.6.0-~~), librust-proptest-1+std-dev (>=1.6.0-~~), librust-proptest-1+timeout-dev (>=1.6.0-~~) |
Provides: | librust-proptest-state-machine+default-dev (= 0.4.0-1), librust-proptest-state-machine-0+default-dev (= 0.4.0-1), librust-proptest-state-machine-0+std-dev (= 0.4.0-1), librust-proptest-state-machine-0.4+default-dev (= 0.4.0-1), librust-proptest-state-machine-0.4+std-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0+default-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0+std-dev (= 0.4.0-1) |
Section: | rust |
Priority: | optional |
Multi-Arch: | same |
Homepage: | https://proptest-rs.github.io/proptest/proptest/state-machine.html |
Description: | State machine based testing support for proptest - feature "std" and 1 more This metapackage enables feature "std" for the Rust proptest-state-machine crate, by pulling in any additional dependencies needed by that feature. . Additionally, this package also provides the "default" feature. |
lintian 2.116.3 check for librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
contents of librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
drwxr-xr-x root/root 0 2025-09-04 21:19 ./ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/lintian/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 85 2025-09-04 21:19 ./usr/share/lintian/overrides/librust-proptest-state-machine+std-dev lrwxrwxrwx root/root 0 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine+std-dev -> librust-proptest-state-machine-dev |
copyright of librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
WARNING: No copyright found, please check package manually. |
control file for librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
Package: | librust-proptest-state-machine-dev |
Source: | rust-proptest-state-machine |
Version: | 0.4.0-1 |
Architecture: | amd64 |
Maintainer: | Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> |
Installed-Size: | 107 |
Depends: | 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-~~) |
Recommends: | librust-proptest-state-machine+std-dev (=0.4.0-1) |
Provides: | librust-proptest-state-machine-0-dev (= 0.4.0-1), librust-proptest-state-machine-0.4-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0-dev (= 0.4.0-1) |
Section: | rust |
Priority: | optional |
Multi-Arch: | same |
Homepage: | https://proptest-rs.github.io/proptest/proptest/state-machine.html |
Description: | State machine based testing support for proptest - Rust source code Source code for Debianized Rust crate "proptest-state-machine" |
contents of librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
drwxr-xr-x root/root 0 2025-09-04 21:19 ./ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/ -rw-r--r-- root/root 54 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo-checksum.json -rw-r--r-- root/root 116 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo_vcs_info.json -rw-r--r-- root/root 1255 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/CHANGELOG.md -rw-r--r-- root/root 1733 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml -rw-r--r-- root/root 894 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml.orig -rw-r--r-- root/root 282 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/README.md drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/ -rw-r--r-- root/root 385 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/relax-deps.patch -rw-r--r-- root/root 17 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/series drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/ -rw-r--r-- root/root 17110 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_echo_server.rs -rw-r--r-- root/root 7851 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_heap.rs drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions/ -rw-r--r-- root/root 766 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions/strategy.txt drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/ -rw-r--r-- root/root 633 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/lib.rs -rw-r--r-- root/root 42536 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/strategy.rs -rw-r--r-- root/root 9905 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/test_runner.rs drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/ -rw-r--r-- root/root 180 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/changelog.Debian.gz -rw-r--r-- root/root 652 2006-07-24 01:21 ./usr/share/doc/librust-proptest-state-machine-dev/changelog.gz -rw-r--r-- root/root 1697 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/copyright |
copyright of librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle) | |
---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: proptest-state-machine Upstream-Contact: Tomáš Zemanovič Source: https://github.com/proptest-rs/proptest Files: * Copyright: 2017-2022 Jason Lingle 2017-2018 Mazdak Farrokhzad 2023-2024 Tomas Zemanovic 2023-2024 Matthew Russo License: MIT or Apache-2.0 Files: debian/* Copyright: 2025 Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> 2025 Federico Ceratto <federico@debian.org> License: MIT or Apache-2.0 License: Apache-2.0 Debian systems provide the Apache 2.0 license in /usr/share/common-licenses/Apache-2.0 License: MIT Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
Timestamp: 04.09.2025 / 22:03:35 (UTC)