···

       
7
       
7
       
 
       
license: "LGPL-2.1-only"

     

       
8
       
8
       
 
       
tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]

     

       
9
       
9
       
 
       
homepage: "https://frama-c.com/frama-clang.html"

     

       
10
       
10
       
+
       
dev-repo: "git+https://git.frama-c.com/pub/frama-clang.git"

     

       
10
       
11
       
 
       
bug-reports: "https://git.frama-c.com/pub/frama-clang"

     

       
11
       
12
       
 
       
depends: [

     

       
12
       
13
       
 
       
  "dune" {>= "3.7" & != "3.13.0"}