this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "λ-calculus ocaml library"
3description: """
4λ-calculus ocaml library. Modules documentation is
5available at https://dakk.github.io/lambda/
6"""
7maintainer: "Davide Gessa <gessadavide@gmail.com>"
8authors: [
9 "Davide Gessa <gessadavide@gmail.com>"
10]
11
12homepage: "https://github.com/dakk/lambda"
13bug-reports: "https://github.com/dakk/lambda/issues"
14license: "MIT"
15dev-repo: "git+https://github.com/dakk/lambda.git"
16build: ["dune" "build" "-p" name "-j" jobs]
17
18depends: [
19 "ocaml" {>= "4.05.0"}
20
21 "dune" {>= "2.5.0"}
22 "menhir" {>= "20200211"}
23
24 "ounit" {with-test & >= "2.0.8"}
25 "odoc" {with-test & >= "1.3.0"}
26]
27
28url {
29 src: "https://github.com/dakk/lambda/archive/v0.1.7.tar.gz"
30 checksum: [
31 "md5=6331108c312dc036ae08691621549bb1"
32 "sha512=1f8a2a77310dea6c5162cfc8b9c4ac0104f62ec948037d61a5c000b5863c2dc49e450c08b7e811d3037d890542708df509f516df721a3e15cef9fb574bc4f9f6"
33 ]
34}