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