this repo has no description
Merge pull request #25510 from darrenldl/publish-docfd-3.0.0
[new release] Docfd 3.0.0
authored by
Marcello Seri
and committed by
GitHub
232366c2
ae4dfb45
+82
+82
packages/docfd/docfd.3.0.0/opam
+82
packages/docfd/docfd.3.0.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "TUI multiline fuzzy document finder"
4
+
description: """
5
+
6
+
Think interactive grep for text files, PDFs, DOCXs, etc,
7
+
but word/token based instead of regex and line based,
8
+
so you can search across lines easily.
9
+
10
+
Docfd aims to provide good UX via integration with common text editors
11
+
and PDF viewers,
12
+
so you can jump directly to a search result with a single key press.
13
+
14
+
Features:
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
+
"""
26
+
maintainer: ["Darren Li"]
27
+
authors: ["Darren Li"]
28
+
license: "MIT"
29
+
tags: ["fuzzy" "document" "finder"]
30
+
homepage: "https://github.com/darrenldl/docfd"
31
+
doc: "https://github.com/darrenldl/docfd"
32
+
bug-reports: "https://github.com/darrenldl/docfd/issues"
33
+
depends: [
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
+
"ocolor"
45
+
"cmdliner" {>= "1.1.0"}
46
+
"eio" {>= "0.10"}
47
+
"domainslib" {>= "0.5.0"}
48
+
"digestif"
49
+
"yojson" {>= "2.0.2"}
50
+
"eio_main"
51
+
"containers-data"
52
+
"timedesc" {>= "2.0.0"}
53
+
"alcotest" {with-test}
54
+
"qcheck-alcotest" {with-test}
55
+
"qcheck" {with-test}
56
+
"odoc" {with-doc}
57
+
]
58
+
dev-repo: "git+https://github.com/darrenldl/docfd.git"
59
+
build: [
60
+
["dune" "subst"] {dev}
61
+
[
62
+
"dune"
63
+
"build"
64
+
"-p"
65
+
name
66
+
"-j"
67
+
jobs
68
+
"@install"
69
+
"@doc" {with-doc}
70
+
]
71
+
]
72
+
pin-depends: [
73
+
[ "nottui.0.3" "git+https://github.com/let-def/lwd.git#a337a778001e6c1dbaed7e758c9e05f300abd388" ]
74
+
]
75
+
76
+
url {
77
+
src:
78
+
"https://github.com/darrenldl/docfd/releases/download/3.0.0/3.0.0.tar.gz"
79
+
checksum:
80
+
"sha256=6f03f7cc9657051e78cf9af132c542fb194b68422023449182f274e92cc1561c"
81
+
}
82
+