commit b1ed080260d9fb3332ffd1ed74a70b40f8d46d66 · anil.recoil.org/opam-repository

+1

packages/coq/coq.8.13.0/opam

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       0
        
       
     

       32
        
       ]

     

       33
        
       build: [

     

       34
        
         [

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       32
       +
         "ocaml-option-nnpchecker"

     

       33
        
       ]

     

       34
        
       build: [

     

       35
        
         [

+1

packages/coq/coq.8.13.1/opam

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       0
        
       
     

       32
        
       ]

     

       33
        
       build: [

     

       34
        
         [

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       32
       +
         "ocaml-option-nnpchecker"

     

       33
        
       ]

     

       34
        
       build: [

     

       35
        
         [

+1

packages/coq/coq.8.13.2/opam

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       0
        
       
     

       32
        
       ]

     

       33
        
       build: [

     

       34
        
         [

···

       29
        
       ]

     

       30
        
       conflicts: [

     

       31
        
         "ocaml-option-nnp"

     

       32
       +
         "ocaml-option-nnpchecker"

     

       33
        
       ]

     

       34
        
       build: [

     

       35
        
         [