ligo/vendors/Red-Black_Trees/RedBlackTrees.opam
2020-04-13 19:23:12 +02:00

19 lines
612 B
Plaintext

opam-version : "2.0"
version : "1.0"
maintainer : "rinderknecht@free.fr"
authors : [ "Christian Rinderknecht" ]
homepage : "https://gitlab.com/rinderknecht/Red-Black_Trees"
bug-reports : "https://gitlab.com/rinderknecht/Red-Black_Trees/issues"
dev-repo : "git+https://gitlab.com/rinderknecht/Red-Black_Trees.git"
license : "MIT"
depends : [ "dune" ]
build : [
[ "dune" "build" "-p" name "-j" jobs ]
]
url {
src: "https://gitlab.com/rinderknecht/Red-Black_Trees/-/archive/98b11312810d979ee1b0dacee6900228574e41e7/Red-Black_Trees.tar.gz"
}