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.5.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 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://github.com/mseri/doi2bib.git"
37url {
38 src:
39 "https://github.com/mseri/doi2bib/releases/download/0.6.1/doi2bib-0.6.1.tbz"
40 checksum: [
41 "sha256=823338a90e259438bb54115ca8ad8265a9db3e88a1fdb5d46dce7ecbe3c8e1e7"
42 "sha512=e17fb7724c582e57e12266884fb96c6b680f81b7d79e05568d3a85267bc36e5cb5a04650de2607967f157246eaf098fd9ed07b79b0698cdfc9e13a60eca393b1"
43 ]
44}
45x-commit-hash: "5a01c38429687ecf79419a3f52a2e151fdfd9d75"