Skip to content

Commit 780e186

Browse files
committed
Package dynamic_gc.0.2.0
1 parent 8106bcf commit 780e186

File tree

1 file changed

+42
-0
lines changed
  • packages/dynamic_gc/dynamic_gc.0.2.0

1 file changed

+42
-0
lines changed
Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
synopsis: "Dynamically adjust GC behavior based on memory usage"
4+
description: """
5+
A utility to dynamically adjust garbage collector behavior based
6+
on memory usage, allowing your application to prioritize improved
7+
run time when memory usage is low, but prioritize decreased memory
8+
usage when memory usage is high."""
9+
maintainer: ["Nat Mote <[email protected]>"]
10+
authors: ["Nat Mote <[email protected]>"]
11+
license: "MIT"
12+
tags: ["garbage collector" "gc"]
13+
homepage: "https://github.com/semgrep/dynamic-gc"
14+
doc: "https://github.com/semgrep/dynamic-gc"
15+
bug-reports: "https://github.com/semgrep/dynamic-gc/issues"
16+
depends: [
17+
"dune" {>= "3.17"}
18+
"ocaml" {>= "4.08.0"}
19+
"odoc" {with-doc}
20+
]
21+
build: [
22+
["dune" "subst"] {dev}
23+
[
24+
"dune"
25+
"build"
26+
"-p"
27+
name
28+
"-j"
29+
jobs
30+
"@install"
31+
"@runtest" {with-test}
32+
"@doc" {with-doc}
33+
]
34+
]
35+
dev-repo: "git+https://github.com/semgrep/dynamic-gc.git"
36+
url {
37+
src: "https://github.com/semgrep/dynamic-gc/archive/refs/tags/0.2.0.tar.gz"
38+
checksum: [
39+
"md5=24331e2e4b4de01f42b6d1748d204c56"
40+
"sha512=a2a2739f40791ec713d2b5024462c7ac6510d511b17c4294597af9b7a392ab6ffae60478eed9231f19c169b2f6511479eff5bf8fa75f9e245540ebbfa8a23bbc"
41+
]
42+
}

0 commit comments

Comments
 (0)