this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis:
4 "A GUI for tagging and managing document metadata for books, textbooks, or articles"
5description:
6 "DocuLib manages locally stored libraries of books, textbooks, or articles by keeping track of data such as authors, title, year, tags, and DOI/ISBN. Metadata can be searched through openlibrary.org and semanticscholar.org. DocuLib automatically detects renamed, moved, and duplicate files."
7maintainer: ["nguermond@proton.me"]
8authors: ["Nathan Guermond"]
9license: "GPL-3.0-or-later"
10homepage: "https://github.com/nguermond/doculib"
11bug-reports: "https://github.com/nguermond/doculib/issues"
12depends: [
13 "dune" {>= "2.9"}
14 "cohttp-lwt-unix" {>= "2.5.0"}
15 "metadb" {= "1.0.2"}
16 "lablgtk3" {>= "3.1.2"}
17 "ocaml" {>= "4.12.0"}
18 "tls" {>= "0.13.0" & < "1.0.0"}
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "--promote-install-files=false"
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35 ["dune" "install" "-p" name "--create-install-files" name]
36]
37dev-repo: "git+https://github.com/nguermond/doculib.git"
38url {
39 src: "https://github.com/nguermond/doculib/archive/v1.3.4.tar.gz"
40 checksum: [
41 "md5=81257408b0b7fda315874524b6763873"
42 "sha512=c1df6ee99ba2552d3c76f518bdfcdcf3b032f74b805b35deaa71d349f7ff40dcad06f1eddaf008a44defbde90de4463a42ae1184703981e9e986b31a462cb6fc"
43 ]
44}