commit 281896342ae2cd02d3130a2bcb5d17ed5679247f · anil.recoil.org/opam-repository

+1

packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam

···

       28
        
       ]

     

       29
        
       conflicts: [

     

       30
        
         "coq" {< "8.11"}

     

       0
        
       
     

       31
        
       ]

     

       32
        
       tags: [

     

       33
        
         "keyword:compilation"

···

       28
        
       ]

     

       29
        
       conflicts: [

     

       30
        
         "coq" {< "8.11"}

     

       31
       +
         "coq-core"

     

       32
        
       ]

     

       33
        
       tags: [

     

       34
        
         "keyword:compilation"

+1

packages/zenon/zenon.0.8.4/opam

···

       12
        
       ]

     

       13
        
       conflicts: [

     

       14
        
         "coq" {>= "8.9"}

     

       0
        
       
     

       15
        
       ]

     

       16
        
       build: [

     

       17
        
         ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]

···

       12
        
       ]

     

       13
        
       conflicts: [

     

       14
        
         "coq" {>= "8.9"}

     

       15
       +
         "coq-core"

     

       16
        
       ]

     

       17
        
       build: [

     

       18
        
         ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]

+3

packages/zenon/zenon.0.8.5/opam

···

       10
        
       depopts: [

     

       11
        
         "coq" {>= "8.6"}

     

       12
        
       ]

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       13
        
       build: [

     

       14
        
         ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]

     

       15
        
         [make]

···

       10
        
       depopts: [

     

       11
        
         "coq" {>= "8.6"}

     

       12
        
       ]

     

       13
       +
       conflicts: [

     

       14
       +
         "coq-core"

     

       15
       +
       ]

     

       16
        
       build: [

     

       17
        
         ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]

     

       18
        
         [make]