this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Package dynamic_gc.0.1.0

+42
+42
packages/dynamic_gc/dynamic_gc.0.1.0/opam
··· 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 <nat@semgrep.com>"] 10 + authors: ["Nat Mote <nat@semgrep.com>"] 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" 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 + }