···

       
36
       
36
       
 
       
Comby-kernel is the library that exposes the core matching engine for the comby application tool.

     

       
37
       
37
       
 
       
"""

     

       
38
       
38
       
 
       
url {

     

       
39
       
39
       
-
       
  src: "https://github.com/comby-tools/comby/archive/1.7.0.tar.gz"

     

       
39
       
39
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/comby-kernel.1.7.0.tar.gz"

     

       
40
       
40
       
 
       
  checksum: [

     

       
41
       
41
       
 
       
    "md5=ee6556d8bd9b25ed0445ebe23862e48a"

     

       
42
       
42
       
 
       
    "sha512=e6386c8ce5ef14bbcab2b0ead5b1edc39375438f56330d5f02e81e467afe6623a7e299f97f26008d77bbc62850c6dc63a7cbe5b81671b5183ff3adeee5946bb3"

     

···

       
33
       
33
       
 
       
An early-stage library that interfaces with external services to provide semantic information of programs for the comby application tool."

     

       
34
       
34
       
 
       
"""

     

       
35
       
35
       
 
       
url {

     

       
36
       
36
       
-
       
  src: "https://github.com/comby-tools/comby/archive/1.7.0.tar.gz"

     

       
36
       
36
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/comby-kernel.1.7.0.tar.gz"

     

       
37
       
37
       
 
       
  checksum: [

     

       
38
       
38
       
 
       
    "md5=ee6556d8bd9b25ed0445ebe23862e48a"

     

       
39
       
39
       
 
       
    "sha512=e6386c8ce5ef14bbcab2b0ead5b1edc39375438f56330d5f02e81e467afe6623a7e299f97f26008d77bbc62850c6dc63a7cbe5b81671b5183ff3adeee5946bb3"

     

···

       
54
       
54
       
 
       
braces or parentheses), strings (e.g., delimited by quotes), and so on.

     

       
55
       
55
       
 
       
"""

     

       
56
       
56
       
 
       
url {

     

       
57
       
57
       
-
       
  src: "https://github.com/comby-tools/comby/archive/1.7.0.tar.gz"

     

       
57
       
57
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/comby-kernel.1.7.0.tar.gz"

     

       
58
       
58
       
 
       
  checksum: [

     

       
59
       
59
       
 
       
    "md5=ee6556d8bd9b25ed0445ebe23862e48a"

     

       
60
       
60
       
 
       
    "sha512=e6386c8ce5ef14bbcab2b0ead5b1edc39375438f56330d5f02e81e467afe6623a7e299f97f26008d77bbc62850c6dc63a7cbe5b81671b5183ff3adeee5946bb3"