···

       
15
       
15
       
 
       
  "conf-cmake" {build}

     

       
16
       
16
       
 
       
  "conf-python-3" {build}

     

       
17
       
17
       
 
       
  "conf-python-3-dev" {build}

     

       
18
       
18
       
+
       
  "conf-python3-pyparsing" {build}

     

       
19
       
19
       
+
       
  "conf-python3-tomli" {build}

     

       
18
       
20
       
 
       
  "odoc" {with-doc}

     

       
19
       
21
       
 
       
]

     

       
20
       
22
       
 
       
build: [

     
···

       
36
       
38
       
 
       
  src:

     

       
37
       
39
       
 
       
    "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.2.0/ocaml-cvc5-v1.2.0.tar.gz"

     

       
38
       
40
       
 
       
  checksum: [

     

       
39
       
39
       
-
       
    "md5=7bbd386569ee1350bf0d76282db37ce7"

     

       
40
       
40
       
-
       
    "sha512=f128abf96eb08a888d7996ad8decb8fe4c553e6dee1eef41b7bb4a55e78e0295d82c02155feafb096847217becdf19285c7ee2fef27db3f4799bae01f99d42d5"

     

       
41
       
41
       
+
       
    "md5=f3bef1351994740ad6a11f55f77b4fbf"

     

       
42
       
42
       
+
       
    "sha512=2b526cf9cd9cb4b240466bd69d8608a2257e57930b07ebc99c57aa2633bde45d40f4e10797794cbcf6d9f7ca78dd91d4c3d54b516ac04f625518159b4189833a"

     

       
41
       
43
       
 
       
  ]

     

       
42
       
44
       
 
       
}