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: "1aac8e0b07e42995e4502f71d42f2a4238b290e6"
35url {
36 src:
37 "https://github.com/mseri/doi2bib/releases/download/0.3.1/doi2bib-0.3.1.tbz"
38 checksum: [
39 "sha256=cec3b26372b823b0e4264f1f4f025c0a71d4f4673442481aafa71abb915bd7e0"
40 "sha512=c6ff69186e3007ce144498cbc2afefbf981af7f8c927a33bdc4e29c0e72ae24cfa291b9e0e0868263fed301dc6542a556d90da35f0055ecf52e0400077d1cf66"
41 ]
42}