Skip to content

Commit a40ffcb

Browse files
authored
Merge pull request #27611 from nmote/opam-publish-dynamic_gc.0.1.0
Package dynamic_gc.0.1.0
2 parents a3d2014 + 63e56b1 commit a40ffcb

File tree

1 file changed

+42
-0
lines changed
  • packages/dynamic_gc/dynamic_gc.0.1.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.1.0.tar.gz"
38+
checksum: [
39+
"md5=072dbfbbb154bffbc1dd927e86631352"
40+
"sha512=e30da32d2dc1413b201678cb21d802934db750c21a1ad3f3dd75902ea998296df77ad3f3f401f4c9bc6c4bae958246f3be2b518e2fd15dd08cf9a66a32d9666d"
41+
]
42+
}

0 commit comments

Comments
 (0)