[ sid ]

[ Source: ]

Paketti: cvc5-dbgsym (1.1.2-2) [debports]

Links for cvc5-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for cvc5

Muut pakettiin cvc5-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: cvc5 (= 1.1.2-2)

automated theorem prover for SMT problems

Imuroi cvc5-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
m68k (epävirallinen siirros)	1,677.7 kt	1,755.0 kt	[tiedostoluettelo]