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 "alcotest" {with-test}
53 "qcheck-alcotest" {with-test}
54 "qcheck" {with-test}
55 "odoc" {with-doc}
56]
57build: [
58 ["dune" "subst"] {dev}
59 [
60 "dune"
61 "build"
62 "-p"
63 name
64 "-j"
65 jobs
66 "@install"
67 "@runtest" {with-test}
68 "@doc" {with-doc}
69 ]
70]
71dev-repo: "git+https://github.com/darrenldl/docfd.git"
72pin-depends: [
73 [ "nottui.0.3" "git+https://github.com/let-def/lwd.git#a337a778001e6c1dbaed7e758c9e05f300abd388" ]
74]
75
76url {
77 src:
78 "https://github.com/darrenldl/docfd/releases/download/2.2.0/2.2.0.tar.gz"
79 checksum:
80 "sha256=334e1d0ecd545aca18ed05dc597b851e362fc090c2d09f40f3723a05b36c5ecf"
81}
82