Paket: cpp-14-m68k-linux-gnu-dbgsym (14.3.0-3) [debports]

Länkar för cpp-14-m68k-linux-gnu-dbgsym

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Liknande paket:

Experimentellt paket

Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.

This package provides CoqIde, a graphical user interface for developing proofs.

Andra paket besläktade med cpp-14-m68k-linux-gnu-dbgsym

beror

rekommenderar

föreslår

enhances

dep: cpp-14-m68k-linux-gnu (= 14.3.0-3)

GNU C preprocessor for m68k-linux-gnu

Hämta cpp-14-m68k-linux-gnu-dbgsym

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
m68k (inofficiell anpassning)	72.767,2 kbyte	99.871,0 kbyte	[filförteckning]