commit 71ded5f52bc36f0bd95eab261effae1e7c4de5ee · anil.recoil.org/opam-repository

+8

packages/frama-c-metacsl/frama-c-metacsl.0.8/opam

···

       56
       56
        
           "sha512=7bb1299fcddf005dae63ab334e83e890f50b0cf67d0ad842d0536584d0b911cdbaef6771d748e280651f8597c4719f175fe64b5250d80e1fd288125dea233635"

     

       57
       57
        
         ]

     

       58
       58
        
       }

     

       59
       59
       +
       

     

       60
       60
       +
       x-maintenance-intent: [

     

       61
       61
       +
         "(latest)"

     

       62
       62
       +
         "(latest-1)"

     

       63
       63
       +
         "(latest-2)"

     

       64
       64
       +
         "(latest-3)"

     

       65
       65
       +
         "(latest-4)"

     

       66
       66
       +
       ]

+8

packages/frama-c/frama-c.30.0/opam

···

       188
       188
        
       - run 'npm install --global yarn'" { success }

     

       189
       189
        
       ]

     

       190
       190
        
       

     

       191
       191
       +
       x-maintenance-intent: [

     

       192
       192
       +
         "(latest).(any)"

     

       193
       193
       +
         "(latest-1).(latest)"

     

       194
       194
       +
         "(latest-2).(latest)"

     

       195
       195
       +
         "(latest-3).(latest)"

     

       196
       196
       +
         "(latest-4).(latest)"

     

       197
       197
       +
       ]

     

       198
       198
       +
       

     

       191
       199
        
       url {

     

       192
       200
        
         src: "https://www.frama-c.com/download/frama-c-30.0-Zinc.tar.gz"

     

       193
       201
        
         checksum: "sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56"

+2

packages/frama-clang/frama-clang.0.0.17/opam

···

       46
       46
        
         ]

     

       47
       47
        
       }

     

       48
       48
        
       x-ci-accept-failures: ["debian-11" "ubuntu-20.04"]

     

       49
       49
       +
       

     

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