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.13.0"}
18 "ocamlgraph" {>= "1.8.1"}
19 "tls-lwt" {< "1.0.0"}
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "--promote-install-files=false"
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36 ["dune" "install" "-p" name "--create-install-files" name]
37]
38dev-repo: "git+https://github.com/nguermond/doculib.git"
39url {
40 src: "https://github.com/nguermond/doculib/archive/v1.3.5.tar.gz"
41 checksum: [
42 "md5=9477d43b91aa8ee8ba26de8c19cb6388"
43 "sha512=492341c7eab448e92a23bfadeed11b74c67b147c00d67bf195e276e19cfdef7b6225d7431c984bab1deb2b05133f4ec79119d7a1568ac933768e4d68cd4e72f4"
44 ]
45}