this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Setting time and memory limits for your program"
3description: """
4This is a small library of utilities used by Semgrep and
5a few other projects developed at r2c to control the
6time and memory used by Semgrep.
7"""
8
9maintainer: "Yoann Padioleau <pad@r2c.dev>"
10authors: [ "Yoann Padioleau <pad@r2c.dev>" ]
11license: "LGPL-2.1-only"
12homepage: "https://semgrep.dev"
13dev-repo: "git+https://github.com/returntocorp/semgrep"
14bug-reports: "https://github.com/returntocorp/semgrep/issues"
15
16depends: [
17 "ocaml" {>= "4.12.0"}
18 "dune" {>= "3.2.0" }
19 "commons" {>= "1.5.5"}
20]
21
22build: ["dune" "build" "-p" name "-j" jobs]
23url {
24 src: "https://github.com/returntocorp/sgrep/archive/refs/tags/1.5.5.tar.gz"
25 checksum: [
26 "md5=3536f6162fec35b13072e8fd84c4e985"
27 "sha512=89cdda71fe2036b94ae6142f55f1a55d8d142ec3c9e49206b5a91f5f217984fd5b7564a165011dd845f5b50f32a29d3b969dc404c41d6e140a81cb7106c1ac7b"
28 ]
29}