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 "base-domains"
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.1.0.tar.gz"
26 checksum: [
27 "md5=070071daf587ff50ba0f60266ab7c5d9"
28 "sha512=257762cb07c75d22f1ae3a0da3a37b2aa2ab8bca7a7dc036b940163fc238b64a7d92efa2535c3bb8185a1f39cc3841cdce5ad936fd2dd804eff25dd68dd21d39"
29 ]
30}