this repo has no description
Merge pull request #18435 from mseri/release-doi2bib-0.4.0
[new release] doi2bib (0.4.0)
+43
+43
packages/doi2bib/doi2bib.0.4.0/opam
+43
packages/doi2bib/doi2bib.0.4.0/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
+
"decompress" {>= "1.3.0"}
16
+
"ezxmlm" {>= "1.1.0"}
17
+
"tls" {>= "0.12.0"}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/mseri/doi2bib.git"
35
+
x-commit-hash: "31191edebc0128d0500ce0f08e2990d997a14057"
36
+
url {
37
+
src:
38
+
"https://github.com/mseri/doi2bib/releases/download/0.4.0/doi2bib-0.4.0.tbz"
39
+
checksum: [
40
+
"sha256=7554267255c77b2e7fd14dff54f0b21b1e8bf8cde95a4e20177b7a2be36d6d97"
41
+
"sha512=b5073b8ee009ddc429e81bcd6f92ab3765e253a48b0b5963d56be8d2e908967e28800f86354855be711607754fb12efa099078e6e5a743b43a21dea80f6dca80"
42
+
]
43
+
}