···

       
61
       
 
       
  "odoc" {with-doc}

     

       
62
       
 
       
]

     

       
63
       
 
       
depopts: [

     

       
64
       
-
       
  "llvm" {>= "6.0.0" & < "13.0.0"}

     

       
65
       
 
       
  "unisim_archisec"

     

       
66
       
-
       
  "bitwuzla" {>= "1.0.1"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
67
       
 
       
]

     

       
68
       
 
       
build: [

     

       
69
       
 
       
  ["dune" "subst"] {dev}

     
···

       
89
       
 
       
    "sha512=e934d817dd3f23acb4fc59996a3f34d5c7080b19814f54c2164c36abdc047539637c97f1a222e78b549cd9754ac2a0a4a568ba600dc11548c6b25f3ec33c518e"

     

       
90
       
 
       
  ]

     

       
91
       
 
       
}

     

       
92
       
-
       
x-commit-hash: "b7474140946ca4e74e490c76540d5699dcc84f7a"
     

···

       
61
       
 
       
  "odoc" {with-doc}

     

       
62
       
 
       
]

     

       
63
       
 
       
depopts: [

     

       
64
       
+
       
  "llvm"

     

       
65
       
 
       
  "unisim_archisec"

     

       
66
       
+
       
  "bitwuzla"

     

       
67
       
+
       
]

     

       
68
       
+
       
conflicts: [

     

       
69
       
+
       
  "llvm" {< "6.0.0" | >= "13.0.0"}

     

       
70
       
+
       
  "bitwuzla" {< "1.0.1"}

     

       
71
       
 
       
]

     

       
72
       
 
       
build: [

     

       
73
       
 
       
  ["dune" "subst"] {dev}

     
···

       
93
       
 
       
    "sha512=e934d817dd3f23acb4fc59996a3f34d5c7080b19814f54c2164c36abdc047539637c97f1a222e78b549cd9754ac2a0a4a568ba600dc11548c6b25f3ec33c518e"

     

       
94
       
 
       
  ]

     

       
95
       
 
       
}

     

       
96
       
+
       
x-commit-hash: "b7474140946ca4e74e490c76540d5699dcc84f7a"