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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page