commit 8d9fbdae085ccc151d62c8c8d2e730978cd10806 · anil.recoil.org/opam-repository

+2 -2

packages/lambdapi/lambdapi.2.0.0/opam

···

       33
       33
        
       and typing goals, and tactics for solving them step by step.

     

       34
       34
        
       In particular, a rewrite tactic like in SSReflect, and

     

       35
       35
        
       a why3 tactic for calling external automated provers through

     

       36
       36
       -
       the Why3 platform."""

     

       36
       36
       +
       the Why3 platform.

     

       37
       37
       +
       """

     

       37
       38
        
       maintainer: ["dedukti-dev@inria.fr"]

     

       38
       39
        
       authors: ["Deducteam"]

     

       39
       40
        
       license: "CECILL-2.1"

     
···

       56
       57
        
         "stdlib-shims" {>= "0.1.0"}

     

       57
       58
        
         "odoc" {with-doc}

     

       58
       59
        
       ]

     

       59
       59
       -
       conflicts: [ "camlp-streams" ]

     

       60
       60
        
       build: [

     

       61
       61
        
         ["dune" "subst"] {dev}

     

       62
       62
        
         [

-1

packages/lambdapi/lambdapi.2.1.0/opam

···

       57
       57
        
         "stdlib-shims" {>= "0.1.0"}

     

       58
       58
        
         "odoc" {with-doc}

     

       59
       59
        
       ]

     

       60
       60
       -
       conflicts: [ "camlp-streams" ]

     

       61
       60
        
       build: [

     

       62
       61
        
         ["dune" "subst"] {dev}

     

       63
       62
        
         [

-1

packages/lambdapi/lambdapi.2.2.0/opam

···

       60
       60
        
         "stdlib-shims" {>= "0.1.0"}

     

       61
       61
        
         "odoc" {with-doc}

     

       62
       62
        
       ]

     

       63
       63
       -
       conflicts: [ "camlp-streams" ]

     

       64
       63
        
       build: [

     

       65
       64
        
         ["dune" "subst"] {dev}

     

       66
       65
        
         [