package calcium

  1. Overview
  2. No Docs
Deprecated use flint

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

flint-0.4.0.tbz
sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8
sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e

Description

Published: 11 Jul 2024

Dependencies (4)

  1. arb = version
  2. antic = version
  3. flint = version
  4. dune >= "3.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. colibri2

Conflicts

None