this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Reusable Effects-Based Components"
3description: """
4This OCaml library collects reusable effects-based components we have identified while developing our proof assistants based on algebraic effects.
5"""
6maintainer: "favonia <favonia@gmail.com>"
7authors: "The RedPRL Development Team"
8license: "Apache-2.0"
9homepage: "https://github.com/RedPRL/algaeff"
10bug-reports: "https://github.com/RedPRL/algaeff/issues"
11dev-repo: "git+https://github.com/RedPRL/algaeff.git"
12depends: [
13 "dune" {>= "2.0"}
14 "ocaml" {>= "5.0"}
15 "alcotest" {>= "1.5" & with-test}
16 "qcheck-core" {>= "0.18" & with-test}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "build" "-p" name "-j" jobs]
21 ["dune" "build" "-p" name "-j" jobs "@runtest"] {with-test}
22 ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
23]
24url {
25 src: "https://github.com/RedPRL/algaeff/archive/0.2.0.tar.gz"
26 checksum: [
27 "md5=433b1583d4ffd0d2cb5310f1918935e4"
28 "sha512=9e003e4916d579d063e5ae72302c71ca640e0b568378db25c6dc90becbcd6508f23dc29211a2849f745c54871f6611be0a37ea8526a08ecc203147838975ae70"
29 ]
30}