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/refs/tags/1.0.0.tar.gz"
26 checksum: [
27 "md5=203805788d40cba3bfa6f86f689f2561"
28 "sha512=865e575963b04d20711f4b2f7f95444c58ed039700a6771cf41088f05a0032c7b04190e9692a3e38cef93c976c9a0bb8a058466da11b871be84d344397e04a50"
29 ]
30}