commit 5114feaf36e3735c6a5def87485d58a854d4077e · anil.recoil.org/opam-repository

+1 -1

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

···

       14
       14
        
         [make "-C" "proofs" "install"] {coq:installed}

     

       15
       15
        
       ]

     

       16
       16
        
       depends: [

     

       17
       17
       -
         "angstrom"

     

       17
       17
       +
         "angstrom" {>= "0.15.0"}

     

       18
       18
        
         "csexp"

     

       19
       19
        
         "dune" {>= "2.8"}

     

       20
       20
        
         "ocaml" {>= "4.12" & < "4.13"}

+1 -1

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

···

       14
       14
        
         [make "-C" "proofs" "install"] {coq:installed}

     

       15
       15
        
       ]

     

       16
       16
        
       depends: [

     

       17
       17
       -
         "angstrom"

     

       17
       17
       +
         "angstrom" {>= "0.15.0"}

     

       18
       18
        
         "csexp"

     

       19
       19
        
         "dune" {>= "2.9"}

     

       20
       20
        
         "ocaml" {>= "4.13" & < "4.14"}

+1 -1

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

···

       14
       14
        
         [make "-C" "proofs" "install"] {coq:installed}

     

       15
       15
        
       ]

     

       16
       16
        
       depends: [

     

       17
       17
       -
         "angstrom"

     

       17
       17
       +
         "angstrom" {>= "0.15.0"}

     

       18
       18
        
         "csexp"

     

       19
       19
        
         "dune" {>= "2.9"}

     

       20
       20
        
         "ocaml" {>= "4.14" & < "4.15"}