this repo has no description
Merge pull request #24764 from jasontatton/opam-publish-errpy.0.0.10
Package errpy.0.0.10
authored by
Marcello Seri
and committed by
GitHub
94fc188d
79dc470c
+40
+40
packages/errpy/errpy.0.0.10/opam
+40
packages/errpy/errpy.0.0.10/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Errpy: An Error Recovering Python Parser implemented in Rust"
4
+
description:
5
+
"This is a new project to provide an error-recovering Python parser, implemented in Rust based on tree-sitter. Our short-term goal is to use it in the pyre type checker, in order to provide better IDE features."
6
+
maintainer: ["pyre@meta.com"]
7
+
authors: ["pyre@meta.com"]
8
+
license: "MIT"
9
+
homepage: "https://github.com/facebook/errpy"
10
+
bug-reports: "https://github.com/facebook/errpy/issues"
11
+
depends: [
12
+
"ocaml" {>= "4.05"}
13
+
"dune" {>= "3.4"}
14
+
"ppx_deriving"
15
+
"conf-rust-2021" {build}
16
+
"ounit2" {with-test}
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/facebook/errpy.git"
34
+
url {
35
+
src: "https://github.com/facebook/errpy/archive/refs/tags/0.0.10.tar.gz"
36
+
checksum: [
37
+
"md5=97f5b88b66cebadfa7bbaacb3eae3366"
38
+
"sha512=32cf106c59266eb6a119c47029adb4a95336534dc2cfc781b179292d6c123e5215c0b7ceb700ed86a7b96068b0ff95f93fd3c466423edee71bd436fefbca7232"
39
+
]
40
+
}