package coq-bytestring

  1. Overview
  2. No Docs
A simple string library built around byte instead of Ascii

Install

Dune Dependency

gitlab.com Edit opam file Versions (1)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. G
    Gregory Malecha <gregory@bedrocksystems.com>

Sources

coq-bytestring-v0.9.0.tar.gz
sha256=2dd6a0804225cf7a7822d8ab8056cedd2996e4f61b6f52fadf8956438c2b98a2

Description

A simple string library built around byte.

Published: 02 Jun 2020

Dependencies (2)

  1. coq >= "8.11" & < "8.12~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None