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/0.2.1.tar.gz"
26 checksum: [
27 "md5=585035e148aa566c00f38000768e06c8"
28 "sha512=a79ae50ea35574330dafdc06dd261789b0606f913031206f1b38535b85da331b98a6f8d4c598a97af91f66f07c58e52952b40adebcb0328c47d8506acc5af913"
29 ]
30}