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 "ocaml" {>= "4.08"}
10 "dune" {>= "2.7"}
11 "astring" {>= "0.8.0"}
12 "cohttp-lwt-unix" {>= "2.5.0"}
13 "clap" {>= "0.1.0"}
14 "ezxmlm" {>= "1.1.0"}
15 "lwt_ppx" {>= "2.0.0"}
16 "lwt" {>= "5.3.0"}
17 ("tls" {>= "0.12.0" & < "0.16"} | "tls-lwt" {< "1.0.0"})
18]
19build: [
20 ["dune" "subst"] {dev}
21 ["dune" "build" "-p" name "-j" jobs "@install"]
22]
23dev-repo: "git+https://github.com/mseri/doi2bib.git"
24url {
25 src:
26 "https://github.com/mseri/doi2bib/releases/download/0.1.4/doi2bib-0.1.4.tbz"
27 checksum: [
28 "md5=4e31c4107d9880028f662e865f4b0327"
29 "sha512=2801adbdae561506af46b2f800ce5a180a35c7a585d3d8a83bd79766c86b42964797626be481a7662b617fab41b02316c9a15873e96ae077dbf7c0665193b0a6"
30 ]
31}