[ sid ]

[ Source: ]

Package: psmt2-frontend-dbgsym (0.4.0-3 and others) [debports]

Links for psmt2-frontend-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for psmt2-frontend

Other Packages Related to psmt2-frontend-dbgsym

depends

recommends

suggests

enhances

dep: psmt2-frontend (= 0.4.0-3+b1)

Parse and type-check SMT-LIB 2 (tool)

Download psmt2-frontend-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ia64 (unofficial port)	0.4.0-3+b1	22.0 kB	78.0 kB	[list of files]