this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Logical is a minimalistic logic programming inspired by microKanren"
3description: """
4Logical is a minimalistic logic programming inspired by microKanren, which is
5- Simple implementation with only a few building blocks
6- Easy to understand and use
7- Supports negation free constraint logic programming
8"""
9maintainer: "Robert Toth <kkdstryker@gmail.com>"
10authors: ["Robert Toth"]
11homepage: "https://github.com/StrykerKKD/Logical"
12bug-reports: "https://github.com/StrykerKKD/Logical/issues"
13dev-repo: "git+https://github.com/StrykerKKD/Logical.git"
14doc: "https://strykerkkd.github.io/Logical/"
15license: "MIT"
16build: [
17 ["dune" "subst"] {dev}
18 ["dune" "build" "-p" name "-j" jobs]
19 ["dune" "build" "@doc" "-p" name] {with-doc}
20]
21run-test: [
22 ["dune" "runtest" "-p" name "-j" jobs]
23]
24depends: [
25 "dune"
26 "alcotest" {with-test}
27 "odoc" {with-doc}
28 "base" {>= "v0.12.0" & < "v0.17"}
29 "ocaml" {>= "4.04.2"}
30]
31url {
32 src: "https://github.com/StrykerKKD/Logical/archive/0.3.0.tar.gz"
33 checksum: [
34 "md5=4a0151793a727ac01be0f223de7d038c"
35 "sha512=34c1d903854dfc24f43759ada3cf36eb2e979d37ec3a06094a6065442e958f7a756b911517672a4d30d7bf6bd74232ff30222e330ae1195a580394ee531ba905"
36 ]
37}