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" {>= "0.12.0"}
29 "ocaml" {>= "4.04.2"}
30]
31url {
32 src: "https://github.com/StrykerKKD/Logical/archive/0.2.0.tar.gz"
33 checksum: [
34 "md5=1f088b0cc467619cd38a2538ec2d11b8"
35 "sha512=13ea13a7f1ba254a0468da65662f365c7ebc76e98896279735651f04707475e0fdc56895511ff8045a54a86fd0109a9cf4f98ed5b94b871fddd6316ead72c601"
36 ]
37}