[ sid ]

[ Source: ]

Package: libcoq-simple-io-dbgsym (1.9.0-2) [debports]

Links for libcoq-simple-io-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for libcoq-simple-io

Other Packages Related to libcoq-simple-io-dbgsym

depends

recommends

suggests

enhances

dep: libcoq-simple-io (= 1.9.0-2)

Coq plugin for purely functional IO

Download libcoq-simple-io-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	8.7 kB	49.0 kB	[list of files]