this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Little CLI tool to get bibtex entries out of doi or arxiv ids"
3maintainer: ["marcello.seri@gmail.com"]
4authors: ["Marcello Seri"]
5license: "MIT"
6homepage: "https://github.com/mseri/doi2bib"
7bug-reports: "https://github.com/mseri/doi2bib/issues"
8depends: [
9 "dune" {>= "2.7"}
10 "ocaml" {>= "4.08"}
11 "astring" {>= "0.8.0"}
12 "cohttp-lwt-unix" {>= "2.5.0"}
13 "clap" {>= "0.1.0"}
14 "ezxmlm" {>= "1.1.0"}
15 "lwt" {>= "5.3.0"}
16 ("tls" {>= "0.12.0" & < "0.16"} | "tls-lwt" {< "1.0.0"})
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 ]
29]
30dev-repo: "git+https://github.com/mseri/doi2bib.git"
31x-commit-hash: "fc5106ce971346c80d99bd66e329b8ad41adbd80"
32url {
33 src:
34 "https://github.com/mseri/doi2bib/releases/download/0.2.1/doi2bib-0.2.1.tbz"
35 checksum: [
36 "sha256=dc56c36f0d942b5e216158f168919cf1473afe6a789fc6d3f1e7e549131ae352"
37 "sha512=c9a9ff7feca35c69a6922600d9beb2541fcfc584c87ea4cbfcd5c7b7aed8aa29e4228687891b9e6c464b4cde17fc3ff1b57849625320d5d597394361322ec5b8"
38 ]
39}