commit 21a03ce4d9b729d0376140b90d9994088f9504d5 · anil.recoil.org/opam-repository

+3

packages/coq/coq.8.13.0/opam

···

       27
       27
        
         "conf-findutils" {build}

     

       28
       28
        
         "zarith" {>= "1.10"}

     

       29
       29
        
       ]

     

       30
       30
       +
       conflicts: [

     

       31
       31
       +
         "ocaml-option-nnp"

     

       32
       32
       +
       ]

     

       30
       33
        
       build: [

     

       31
       34
        
         [

     

       32
       35
        
           "./configure"

+3

packages/coq/coq.8.13.1/opam

···

       27
       27
        
         "conf-findutils" {build}

     

       28
       28
        
         "zarith" {>= "1.10"}

     

       29
       29
        
       ]

     

       30
       30
       +
       conflicts: [

     

       31
       31
       +
         "ocaml-option-nnp"

     

       32
       32
       +
       ]

     

       30
       33
        
       build: [

     

       31
       34
        
         [

     

       32
       35
        
           "./configure"

+3

packages/coq/coq.8.13.2/opam

···

       27
       27
        
         "conf-findutils" {build}

     

       28
       28
        
         "zarith" {>= "1.10"}

     

       29
       29
        
       ]

     

       30
       30
       +
       conflicts: [

     

       31
       31
       +
         "ocaml-option-nnp"

     

       32
       32
       +
       ]

     

       30
       33
        
       build: [

     

       31
       34
        
         [

     

       32
       35
        
           "./configure"