Package doculib.1.3.3

Author: nguermond

packages/doculib/doculib.1.3.3/opam

@@ -0,0 +1,44 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "A GUI for tagging and managing document metadata for books, textbooks, or articles"
+description:
+  "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."
+maintainer: ["[email protected]"]
+authors: ["Nathan Guermond"]
+license: "GPL-3.0-or-later"
+homepage: "https://github.com/nguermond/doculib"
+bug-reports: "https://github.com/nguermond/doculib/issues"
+depends: [
+  "dune" {>= "2.9"}
+  "cohttp-lwt-unix" {>= "2.5.0"}
+  "metadb" {= "1.0.2"}
+  "lablgtk3" {>= "3.1.2"}
+  "ocaml" {>= "4.12.0"}
+  "tls" {>= "0.13.0"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/nguermond/doculib.git"
+url {
+  src: "https://github.com/nguermond/doculib/archive/v1.3.3.tar.gz"
+  checksum: [
+    "md5=f61df38aca143d539154e90e88a897a4"
+    "sha512=34e2bdb9b1aa0908e842a5f64be8b0c1a6cde81b8ef17b0d44167f18cc1ad02d5112a68d51eb1c147bffda95af785e972bb8b62e969ea0e7a283a68baf08eaac"
+  ]
+}