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 "decompress" {>= "1.3.0"}
16 "ezxmlm" {>= "1.1.0"}
17 "lwt" {>= "5.3.0"}
18 "bigstringaf" {>= "0.2.0"}
19 "uri" {>= "4.0"}
20 ("tls" {>= "0.12.0" & < "0.16"} | "tls-lwt" {< "1.0.0"})
21 "odoc" {with-doc}
22]
23build: [
24 ["dune" "subst"] {dev}
25 [
26 "dune"
27 "build"
28 "-p"
29 name
30 "-j"
31 jobs
32 "@install"
33 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://github.com/mseri/doi2bib.git"
37x-commit-hash: "31191edebc0128d0500ce0f08e2990d997a14057"
38url {
39 src:
40 "https://github.com/mseri/doi2bib/releases/download/0.4.0/doi2bib-0.4.0.tbz"
41 checksum: [
42 "sha256=7554267255c77b2e7fd14dff54f0b21b1e8bf8cde95a4e20177b7a2be36d6d97"
43 "sha512=b5073b8ee009ddc429e81bcd6f92ab3765e253a48b0b5963d56be8d2e908967e28800f86354855be711607754fb12efa099078e6e5a743b43a21dea80f6dca80"
44 ]
45}