Paketti: libcoq-gappa-dbgsym (1.5.3-1 ja muut) [debports]

[ Source:  ]

debug symbols for libcoq-gappa

Muut pakettiin libcoq-gappa-dbgsym liittyvät paketit

• dep: libcoq-gappa (= 1.5.3-1+b1)

  Coq tactic to use Gappa for floating-point goals

Imuroi libcoq-gappa-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	1.5.3-1+b1	5.7 kt	42.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	1.5.3-1+b1	5.8 kt	39.0 kt	[tiedostoluettelo]