commit 00529449cdce04828b45cad0f6c58427dca39534 · anil.recoil.org/opam-repository

+44

packages/doculib/doculib.1.3.2/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis:

     

       4
       4
       +
         "A GUI for tagging and managing document metadata for books, textbooks, or articles"

     

       5
       5
       +
       description:

     

       6
       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."

     

       7
       7
       +
       maintainer: ["nguermond@proton.me"]

     

       8
       8
       +
       authors: ["Nathan Guermond"]

     

       9
       9
       +
       license: "GPL-3.0-or-later"

     

       10
       10
       +
       homepage: "https://github.com/nguermond/doculib"

     

       11
       11
       +
       bug-reports: "https://github.com/nguermond/doculib/issues"

     

       12
       12
       +
       depends: [

     

       13
       13
       +
         "dune" {>= "2.9"}

     

       14
       14
       +
         "cohttp-lwt-unix" {>= "2.5.0"}

     

       15
       15
       +
         "metadb" {= "1.0.2"}

     

       16
       16
       +
         "lablgtk3" {>= "3.1.2"}

     

       17
       17
       +
         "ocaml" {>= "4.12.0"}

     

       18
       18
       +
         "tls" {>= "0.13.0"}

     

       19
       19
       +
         "odoc" {with-doc}

     

       20
       20
       +
       ]

     

       21
       21
       +
       build: [

     

       22
       22
       +
         ["dune" "subst"] {dev}

     

       23
       23
       +
         [

     

       24
       24
       +
           "dune"

     

       25
       25
       +
           "build"

     

       26
       26
       +
           "-p"

     

       27
       27
       +
           name

     

       28
       28
       +
           "-j"

     

       29
       29
       +
           jobs

     

       30
       30
       +
           "--promote-install-files=false"

     

       31
       31
       +
           "@install"

     

       32
       32
       +
           "@runtest" {with-test}

     

       33
       33
       +
           "@doc" {with-doc}

     

       34
       34
       +
         ]

     

       35
       35
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       36
       36
       +
       ]

     

       37
       37
       +
       dev-repo: "git+https://github.com/nguermond/doculib.git"

     

       38
       38
       +
       url {

     

       39
       39
       +
         src: "https://github.com/nguermond/doculib/archive/v1.3.2.tar.gz"

     

       40
       40
       +
         checksum: [

     

       41
       41
       +
           "md5=2cb8275e9ba5d90b6f46d148c947d024"

     

       42
       42
       +
           "sha512=67b6f0ff1e2fa8419037510c4c3ccd68ddeda98816233849908f69e765ad9d98392c80e985605be6e711a7cfe2321cb6fd243790c916b9d1dcd67b66f7eb858e"

     

       43
       43
       +
         ]

     

       44
       44
       +
       }

+42

packages/metadb/metadb.1.0.2/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis: "A database for storing and managing file metadata in JSON format"

     

       4
       4
       +
       description:

     

       5
       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."

     

       6
       6
       +
       maintainer: ["nguermond@proton.me"]

     

       7
       7
       +
       authors: ["Nathan Guermond"]

     

       8
       8
       +
       license: "GPL-3.0-or-later"

     

       9
       9
       +
       homepage: "https://github.com/nguermond/metadb"

     

       10
       10
       +
       doc: "https://nguermond.github.io/metadb/docs/metadb"

     

       11
       11
       +
       bug-reports: "https://github.com/nguermond/metadb/issues"

     

       12
       12
       +
       depends: [

     

       13
       13
       +
         "dune" {>= "2.9"}

     

       14
       14
       +
         "fileutils" {>= "0.5.3"}

     

       15
       15
       +
         "yojson" {>= "2.0.0"}

     

       16
       16
       +
         "ocaml" {>= "4.13.0"}

     

       17
       17
       +
         "odoc" {with-doc}

     

       18
       18
       +
       ]

     

       19
       19
       +
       build: [

     

       20
       20
       +
         ["dune" "subst"] {dev}

     

       21
       21
       +
         [

     

       22
       22
       +
           "dune"

     

       23
       23
       +
           "build"

     

       24
       24
       +
           "-p"

     

       25
       25
       +
           name

     

       26
       26
       +
           "-j"

     

       27
       27
       +
           jobs

     

       28
       28
       +
           "--promote-install-files=false"

     

       29
       29
       +
           "@install"

     

       30
       30
       +
           "@runtest" {with-test}

     

       31
       31
       +
           "@doc" {with-doc}

     

       32
       32
       +
         ]

     

       33
       33
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       34
       34
       +
       ]

     

       35
       35
       +
       dev-repo: "git+https://github.com/nguermond/metadb.git"

     

       36
       36
       +
       url {

     

       37
       37
       +
         src: "https://github.com/nguermond/metadb/archive/v1.0.2.tar.gz"

     

       38
       38
       +
         checksum: [

     

       39
       39
       +
           "md5=354076cc92a7f9ce93c6df3b20325506"

     

       40
       40
       +
           "sha512=dd8cbed5688d094a2bf6d082363298de6670aaf2f2ff76ddc7d36e93814aed1ceb1017f4c610e4551614ff2a619eca995d61009a6ec0e3c0828a007394f74a3e"

     

       41
       41
       +
         ]

     

       42
       42
       +
       }