anil.recoil.org / opam-repository
this repo has no description
fork atom

lintcstubs.0.4.7: add goblint upper bound

Simmo Saan e4db7808 b6829c76

options
unified split
Changed files
+1 -1
packages
lintcstubs
lintcstubs.0.4.7
opam
+1 -1
packages/lintcstubs/lintcstubs.0.4.7/opam 
···

       
11

       
 

       
  "dune" {>= "3.0"}


     

       
12

       
 

       
  "ocaml" {>= "4.13"}


     

       
13

       
 

       
  "lintcstubs-gen" {= version}


     

       
14

       
-

       
  "goblint" {>= "2.1.0"}


     

       
15

       
 

       
  "goblint-cil"


     

       
16

       
 

       
  "dune-compiledb"


     

       
17

       
 

       
  "fpath"


     
···

       
11

       
 

       
  "dune" {>= "3.0"}


     

       
12

       
 

       
  "ocaml" {>= "4.13"}


     

       
13

       
 

       
  "lintcstubs-gen" {= version}


     

       
14

       
+

       
  "goblint" {>= "2.1.0" & < "2.2.0"}


     

       
15

       
 

       
  "goblint-cil"


     

       
16

       
 

       
  "dune-compiledb"


     

       
17

       
 

       
  "fpath"