update opam file

Author: fblanqui

lambdapi-stdlib.opam

@@ -1,19 +1,9 @@
 opam-version: "2.0"
 synopsis: "Standard library of Lambdapi"
 description: """
-This package provides a Lambdapi library on natural numbers,
-integers and polymorphic lists (in intuitionistic first-order logic).
-It provides the following modules:
-- Stdlib.Set: type of set codes
-- Stdlib.Prop: propositional logic
-- Stdlib.Eq: Leibniz equality
-- Stdlib.FOL: first-order logic
-- Stdlib.Bool: booleans
-- Stdlib.Nat: natural numbers
-- Stdlib.List: polymorphic lists
-- Stdlib.Comp: comparison result data type
-- Stdlib.Pos: binary positive numbers
-- Stdlib.Z: integers
+This Lambdapi library provides modules for defining logics, metatheorems of
+classical logic, functions and properties on basic inductive types like
+natural numbers (in base 1 and 2), integers and polymorphic lists.
 """
 maintainer: ["frederic.blanqui@inria.fr"]
 authors: ["Frédéric Blanqui" "Quentin Buzet" "Quentin Garchery"]
@@ -24,5 +14,5 @@ dev-repo: "git+https://github.com/Deducteam/lambdapi-stdlib.git"
 build: [ make ]
 install: [ make "install" ]
 depends: [
-  "lambdapi" {>= "2.6.0"}
+  "lambdapi" {>= "3.0.0"}
 ]