this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "AIFAD - Automated Induction of Functions over Algebraic Datatypes"
3description: """
4AIFAD is a machine learning tool that generalizes decision tree learning to
5algebraic datatypes."""
6maintainer: ["Markus Mottl <markus.mottl@gmail.com>"]
7authors: ["Markus Mottl <markus.mottl@gmail.com>"]
8license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
9homepage: "https://mmottl.github.io/aifad"
10doc: "https://mmottl.github.io/aifad/api"
11bug-reports: "https://github.com/mmottl/aifad/issues"
12depends: [
13 "dune" {>= "2.7"}
14 "ocaml" {>= "4.04"}
15 "menhir" {>= "20180523"}
16 "res"
17 "pcre"
18 "cfg" {>= "2.1"}
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34]
35dev-repo: "git+https://github.com/mmottl/aifad.git"
36url {
37 src:
38 "https://github.com/mmottl/aifad/releases/download/2.3.1/aifad-2.3.1.tbz"
39 checksum: [
40 "sha256=8bc849773cb4f16de93725a7012b05e9a98e38d654c87140fa4c18ebac61dd1a"
41 "sha512=09d4b6dac5c1f891c4328c2d01eff4300ad7edcaa640552852f45d622e13efd2c4a73ecc5f899dbfa521aceb0fbe8eb6334be6850841302b1915a28a498a0084"
42 ]
43}
44x-commit-hash: "a3bf35d11186c182202bbd26910e4b7386cd0af6"