package conf-flint

  1. Overview
  2. Docs
Virtual package relying on a Flint lib system installation

Install

Dune Dependency

flint.org Edit opam file Versions (1)

Authors

  1. W
    William Hart
  2. S
    Sebastian Pancratz
  3. A
    Andy Novocin
  4. F
    Fredrik Johansson
  5. T
    Tom Bachmann
  6. M
    Mike Hansen
  7. D
    Daniel Schultz

Maintainers

  1. B
    bobot

Description

This package can only install if the Flint lib is installed on the system.

Published: 12 Oct 2023

Dependencies

None

Dev Dependencies

None

Used by (2)

  1. conf-calcium
  2. flint >= "0.3.1"

Conflicts

None