Paketti: libcoq-aac-tactics-dbgsym (8.17.0-3) [debports]

[ Source:  ]

debug symbols for libcoq-aac-tactics

Muut pakettiin libcoq-aac-tactics-dbgsym liittyvät paketit

• dep: libcoq-aac-tactics (= 8.17.0-3)

  Coq tactics for reasoning modulo AC (theories)

Imuroi libcoq-aac-tactics-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	12.5 kt	93.0 kt	[tiedostoluettelo]