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.3.tar.gz"
40 checksum: [
41 "md5=f61df38aca143d539154e90e88a897a4"
42 "sha512=34e2bdb9b1aa0908e842a5f64be8b0c1a6cde81b8ef17b0d44167f18cc1ad02d5112a68d51eb1c147bffda95af785e972bb8b62e969ea0e7a283a68baf08eaac"
43 ]
44}