package conf-gcc
Virtual package relying on the gcc compiler (for C)
Install
Dune 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