Paket: mona-dbgsym (1.4-18-1 und andere) [debports]

Links für mona-dbgsym

Nicht gefunden

dep: mona (= 1.4-18-1) [nicht riscv64]

Theorem-Beweiser auf Grundlage von Automaten

dep: mona (= 1.4-18-1+b1) [riscv64]

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.4-18-1	1.059,3 kB	1.220,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.4-18-1	1.026,0 kB	1.160,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.4-18-1	1.249,9 kB	1.411,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.4-18-1	905,4 kB	1.032,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.4-18-1	1.062,2 kB	1.246,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	1.4-18-1+b1	1.009,1 kB	1.189,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.4-18-1	942,2 kB	1.107,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.4-18-1	1.002,1 kB	1.167,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.4-18-1	1.037,4 kB	1.176,0 kB	[Liste der Dateien]