this repo has no description
Merge pull request #27592 from ptrichr/opam-publish-synopsis.1.1
Package synopsis.1.1
authored by
Shon Feder
and committed by
GitHub
aa187e2a
d0371155
+39
+39
packages/synopsis/synopsis.1.1/opam
+39
packages/synopsis/synopsis.1.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Examines the parsetree"
4
+
description:
5
+
"Synopsis gathers information about a program's parsetree. Namely, module usage, definitions, and function calls."
6
+
maintainer: ["umd-cmsc330"]
7
+
authors: ["umd-cmsc330" "ptrichr"]
8
+
license: "MIT"
9
+
homepage: "https://github.com/umd-cmsc330/restriction-checker"
10
+
bug-reports: "https://github.com/umd-cmsc330/restriction-checker/issues"
11
+
depends: [
12
+
"ocaml" {>= "5.2.0"}
13
+
"dune" {>= "3.15"}
14
+
"ounit2" {>= "2.2.7"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/umd-cmsc330/restriction-checker.git"
32
+
url {
33
+
src:
34
+
"https://github.com/umd-cmsc330/restriction-checker/archive/refs/tags/1.1.tar.gz"
35
+
checksum: [
36
+
"md5=4fe9d55d90ea6619aaa9a15c816b12d7"
37
+
"sha512=a47d4d54b25e0a6edf7351e9b480d2fe5385225d6fc3381a82b2cfc3c0b5c25b1c4fcfb171cdbcc455400c21859b9cb9e3082edd8a9df9ccbe9ab40d8e04c72f"
38
+
]
39
+
}