···

       
40
       
40
       
 
       
  ["dune" "install" "-p" name "--create-install-files" name]

     

       
41
       
41
       
 
       
]

     

       
42
       
42
       
 
       
dev-repo: "git+https://git.frama-c.com/pub/why3find.git"

     

       
43
       
43
       
+
       
x-maintenance-intent: ["(latest)"]

     

       
43
       
44
       
 
       
url {

     

       
44
       
45
       
 
       
  src:

     

       
45
       
46
       
 
       
    "https://git.frama-c.com/pub/why3find/-/archive/1.1.1/why3find-1.1.1.tar.gz"

     
···

       
47
       
48
       
 
       
    "md5=1c67ccf5aecc83f64d70404eb85140b2"

     

       
48
       
49
       
 
       
    "sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e"

     

       
49
       
50
       
 
       
  ]

     

       
50
       
50
       
-
       
}
     

       
51
       
51
       
+
       
}