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.1"}
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.1.tar.gz"
40 checksum: [
41 "md5=c3732a371c6372d0f278b741ff86e853"
42 "sha512=78733fd0f43bc32f6a7974c517697b667701b1c1c91b6213f0b2542f3b42e557db6f580e01ba380c2980203fc89a9cb356752b807ebe6f4f648a1998aeee896a"
43 ]
44}