this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID"
4maintainer: ["marcello.seri@gmail.com"]
5authors: ["Marcello Seri"]
6license: "MIT"
7homepage: "https://github.com/mseri/doi2bib"
8bug-reports: "https://github.com/mseri/doi2bib/issues"
9depends: [
10 "dune" {>= "2.7"}
11 "ocaml" {>= "4.08"}
12 "astring" {>= "0.8.0"}
13 "cohttp-lwt-unix" {>= "2.5.0"}
14 "cmdliner" {>= "1.0.0"}
15 "ezxmlm" {>= "1.1.0"}
16 "lwt" {>= "5.3.0"}
17 ("tls" {>= "0.12.0" & < "0.16"} | "tls-lwt" {< "1.0.0"})
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://github.com/mseri/doi2bib.git"
34x-commit-hash: "b5a8c09fa889e501580b2bbb914c6ce4ec10505e"
35url {
36 src:
37 "https://github.com/mseri/doi2bib/releases/download/0.3.0/doi2bib-0.3.0.tbz"
38 checksum: [
39 "sha256=738fc640eb9789889e7e3d41f1a885ce5c1cf19efcc96aa60684ed8c34c0b290"
40 "sha512=f0e4278195765a6145d06fe11a9d9387ada3e7cec5b098d26b420ca13de16f0fe75463bf5d04c589f4e8302d4654b5c3b5ac8eb4c4b0a257dc58e75147949c9c"
41 ]
42}