this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A database for storing and managing file metadata in JSON format"
4description:
5 "Metadb is a library to locally store and manipulate a JSON database of file metadata. A key feature of Metadb is that a user may rename or move files within or between libraries, and Metadb will resolve missing or renamed files according to their MD5 hash. Metadb can also find duplicate files across libraries."
6maintainer: ["nguermond@proton.me"]
7authors: ["Nathan Guermond"]
8license: "GPL-3.0-or-later"
9homepage: "https://github.com/nguermond/doculib"
10doc: "https://nguermond.github.io/doculib/docs/metadb"
11bug-reports: "https://github.com/nguermond/doculib/issues"
12depends: [
13 "dune" {>= "2.9"}
14 "fileutils" {>= "0.5.3"}
15 "yojson" {>= "2.0.0"}
16 "ocaml" {>= "4.13.0"}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "--promote-install-files=false"
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33 ["dune" "install" "-p" name "--create-install-files" name]
34]
35dev-repo: "git+https://github.com/nguermond/doculib.git"
36url {
37 src: "https://github.com/nguermond/doculib/archive/v1.3.1.tar.gz"
38 checksum: [
39 "md5=c3732a371c6372d0f278b741ff86e853"
40 "sha512=78733fd0f43bc32f6a7974c517697b667701b1c1c91b6213f0b2542f3b42e557db6f580e01ba380c2980203fc89a9cb356752b807ebe6f4f648a1998aeee896a"
41 ]
42}