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