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" & != "4.02.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/v1.0.0/mixture-1.0.0.tar.xz"
35 checksum: [
36 "sha256=f03cdb12ca51f994dc2b1cb2e596bed8394c8536ab1560bfada53625530364f0"
37 "md5=db7edf005da69124f53d818dfaf908d0"
38 ]
39}