[ sid ]

[ Source: ]

Paketti: libcoq-bignums-dbgsym (8.17.0-3 ja muut) [debports]

Links for libcoq-bignums-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for libcoq-bignums

Muut pakettiin libcoq-bignums-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: libcoq-bignums (= 8.17.0-3+b2)

Coq library for big numbers

Imuroi libcoq-bignums-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	8.17.0-3+b2	3.5 kt	25.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	8.17.0-3+b2	3.5 kt	24.0 kt	[tiedostoluettelo]