this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "michipili@gmail.com"
3authors: "Michael Grünewald"
4license: "CeCILL-B"
5homepage: "https://github.com/michipili/mixture"
6bug-reports: "https://github.com/michipili/mixture/issues"
7dev-repo: "git+https://github.com/michipili/mixture.git"
8tags: [
9 "pattern"
10]
11build: [
12 ["./configure" "--prefix" prefix]
13 [conf-bmake:path "-I%{bsdowl:share}%" "all"]
14]
15install: [
16 [conf-bmake:path "-I%{bsdowl:share}%" "install"]
17]
18remove: [
19 ["ocamlfind" "remove" "mixture"]
20 ["rm" "-rf" "%{share}%/doc/mixture"]
21]
22depends: [
23 "ocaml" {>= "4.00.1" & < "5.0.0"}
24 "broken" {>= "0.4.2"}
25 "bsdowl" {>= "3.0.0"}
26 "conf-bmake"
27 "ocamlfind"
28]
29synopsis: "The Mixture package is a mixin library for the module system"
30description: "WWW: https://github.com/michipili/mixture"
31flags: light-uninstall
32url {
33 src:
34 "https://github.com/michipili/mixture/releases/download/v0.2.1/mixture-0.2.1.tar.xz"
35 checksum: [
36 "sha256=8acdad08396a2efdd8112fb9319f2e61659d7c9ad3082ff28792c36458a32e04"
37 "md5=8ce007c1546384bf75af61156c927309"
38 ]
39}