» Ubuntu » Pakete » noble (24.04LTS) » devel » spin
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Quellcode: spin  ]

Paket: spin (6.5.2+dfsg-1) [universe]

Links für spin

Screenshot

Ubuntu-Ressourcen:

Quellcode-Paket spin herunterladen:

Betreuer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Tom Lee
  • tony mancill

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Ähnliche Pakete:

formal software verification tool

Andere Pakete mit Bezug zu spin

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.27) [riscv64]
    dep: libc6 (>= 2.7) [armhf, s390x]

spin herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 435,7 kB1.543,0 kB [Liste der Dateien]
arm64 416,0 kB1.575,0 kB [Liste der Dateien]
armhf 379,3 kB1.102,0 kB [Liste der Dateien]
ppc64el 457,0 kB1.763,0 kB [Liste der Dateien]
riscv64 392,5 kB1.492,0 kB [Liste der Dateien]
s390x 409,1 kB1.583,0 kB [Liste der Dateien]