» Ubuntu » Pakete » stonking » devel » spin
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Quellcode: spin  ]

Paket: spin (6.5.2+dfsg-2build1) [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.38)
    GNU C Library: Shared libraries

spin herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 478,6 kB1.555,0 kB [Liste der Dateien]
arm64 462,1 kB1.635,0 kB [Liste der Dateien]
armhf 419,3 kB1.118,0 kB [Liste der Dateien]
ppc64el 536,7 kB1.827,0 kB [Liste der Dateien]
riscv64 454,0 kB1.555,0 kB [Liste der Dateien]
s390x 479,1 kB1.575,0 kB [Liste der Dateien]