[ sid ]
Paket: cvc5-dbgsym (1.1.2-2) [debports]
Links für cvc5-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for cvc5
Andere Pakete mit Bezug zu cvc5-dbgsym
|
|
|
|
-
- dep: cvc5 (= 1.1.2-2)
- automated theorem prover for SMT problems
cvc5-dbgsym herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
m68k (inoffizielle Portierung) | 1.677,7 kB | 1.755,0 kB | [Liste der Dateien] |