alle opties
lenny  ] [  squeeze  ] [  wheezy  ] [  sid  ]
[ Bron: spass  ]

Pakket: spass (3.7-3 en anderen)

Verwijzigingen voor spass

Screenshot

Debian bronnen:

Het bronpakket spass downloaden:

Beheerder:

Vergelijkbare pakketten:

An automated theorem prover for first-order logic with equality

Andere aan spass gerelateerde pakketten

  • depends
  • recommends
  • suggests

spass downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 3.7-3 2.378,7 kB5.064,0 kB [overzicht]
amd64 3.7-3 2.213,3 kB4.304,0 kB [overzicht]
armel 3.7-3 2.022,3 kB3.864,0 kB [overzicht]
armhf 3.7-3 1.936,0 kB3.053,0 kB [overzicht]
avr32 (unofficial port) 2.1-4 1.205,0 kB2.008,0 kB [overzicht]
hppa 3.7-2 2.231,0 kB4.176,0 kB [overzicht]
hurd-i386 3.7-3 2.083,6 kB4.180,0 kB [overzicht]
i386 3.7-3 2.085,3 kB4.180,0 kB [overzicht]
ia64 3.7-3 3.015,3 kB7.940,0 kB [overzicht]
kfreebsd-amd64 3.7-3 2.213,3 kB4.396,0 kB [overzicht]
kfreebsd-i386 3.7-3 2.082,9 kB4.252,0 kB [overzicht]
m68k (unofficial port) 2.1-4 1.113,6 kB2.600,0 kB [overzicht]
mips 3.7-3 2.028,1 kB4.320,0 kB [overzicht]
mipsel 3.7-3 2.033,9 kB4.320,0 kB [overzicht]
powerpc 3.7-3 2.076,6 kB4.156,0 kB [overzicht]
powerpcspe (unofficial port) 3.7-3 2.191,4 kB4.360,0 kB [overzicht]
s390 3.7-3 2.125,0 kB4.252,0 kB [overzicht]
s390x 3.7-3 2.250,4 kB4.610,0 kB [overzicht]
sh4 (unofficial port) 3.7-3 2.078,2 kB3.840,0 kB [overzicht]
sparc 3.7-3 2.047,6 kB4.024,0 kB [overzicht]
sparc64 (unofficial port) 3.7-3 2.087,9 kB4.176,0 kB [overzicht]