Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-hierarchy-builder  ]

Paketti: libcoq-hierarchy-builder (1.4.0-2 ja muut)

Links for libcoq-hierarchy-builder

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq-hierarchy-builder:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

build hierarchies of algebraic structures in Coq (runtime files)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

This package provides the runtime files.

Muut pakettiin libcoq-hierarchy-builder liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcoq-hierarchy-builder

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 1.4.0-2+b6 234.5 kt691.0 kt [tiedostoluettelo]
arm64 1.4.0-2+b6 234.5 kt691.0 kt [tiedostoluettelo]
i386 1.4.0-2+b6 234.5 kt691.0 kt [tiedostoluettelo]
ppc64el 1.4.0-2+b6 234.4 kt691.0 kt [tiedostoluettelo]