this repo has no description
Merge pull request #25131 from gborough/opam-publish-sarif.0.3.0
Package sarif.0.3.0
authored by
Marcello Seri
and committed by
GitHub
07d2cb52
464ce043
+46
+46
packages/sarif/sarif.0.3.0/opam
+46
packages/sarif/sarif.0.3.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Static Analysis Results Interchange Format (SARIF) Version 2.1.0"
4
+
description:
5
+
"Static Analysis Results Interchange Format (SARIF) Version 2.1.0"
6
+
maintainer: ["geoffrey.borough@outlook.com"]
7
+
authors: ["Geoffrey Borough"]
8
+
license: "MIT"
9
+
tags: ["sarif"]
10
+
homepage: "https://github.com/gborough/sarif"
11
+
doc: "https://gborough.github.io/sarif/sarif"
12
+
bug-reports: "https://github.com/gborough/sarif/issues"
13
+
depends: [
14
+
"ocaml" {>= "4.14.0"}
15
+
"dune" {>= "3.12"}
16
+
"re"
17
+
"atdgen" {>= "2.10.0"}
18
+
"atdgen-runtime" {>= "2.10.0"}
19
+
"timedesc"
20
+
"ppx_expect" {with-test}
21
+
"ppx_deriving"
22
+
"uri" {>= "4.4.0"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
dev-repo: "git+https://github.com/gborough/sarif.git"
40
+
url {
41
+
src: "https://github.com/gborough/sarif/archive/refs/tags/0.3.0.tar.gz"
42
+
checksum: [
43
+
"md5=5b3df87824e7c02511f6cb97d4399235"
44
+
"sha512=af522d8138126ab0b809dcd31a0a0bfd4d3fb6a8db17be1f83707a4f48bec1c82065c31fc462dbdd646c8e491404e2407f2622c1372c45b1e328d7037d05fd6a"
45
+
]
46
+
}