this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "TUI multiline fuzzy document finder"
4description: """
5
6Think interactive grep for both text files and PDFs,
7but word/token based instead of regex and line based,
8so you can search across lines easily.
9
10Docfd aims to provide good UX via integration with common text editors
11and PDF viewers,
12so you can jump directly to a search result with a single key press.
13
14Features:
15
16- Multithreaded indexing and searching
17
18- Multiline fuzzy search of multiple files or a single file
19
20- Swap between multi-file view and single file view on the fly
21
22- Content view pane that shows the snippet surrounding the search result selected
23
24- Text editor and PDF viewer integration
25 """
26maintainer: ["Darren Li"]
27authors: ["Darren Li"]
28license: "MIT"
29tags: ["fuzzy" "document" "finder"]
30homepage: "https://github.com/darrenldl/docfd"
31doc: "https://github.com/darrenldl/docfd"
32bug-reports: "https://github.com/darrenldl/docfd/issues"
33depends: [
34 "ocaml" {>= "5.1"}
35 "dune" {>= "3.4"}
36 "fmt" {>= "0.9.0"}
37 "angstrom" {>= "0.15.0"}
38 "containers" {>= "3.12"}
39 "oseq"
40 "spelll"
41 "notty"
42 "nottui" {= "0.3"}
43 "lwd"
44 "cmdliner" {>= "1.1.0"}
45 "eio" {>= "0.10"}
46 "domainslib" {>= "0.5.0"}
47 "digestif"
48 "yojson" {>= "2.0.2"}
49 "eio_main"
50 "containers-data"
51 "timedesc" {>= "2.0.0"}
52 "odoc" {with-doc}
53]
54build: [
55 ["dune" "subst"] {dev}
56 [
57 "dune"
58 "build"
59 "-p"
60 name
61 "-j"
62 jobs
63 "@install"
64 "@runtest" {with-test}
65 "@doc" {with-doc}
66 ]
67]
68dev-repo: "git+https://github.com/darrenldl/docfd.git"
69pin-depends: [
70 [ "nottui.0.3" "git+https://github.com/let-def/lwd.git#a337a778001e6c1dbaed7e758c9e05f300abd388" ]
71]
72
73url {
74 src:
75 "https://github.com/darrenldl/docfd/releases/download/2.1.0/2.1.0.tar.gz"
76 checksum:
77 "sha256=1e7f27e02c9becf1cb305d8e078022acce53c4010040e9a92693b5fec59de0ce"
78}
79