this repo has no description
Merge pull request #27675 from Lelio-Brun/release-obelisk-v0.8.1
[new release] obelisk (0.8.1)
authored by
Marcello Seri
and committed by
GitHub
615e610e
8aa5b9bd
+42
+42
packages/obelisk/obelisk.0.8.1/opam
+42
packages/obelisk/obelisk.0.8.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Pretty-printing for Menhir files"
3
+
description: """
4
+
Obelisk is a simple tool which produces pretty-printed output from a Menhir parser file (.mly).
5
+
It is inspired from yacc2latex and is also written in OCaml, but is aimed at supporting features from Menhir instead of only those of ocamlyacc."""
6
+
maintainer: ["Lélio Brun <lb@leliobrun.net>"]
7
+
authors: ["Lélio Brun"]
8
+
license: "MIT"
9
+
homepage: "https://github.com/Lelio-Brun/Obelisk"
10
+
doc: "https://github.com/Lelio-Brun/Obelisk/blob/master/README.md"
11
+
bug-reports: "https://github.com/Lelio-Brun/obelisk/issues"
12
+
depends: [
13
+
"dune" {>= "2.7"}
14
+
"ocaml" {>= "4.08"}
15
+
"menhir" {>= "20190613"}
16
+
"re" {>= "1.7.2"}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://github.com/Lelio-Brun/obelisk.git"
34
+
url {
35
+
src:
36
+
"https://github.com/Lelio-Brun/Obelisk/releases/download/v0.8.1/obelisk-0.8.1.tbz"
37
+
checksum: [
38
+
"sha256=fd0aee7700cadd6b9595716a3899a90324504273a5f60fd465866da93a3976a2"
39
+
"sha512=90c0bb6e6f98dad821c1cf545c4bfaa21187a0dbb62247c3dd18d5bea79006274e3b3e482db70c0e584bc34e26cf1ac7bb1cf80a016c167892f3bcc9c1875c4b"
40
+
]
41
+
}
42
+
x-commit-hash: "3b8cb17133628f9689e5656ff9d7f99bdcc6e68f"