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

[frama-clang] add dev-repo: for 0.0.15

Virgile Prevosto 1e621173 2df9d23b

options
unified split
Changed files
+1
packages
frama-clang
frama-clang.0.0.15
opam
+1
packages/frama-clang/frama-clang.0.0.15/opam 
···

       
7

       
7

       
 

       
license: "LGPL-2.1-only"


     

       
8

       
8

       
 

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


     

       
9

       
9

       
 

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


     

       

       
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.2"}