1. Overview
  2. Docs
Virtual package relying on the gcc compiler (for C)

Install

github.com Edit opam file

Authors

  1. F
    Francois Berenger
  2. F
    Francois Bobot

Maintainers

  1. U
    unixjunkie@sdf.org

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 (8)

  1. bitwuzla < "1.0.0"
  2. bitwuzla-bin
  3. bitwuzla-c
  4. eprover
  5. goblint
  6. goblint-cil >= "2.0.0"
  7. mariadb >= "0.7.0" & < "0.9.0" | >= "1.0.0"
  8. unisim_archisec

Conflicts

    None