all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coreboot  ]

Package: coreboot-utils (4.15~dfsg-3)

Links for coreboot-utils

Screenshot

Debian Resources:

Download Source Package coreboot:

Maintainers:

External Resources:

Similar packages:

Collection of theories and plugins for Coq

This package provides a collection of theories and plugins that may be useful in other Coq developments.

Coq is a proof assistant for higher-order logic.

Other Packages Related to coreboot-utils

  • depends
  • recommends
  • suggests
  • enhances

Download coreboot-utils

Download for all available architectures
Architecture Package Size Installed Size Files
s390x 215.8 kB1,020.0 kB [list of files]