[ sid ]
[ Paquet source : rust-proptest-state-machine ]
Paquet : librust-proptest-state-machine-dev (0.4.0-1)
Liens pour librust-proptest-state-machine-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source rust-proptest-state-machine :
- [rust-proptest-state-machine_0.4.0-1.dsc]
- [rust-proptest-state-machine_0.4.0.orig.tar.gz]
- [rust-proptest-state-machine_0.4.0-1.debian.tar.xz]
Responsables :
Ressources externes :
- Page d'accueil [proptest-rs.github.io]
Paquets similaires :
State machine based testing support for proptest - Rust source code
Source code for Debianized Rust crate "proptest-state-machine"
Autres paquets associés à librust-proptest-state-machine-dev
|
|
|
|
-
- dep: librust-proptest-1+bit-set-dev (>= 1.6.0-~~)
- Paquet indisponible
-
- dep: librust-proptest-1+default-dev (>= 1.6.0-~~)
- Paquet indisponible
-
- dep: librust-proptest-1+fork-dev (>= 1.6.0-~~)
- Paquet indisponible
-
- dep: librust-proptest-1+timeout-dev (>= 1.6.0-~~)
- Paquet indisponible
-
- rec: librust-proptest-state-machine+std-dev (= 0.4.0-1)
- State machine based testing support for proptest - feature "std" and 1 more
Télécharger librust-proptest-state-machine-dev
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 20,9 ko | 107,0 ko | [liste des fichiers] |
arm64 | 20,9 ko | 107,0 ko | [liste des fichiers] |
armel | 20,9 ko | 107,0 ko | [liste des fichiers] |
armhf | 20,9 ko | 107,0 ko | [liste des fichiers] |
i386 | 20,9 ko | 107,0 ko | [liste des fichiers] |
loong64 (portage non officiel) | 20,9 ko | 107,0 ko | [liste des fichiers] |
mips64el | 20,9 ko | 107,0 ko | [liste des fichiers] |
ppc64 (portage non officiel) | 20,9 ko | 107,0 ko | [liste des fichiers] |
ppc64el | 20,9 ko | 107,0 ko | [liste des fichiers] |
riscv64 | 20,9 ko | 107,0 ko | [liste des fichiers] |
s390x | 20,9 ko | 107,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 20,9 ko | 107,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 20,9 ko | 107,0 ko | [liste des fichiers] |