-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
35 lines (31 loc) · 980 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
opam-version: "2.0"
maintainer: "Markus Mottl <markus.mottl@gmail.com>"
authors: [ "Markus Mottl <markus.mottl@gmail.com>" ]
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://mmottl.github.io/aifad"
doc: "https://mmottl.github.io/aifad/api"
dev-repo: "git+https://github.com/mmottl/aifad.git"
bug-reports: "https://github.com/mmottl/aifad/issues"
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml" {>= "4.04"}
"dune" {>= "1.4.0"}
"res"
"pcre"
"cfg" {>= "2.1.0"}
]
synopsis: "AIFAD - Automated Induction of Functions over Algebraic Datatypes"
description: """
AIFAD is a machine learning tool that generalizes decision tree learning to
algebraic datatypes."""
url {
src:
"https://github.com/mmottl/aifad/releases/download/2.2.2/aifad-2.2.2.tbz"
checksum: [
"sha256=98eee91cb1644d48aae66e1fdd0843d723d3754cafb538bbc319d0c206d9d08f"
"md5=eaa6532ae081f9a601e99f2700c791e0"
]
}