this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "roberto@dicosmo.org"
3authors: [
4 "Jean-Christophe Filliâtre"
5 "Kalyan Krishnamani"
6]
7homepage: "https://github.com/backtracking/functory"
8dev-repo: "git+https://github.com/backtracking/functory.git"
9license: "LGPL-2.1-only"
10build: [
11 ["./configure"]
12 [make]
13]
14remove: [["ocamlfind" "remove" "functory"]]
15depends: [
16 "ocaml" {>= "4.03.0" & < "5.0"}
17 "ocamlfind"
18]
19install: [make "ocamlfind-install"]
20synopsis: "Distributed computing library."
21flags: light-uninstall
22url {
23 src:
24 "https://github.com/backtracking/functory/releases/download/v-0-6/functory-0.6.tar.gz"
25 checksum: [
26 "sha256=1ef56ba99dae790cb7190e5cdcc00a98210c9a75ee4270dd2a50a64f57f797a3"
27 "md5=0dd4a8ce7f2c8f293686a7df5c307477"
28 ]
29}