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 "clz" {>= "0.1.0"}
16 "ezxmlm" {>= "1.1.0"}
17 "lwt" {>= "5.3.0"}
18 "bigstringaf" {>= "0.2.0"}
19 ("tls" {>= "0.12.0" & < "0.16"} | "tls-lwt" {< "1.0.0"})
20 "re" {>= "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# "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36]
37dev-repo: "git+https://github.com/mseri/doi2bib.git"
38url {
39 src:
40 "https://github.com/mseri/doi2bib/releases/download/0.5.2/doi2bib-0.5.2.tbz"
41 checksum: [
42 "sha256=b0b6f01e5b2fa7b4d9ec234f6bce4aae11549042f5aa713e014b3b903a4795c0"
43 "sha512=e93f6c607d1e31ace1f56905ceaf9feb85e0c195490ba4468fee87a4d221de0d00b9d9d5afebf0e93ec49ca0db6511923e6d19bcb7ea41cc73f6417cbd35eda7"
44 ]
45}
46x-commit-hash: "38eea26321b787d8942d8387377ff74c5ac316c3"