- linux-libc-dev arm64
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
.
This package provides the command-line tool.
Installed Size: 2.2 MB
Architectures: arm64 amd64