this repo has no description
Merge pull request #27691 from lukstafi/opam-publish-ppx_minidebug.2.2.0
Package ppx_minidebug.2.2.0
authored by
Marcello Seri
and committed by
GitHub
a946f3da
35ebc75e
+55
+55
packages/ppx_minidebug/ppx_minidebug.2.2.0/opam
+55
packages/ppx_minidebug/ppx_minidebug.2.2.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Debug logs for selected functions and let-bindings"
4
+
description:
5
+
"Formatted logs of let-bound values, function arguments and results; `if` and `match` branches taken. Optionally, as collapsible HTML trees with highlights."
6
+
maintainer: ["Lukasz Stafiniak <lukstafi@gmail.com>"]
7
+
authors: ["Lukasz Stafiniak"]
8
+
license: "LGPL-2.1-or-later"
9
+
tags: ["logger" "debugger" "printf debugging"]
10
+
homepage: "https://github.com/lukstafi/ppx_minidebug"
11
+
doc: "https://lukstafi.github.io/ppx_minidebug/ppx_minidebug"
12
+
bug-reports: "https://github.com/lukstafi/ppx_minidebug/issues"
13
+
depends: [
14
+
"ocaml" {>= "4.13"}
15
+
"dune" {>= "3.10"}
16
+
"ppx_deriving"
17
+
"ppx_sexp_conv"
18
+
"ppxlib" {>= "0.26.0"}
19
+
"printbox" {>= "0.12"}
20
+
"printbox-text" {>= "0.12"}
21
+
"printbox-html" {>= "0.12"}
22
+
"printbox-md" {>= "0.12"}
23
+
"ptime"
24
+
"mtime" {>= "2.0"}
25
+
"re"
26
+
"sexplib0"
27
+
"ppx_expect" {with-test & >= "v0.9.0"}
28
+
"odoc" {with-doc}
29
+
"thread-local-storage" {>= "0.2"}
30
+
"mdx" {>= "2.5.0"}
31
+
]
32
+
build: [
33
+
["dune" "subst"] {dev}
34
+
[
35
+
"dune"
36
+
"build"
37
+
"-p"
38
+
name
39
+
"-j"
40
+
jobs
41
+
"@install"
42
+
"@runtest" {with-test}
43
+
"@doc" {with-doc}
44
+
]
45
+
]
46
+
dev-repo: "git+https://github.com/lukstafi/ppx_minidebug.git"
47
+
x-maintenance-intent: ["(latest)"]
48
+
url {
49
+
src:
50
+
"https://github.com/lukstafi/ppx_minidebug/archive/refs/tags/2.2.0.tar.gz"
51
+
checksum: [
52
+
"md5=dc00173211702fe2dcb4ddd3c3b7b4cd"
53
+
"sha512=b7f6a89696985b9b7887bbe39f775a431559de3eb04369a46f7151bc55a321ddc7c3b17df2069f50f2126353916622289dbe00d88b562c33b62c05c4e4d0322d"
54
+
]
55
+
}