package conf-gcc
Virtual package relying on the gcc compiler (for C)
Install
dune-project
Dependency
Authors
Maintainers
Description
This package can only install if the gcc compiler is installed on the system.
Published: 07 Feb 2020
Dependencies
None
Dev Dependencies
None
Used by (14)
-
bitwuzla
< "1.0.0" - bitwuzla-bin
- bitwuzla-c
- bitwuzla-cxx
- conf-libgccjit
- csdp
- cvc5
- eprover
- goblint
-
goblint-cil
>= "2.0.0" - liblinear
- libsvm_tools
- mariadb
- unisim_archisec
Conflicts
None
On This Page