package kremlin

  1. Overview
  2. No Docs
Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

Authors

  1. J
    Jonathan Protzenko <jonathan.protzenko@gmail.com>

Maintainers

  1. P
    protz@microsoft.com

Description

Added to opam-repository:

Dependencies (1)

  1. karamel

Dev Dependencies

None

Used by

None

Conflicts

None