this repo has no description
Merge pull request #20638 from mseri/release-doi2bib-0.6.1
[new release] doi2bib (0.6.1)
authored by
Marcello Seri
and committed by
GitHub
109211cb
bd6bdfd7
+45
+45
packages/doi2bib/doi2bib.0.6.1/opam
+45
packages/doi2bib/doi2bib.0.6.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID"
4
+
maintainer: ["marcello.seri@gmail.com"]
5
+
authors: ["Marcello Seri"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/mseri/doi2bib"
8
+
bug-reports: "https://github.com/mseri/doi2bib/issues"
9
+
depends: [
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"}
20
+
"re" {>= "1.0.0"}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
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
+
]
36
+
dev-repo: "git+https://github.com/mseri/doi2bib.git"
37
+
url {
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
+
}
45
+
x-commit-hash: "5a01c38429687ecf79419a3f52a2e151fdfd9d75"