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.1.0.tar.gz"
26 checksum: [
27 "md5=b8bafd5ed5f2ab222a327b038929d6b6"
28 "sha512=c58a9497d9f97a138ea3de99b33ea4ef8c8a5ab5ad4d501482fad2ea35894032b2fab65397881bd21a20cd2c0d5a4305782d81673ba3a7e4b7a3fe7273a22d1a"
29 ]
30}