Quellcode-Paket: spin (6.4.9+dfsg-1)
Links für spin
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [spinroot.com]
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- spin
- formal software verification tool
Andere Pakete mit Bezug zu spin
|
|
Download spin
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| spin_6.4.9+dfsg-1.dsc | 1,9 kB | 3c9ba32315318f42fc235a0b5088fd2c |
| spin_6.4.9+dfsg.orig.tar.xz | 359,2 kB | d5f655c3cb461903f607f019e05b4b7a |
| spin_6.4.9+dfsg-1.debian.tar.xz | 4,2 kB | e2bde865b9846d508a9c3c4d7feefba6 |
- Quellcode-Depot des Debian-Pakets (VCS: Git)
- https://github.com/thomaslee/spin-debian
- Quellcode-Depot des Debian-Pakets (browsable)
- https://github.com/thomaslee/spin-debian