alla flaggor
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Källkod: coq-hierarchy-builder  ]

Paket: libcoq-hierarchy-builder (1.8.1-1 och andra)

Länkar för libcoq-hierarchy-builder

Screenshot

Debianresurser:

Hämta källkodspaketet coq-hierarchy-builder:

Ansvariga:

Externa resurser:

Liknande paket:

build hierarchies of algebraic structures in Coq

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

Andra paket besläktade med libcoq-hierarchy-builder

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libcoq-hierarchy-builder

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 1.8.1-1+b4 537,9 kbyte1.667,0 kbyte [filförteckning]
arm64 1.8.1-1+b4 538,1 kbyte1.667,0 kbyte [filförteckning]
ppc64el 1.8.1-1+b4 535,7 kbyte1.667,0 kbyte [filförteckning]
riscv64 1.8.1-1+b3 538,1 kbyte1.667,0 kbyte [filförteckning]
s390x 1.8.1-1+b4 538,0 kbyte1.667,0 kbyte [filförteckning]