Alle Optionen
sid  ]
[ Quellcode:  ]

Paket: python3-cvc5-dbgsym (1.3.2-1 und andere) [debports]

Links für python3-cvc5-dbgsym

Screenshot

Debian-Ressourcen:

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Ähnliche Pakete:

debug symbols for python3-cvc5

Andere Pakete mit Bezug zu python3-cvc5-dbgsym

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

python3-cvc5-dbgsym herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 1.3.2-1 1.306,8 kB1.616,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 1.1.2-2+b3 2.465,2 kB2.736,0 kB [Liste der Dateien]
loong64 (inoffizielle Portierung) 1.1.2-3 2.562,1 kB2.861,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 1.3.2-1 1.277,1 kB1.547,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 1.3.2-1 1.287,5 kB1.628,0 kB [Liste der Dateien]
riscv64 (inoffizielle Portierung) 1.0.5-3 1.688,4 kB1.937,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 1.3.2-1 1.261,0 kB1.567,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 1.1.2-3 2.562,0 kB2.847,0 kB [Liste der Dateien]