commit 45b87443a4051615dfda941d2048b7332ceb43ae · anil.recoil.org/opam-repository

+6 -1

packages/atd/atd.1.0.2/opam

···

       3
       3
        
       homepage: "https://github.com/MyLifeLabs/atd"

     

       4
       4
        
       build: make

     

       5
       5
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       6
       6
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       6
       6
       +
       depends: [

     

       7
       7
       +
         "ocaml"

     

       8
       8
       +
         "ocamlfind"

     

       9
       9
       +
         "menhir" {< "20211215"}

     

       10
       10
       +
         "easy-format"

     

       11
       11
       +
       ]

     

       7
       12
        
       dev-repo: "git+https://github.com/MyLifeLabs/atd"

     

       8
       13
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       9
       14
        
       synopsis: "Parser for the ATD data format description language"

+6 -1

packages/atd/atd.1.0.3/opam

···

       3
       3
        
       homepage: "https://github.com/mjambon/atd"

     

       4
       4
        
       build: make

     

       5
       5
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       6
       6
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       6
       6
       +
       depends: [

     

       7
       7
       +
         "ocaml"

     

       8
       8
       +
         "ocamlfind"

     

       9
       9
       +
         "menhir" {< "20211215"}

     

       10
       10
       +
         "easy-format"

     

       11
       11
       +
       ]

     

       7
       12
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       8
       13
        
       synopsis: "Parser for the ATD data format description language"

     

       9
       14
        
       description: """

+6 -1

packages/atd/atd.1.1.0/opam

···

       3
       3
        
       homepage: "https://github.com/mjambon/atd"

     

       4
       4
        
       build: make

     

       5
       5
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       6
       6
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       6
       6
       +
       depends: [

     

       7
       7
       +
         "ocaml"

     

       8
       8
       +
         "ocamlfind"

     

       9
       9
       +
         "menhir" {< "20211215"}

     

       10
       10
       +
         "easy-format"

     

       11
       11
       +
       ]

     

       7
       12
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       8
       13
        
       synopsis: "Parser for the ATD data format description language"

     

       9
       14
        
       description: """

+6 -1

packages/atd/atd.1.1.1/opam

···

       3
       3
        
       homepage: "https://github.com/mjambon/atd"

     

       4
       4
        
       build: make

     

       5
       5
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       6
       6
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       6
       6
       +
       depends: [

     

       7
       7
       +
         "ocaml"

     

       8
       8
       +
         "ocamlfind"

     

       9
       9
       +
         "menhir" {< "20211215"}

     

       10
       10
       +
         "easy-format"

     

       11
       11
       +
       ]

     

       7
       12
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       8
       13
        
       synopsis: "Parser for the ATD data format description language"

     

       9
       14
        
       description: """

+6 -1

packages/atd/atd.1.1.2/opam

···

       3
       3
        
       homepage: "https://github.com/mjambon/atd"

     

       4
       4
        
       build: make

     

       5
       5
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       6
       6
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       6
       6
       +
       depends: [

     

       7
       7
       +
         "ocaml"

     

       8
       8
       +
         "ocamlfind"

     

       9
       9
       +
         "menhir" {< "20211215"}

     

       10
       10
       +
         "easy-format"

     

       11
       11
       +
       ]

     

       7
       12
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       8
       13
        
       synopsis: "Parser for the ATD data format description language"

     

       9
       14
        
       description: """

+1 -1

packages/atd/atd.1.12.0/opam

···

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml"

     

       14
       14
        
         "jbuilder" {>= "1.0+beta7"}

     

       15
       15
       -
         "menhir" {build}

     

       15
       15
       +
         "menhir" {build & < "20211215"}

     

       16
       16
        
         "easy-format"

     

       17
       17
        
         "atdgen" {with-test}

     

       18
       18
        
       ]

+1 -1

packages/atd/atd.1.13.0/opam

···

       13
       13
        
       depends: [

     

       14
       14
        
         "ocaml" {>= "4.02.3"}

     

       15
       15
        
         "jbuilder"

     

       16
       16
       -
         "menhir" {build}

     

       16
       16
       +
         "menhir" {nuild & < "20211215"}

     

       17
       17
        
         "easy-format"

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "Parser for the ATD data format description language"

+6 -1

packages/atd/atd.1.2.0/opam

···

       7
       7
        
       dev-repo: "git+https://github.com/mjambon/atd.git"

     

       8
       8
        
       build: [ [make] ]

     

       9
       9
        
       remove: [["ocamlfind" "remove" "atd"]]

     

       10
       10
       -
       depends: ["ocaml" "ocamlfind" "menhir" "easy-format"]

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "ocaml"

     

       12
       12
       +
         "ocamlfind"

     

       13
       13
       +
         "menhir" {< "20211215"}

     

       14
       14
       +
         "easy-format"

     

       15
       15
       +
       ]

     

       11
       16
        
       install: [make "install" "BINDIR=%{bin}%"]

     

       12
       17
        
       synopsis: "Parser for the ATD data format description language"

     

       13
       18
        
       description: """

+1 -1

packages/atd/atd.1.2.1/opam

···

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml"

     

       14
       14
        
         "jbuilder" {>= "1.0+beta7"}

     

       15
       15
       -
         "menhir"

     

       15
       15
       +
         "menhir" {< "20211215"}

     

       16
       16
        
         "easy-format"

     

       17
       17
        
       ]

     

       18
       18
        
       synopsis: "Parser for the ATD data format description language"

+1 -1

packages/atd/atd.2.0.0/opam

···

       19
       19
        
       depends: [

     

       20
       20
        
         "ocaml" {>= "4.03.0"}

     

       21
       21
        
         "jbuilder"

     

       22
       22
       -
         "menhir" {build}

     

       22
       22
       +
         "menhir" {build & < "20211215"}

     

       23
       23
        
         "easy-format"

     

       24
       24
        
       ]

     

       25
       25
        
       synopsis: "Parser for the ATD data format description language"

+1 -1

packages/atd/atd.2.2.1/opam

···

       28
       28
        
       depends: [

     

       29
       29
        
         "ocaml" {>= "4.02"}

     

       30
       30
        
         "dune" {>= "2.0"}

     

       31
       31
       -
         "menhir"

     

       31
       31
       +
         "menhir" {< "20211215"}

     

       32
       32
        
         "easy-format"

     

       33
       33
        
         "re"

     

       34
       34
        
       ]

+1 -1

packages/coin/coin.0.1.0/opam

···

       20
       20
        
         "bos"

     

       21
       21
        
         "uutf"

     

       22
       22
        
         "ptmap"

     

       23
       23
       -
         "menhir"

     

       23
       23
       +
         "menhir" {< "20211215"}

     

       24
       24
        
         "rresult"

     

       25
       25
        
         "angstrom"

     

       26
       26
        
         "cmdliner"

+1 -1

packages/coin/coin.0.1.1/opam

···

       21
       21
        
         "bos"

     

       22
       22
        
         "uutf"

     

       23
       23
        
         "ptmap"

     

       24
       24
       -
         "menhir"

     

       24
       24
       +
         "menhir" {< "20211215"}

     

       25
       25
        
         "rresult"

     

       26
       26
        
         "angstrom"

     

       27
       27
        
         "cmdliner"

+1 -1

packages/coin/coin.0.1.2/opam

···

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "dune"

     

       22
       22
        
         "re"

     

       23
       23
       -
         "menhir"

     

       23
       23
       +
         "menhir" {< "20211215"}

     

       24
       24
        
         "angstrom" {>= "0.11.0"}

     

       25
       25
        
       ]

     

       26
       26
        
       url {

+1 -1

packages/coin/coin.0.1.3/opam

···

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "dune"

     

       22
       22
        
         "re"

     

       23
       23
       -
         "menhir"

     

       23
       23
       +
         "menhir" {< "20211215"}

     

       24
       24
        
       ]

     

       25
       25
        
       url {

     

       26
       26
        
         src:

+1

packages/logtk/logtk.0.8.1/opam

···

       31
       31
        
         "containers" {>= "0.22.1" & < "1.0"}

     

       32
       32
        
         "sequence" {>= "0.6" & < "1.0"}

     

       33
       33
        
         "base-bytes"

     

       34
       34
       +
         "menhir" {< "20211215"}

     

       34
       35
        
       ]

     

       35
       36
        
       depopts: [

     

       36
       37
        
         "menhir" {build}

+4 -4

packages/logtk/logtk.1.5.1/opam

···

       11
       11
        
         "base-bytes"

     

       12
       12
        
         "base-unix"

     

       13
       13
        
         "zarith"

     

       14
       14
       -
         "containers" { >= "1.0" & < "3.0" }

     

       15
       15
       -
         "iter" { >= "1.2" }

     

       16
       16
       -
         "menhir" {build}

     

       17
       17
       -
         "dune" { >= "1.1" }

     

       14
       14
       +
         "containers" {>= "1.0" & < "3.0"}

     

       15
       15
       +
         "iter" {>= "1.2"}

     

       16
       16
       +
         "menhir" {build & < "20211215"}

     

       17
       17
       +
         "dune" {>= "1.1"}

     

       18
       18
        
         "alcotest" {with-test & < "1.0.0"}

     

       19
       19
        
         "qcheck-core" {with-test & >= "0.9"}

     

       20
       20
        
         "qcheck-alcotest" {with-test & >= "0.9"}

+4 -4

packages/logtk/logtk.1.6/opam

···

       13
       13
        
         "base-unix"

     

       14
       14
        
         "zarith"

     

       15
       15
        
         "oseq"

     

       16
       16
       -
         "containers" { >= "1.0" & < "3.0" }

     

       17
       17
       -
         "iter" { >= "1.2" }

     

       18
       18
       -
         "menhir" {build}

     

       19
       19
       -
         "dune" { >= "1.1" }

     

       16
       16
       +
         "containers" {>= "1.0" & < "3.0"}

     

       17
       17
       +
         "iter" {>= "1.2"}

     

       18
       18
       +
         "menhir" {build & < "20211215"}

     

       19
       19
       +
         "dune" {>= "1.1"}

     

       20
       20
        
         "alcotest" {with-test}

     

       21
       21
        
         "qcheck-core" {with-test & >= "0.9"}

     

       22
       22
        
         "qcheck-alcotest" {with-test & >= "0.9"}

+6 -6

packages/logtk/logtk.2.0/opam

···

       12
       12
        
         "base-bytes"

     

       13
       13
        
         "base-unix"

     

       14
       14
        
         "zarith"

     

       15
       15
       -
         "oseq" { >= "0.3" & < "0.4" }

     

       16
       16
       -
         "containers" { >= "3.0" & < "4.0" }

     

       17
       17
       -
         "containers-data" { >= "3.0" & < "4.0" }

     

       18
       18
       -
         "iter" { >= "1.2" }

     

       19
       19
       -
         "menhir" {build}

     

       20
       20
       -
         "dune" { >= "1.11" }

     

       15
       15
       +
         "oseq" {>= "0.3" & < "0.4"}

     

       16
       16
       +
         "containers" {>= "3.0" & < "4.0"}

     

       17
       17
       +
         "containers-data" {>= "3.0" & < "4.0"}

     

       18
       18
       +
         "iter" {>= "1.2"}

     

       19
       19
       +
         "menhir" {build & < "20211215"}

     

       20
       20
       +
         "dune" {>= "1.11"}

     

       21
       21
        
         "alcotest" {with-test}

     

       22
       22
        
         "qcheck-core" {with-test & >= "0.9"}

     

       23
       23
        
         "qcheck-alcotest" {with-test & >= "0.9"}

+7 -7

packages/logtk/logtk.2.1/opam

···

       13
       13
        
         "base-bytes"

     

       14
       14
        
         "base-unix"

     

       15
       15
        
         ("zarith" | "num")

     

       16
       16
       -
         "oseq" { >= "0.3" & < "0.4" }

     

       17
       17
       -
         "containers" { >= "3.0" & < "4.0" }

     

       18
       18
       -
         "containers-data" { >= "3.0" & < "4.0" }

     

       19
       19
       -
         "mtime" { >= "1.0" }

     

       20
       20
       -
         "iter" { >= "1.2" }

     

       21
       21
       -
         "menhir" {build}

     

       22
       22
       -
         "dune" { >= "1.11" }

     

       16
       16
       +
         "oseq" {>= "0.3" & < "0.4"}

     

       17
       17
       +
         "containers" {>= "3.0" & < "4.0"}

     

       18
       18
       +
         "containers-data" {>= "3.0" & < "4.0"}

     

       19
       19
       +
         "mtime" {>= "1.0"}

     

       20
       20
       +
         "iter" {>= "1.2"}

     

       21
       21
       +
         "menhir" {build & < "20211215"}

     

       22
       22
       +
         "dune" {>= "1.11"}

     

       23
       23
        
         "alcotest" {with-test}

     

       24
       24
        
         "qcheck-core" {with-test & >= "0.9"}

     

       25
       25
        
         "qcheck-alcotest" {with-test & >= "0.9"}

+1 -1

packages/tip-parser/tip-parser.0.4/opam

···

       15
       15
        
         "dune"

     

       16
       16
        
         "base-bytes"

     

       17
       17
        
         "result"

     

       18
       18
       -
         "menhir" {build}

     

       18
       18
       +
         "menhir" {build & < "20211215"}

     

       19
       19
        
         "odoc" {with-doc}

     

       20
       20
        
       ]

     

       21
       21
        
       synopsis: "Parser for TIP (Tons of Inductive Problems)"

+1 -1

packages/tip-parser/tip-parser.0.5/opam

···

       8
       8
        
         "dune"

     

       9
       9
        
         "base-bytes"

     

       10
       10
        
         "result"

     

       11
       11
       -
         "menhir" {build}

     

       11
       11
       +
         "menhir" {build & < "20211215"}

     

       12
       12
        
         "odoc" {with-doc}

     

       13
       13
        
       ]

     

       14
       14
        
       build: [

+1 -1

packages/tip-parser/tip-parser.0.6/opam

···

       9
       9
        
         "dune"

     

       10
       10
        
         "base-bytes"

     

       11
       11
        
         "result"

     

       12
       12
       -
         "menhir" {build}

     

       12
       12
       +
         "menhir" {build & < "20211215"}

     

       13
       13
        
         "odoc" {with-doc}

     

       14
       14
        
       ]

     

       15
       15
        
       build: [

+1 -1

packages/toml/toml.1.0.0/opam

···

       7
       7
        
         "ocaml" {>= "4.01.0" & < "4.06.0"}

     

       8
       8
        
         "ocamlfind" {build}

     

       9
       9
        
         "ocamlbuild" {build}

     

       10
       10
       -
         "menhir"

     

       10
       10
       +
         "menhir" {< "20211215"}

     

       11
       11
        
       ]

     

       12
       12
        
       dev-repo: "git+https://github.com/sagotch/To.ml"

     

       13
       13
        
       install: [make "install"]

+1 -1

packages/toml/toml.2.0.0/opam

···

       7
       7
        
         "ocaml" {>= "4.02.0" & < "4.06.0"}

     

       8
       8
        
         "ocamlfind" {build}

     

       9
       9
        
         "ocamlbuild" {build}

     

       10
       10
       -
         "menhir"

     

       10
       10
       +
         "menhir" {< "20211215"}

     

       11
       11
        
       ]

     

       12
       12
        
       dev-repo: "git+https://github.com/sagotch/To.ml"

     

       13
       13
        
       install: [make "install"]

+1 -1

packages/toml/toml.2.1.0/opam

···

       7
       7
        
         "ocaml" {>= "4.02.0" & < "4.06.0"}

     

       8
       8
        
         "ocamlfind" {build}

     

       9
       9
        
         "ocamlbuild" {build}

     

       10
       10
       -
         "menhir"

     

       10
       10
       +
         "menhir" {< "20211215"}

     

       11
       11
        
       ]

     

       12
       12
        
       dev-repo: "git+https://github.com/sagotch/To.ml"

     

       13
       13
        
       install: [make "install"]

+1 -1

packages/toml/toml.2.2.0/opam

···

       12
       12
        
         "ocamlfind" {build}

     

       13
       13
        
         "ocamlbuild" {build}

     

       14
       14
        
         "oasis" {build}

     

       15
       15
       -
         "menhir"

     

       15
       15
       +
         "menhir" {< "20211215"}

     

       16
       16
        
       ]

     

       17
       17
        
       dev-repo: "git+https://github.com/mackwic/To.ml"

     

       18
       18
        
       install: [make "install"]

+1 -1

packages/toml/toml.2.2.1/opam

···

       10
       10
        
         "ocaml" {>= "4.01.0" & < "4.06.0"}

     

       11
       11
        
         "ocamlfind" {build}

     

       12
       12
        
         "ocamlbuild" {build}

     

       13
       13
       -
         "menhir"

     

       13
       13
       +
         "menhir" {< "20211215"}

     

       14
       14
        
       ]

     

       15
       15
        
       dev-repo: "git+https://github.com/mackwic/To.ml"

     

       16
       16
        
       install: [make "install"]

+1 -1

packages/toml/toml.3.0.0/opam

···

       11
       11
        
         "ocaml" {>= "4.01.0" & < "4.06.0"}

     

       12
       12
        
         "ocamlfind" {build}

     

       13
       13
        
         "ocamlbuild" {build}

     

       14
       14
       -
         "menhir"

     

       14
       14
       +
         "menhir" {< "20211215"}

     

       15
       15
        
         "ISO8601" {>= "0.2.0"}

     

       16
       16
        
       ]

     

       17
       17
        
       bug-reports: "https://github.com/mackwic/To.ml/issues"

+1 -1

packages/toml/toml.4.0.0/opam

···

       11
       11
        
         "ocaml" {>= "4.01.0" & < "4.06.0"}

     

       12
       12
        
         "ocamlfind" {build}

     

       13
       13
        
         "ocamlbuild" {build}

     

       14
       14
       -
         "menhir"

     

       14
       14
       +
         "menhir" {< "20211215"}

     

       15
       15
        
         "ISO8601" {>= "0.2.0"}

     

       16
       16
        
       ]

     

       17
       17
        
       bug-reports: "https://github.com/mackwic/To.ml/issues"

+1

packages/toml/toml.5.0.0/opam

···

       23
       23
        
         "bisect" {with-test}

     

       24
       24
        
         "odoc" {with-doc}

     

       25
       25
        
         "ISO8601" {>= "0.2.0"}

     

       26
       26
       +
         "menhir" {< "20211215"}

     

       26
       27
        
       ]

     

       27
       28
        
       synopsis: "TOML parser."

     

       28
       29
        
       description: """

+1

packages/toml/toml.6.0.0/opam

···

       15
       15
        
         "bisect" {with-test}

     

       16
       16
        
         "odoc" {with-doc}

     

       17
       17
        
         "ISO8601" {>= "0.2.0"}

     

       18
       18
       +
         "menhir" {< "20211215"}

     

       18
       19
        
       ]

     

       19
       20
        
       bug-reports: "https://github.com/ocaml-toml/to.ml/issues"

     

       20
       21
        
       dev-repo: "git+ttps://github.com/ocaml-toml/to.ml.git"

+1

packages/toml/toml.7.0.0/opam

···

       24
       24
        
         "ocb" {with-test & >= "0.1" & dev}

     

       25
       25
        
         "odoc" {with-doc}

     

       26
       26
        
         "ISO8601" {>= "0.2"}

     

       27
       27
       +
         "menhir" {< "20211215"}

     

       27
       28
        
       ]

     

       28
       29
        
       # Workaround for https://github.com/ocaml-toml/To.ml/issues/74

     

       29
       30
        
       build-env: [TZ = ""]

+1 -1

packages/uuuu/uuuu.0.1.0/opam

···

       20
       20
        
         "bos"

     

       21
       21
        
         "uutf"

     

       22
       22
        
         "ptmap"

     

       23
       23
       -
         "menhir"

     

       23
       23
       +
         "menhir" {< "20211215"}

     

       24
       24
        
         "rresult"

     

       25
       25
        
         "angstrom"

     

       26
       26
        
         "cmdliner"

+1 -1

packages/uuuu/uuuu.0.1.1/opam

···

       21
       21
        
         "bos"

     

       22
       22
        
         "uutf"

     

       23
       23
        
         "ptmap"

     

       24
       24
       -
         "menhir"

     

       24
       24
       +
         "menhir" {< "20211215"}

     

       25
       25
        
         "rresult"

     

       26
       26
        
         "angstrom"

     

       27
       27
        
         "cmdliner"

+1 -1

packages/uuuu/uuuu.0.2.0/opam

···

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "dune"

     

       22
       22
        
         "re" {>= "1.7.2"}

     

       23
       23
       -
         "menhir"

     

       23
       23
       +
         "menhir" {< "20211215"}

     

       24
       24
        
         "angstrom" {>= "0.11.0"}

     

       25
       25
        
       ]

     

       26
       26
        
       url {

+1 -1

packages/zipperposition/zipperposition.1.5/opam

···

       19
       19
        
         "sequence" {>= "0.4"}

     

       20
       20
        
         "jbuilder" {>= "1.0+beta7"}

     

       21
       21
        
         "msat" {>= "0.5" & < "0.8"}

     

       22
       22
       -
         "menhir" {build}

     

       22
       22
       +
         "menhir" {build & < "20211215"}

     

       23
       23
        
       ]

     

       24
       24
        
       synopsis:

     

       25
       25
        
         "A fully automatic theorem prover for typed first-order and beyond."

+7 -7

packages/zipperposition/zipperposition.1.6/opam

···

       10
       10
        
       depends: [

     

       11
       11
        
         "base-unix"

     

       12
       12
        
         "zarith"

     

       13
       13
       -
         "logtk" { = version }

     

       14
       14
       -
         "libzipperposition" { = version }

     

       15
       15
       -
         "containers" { >= "1.0" & < "3.0" }

     

       16
       16
       -
         "iter" { >= "1.2" }

     

       13
       13
       +
         "logtk" {= version}

     

       14
       14
       +
         "libzipperposition" {= version}

     

       15
       15
       +
         "containers" {>= "1.0" & < "3.0"}

     

       16
       16
       +
         "iter" {>= "1.2"}

     

       17
       17
        
         "oseq"

     

       18
       18
       -
         "dune" { >= "1.1" }

     

       19
       19
       -
         "msat" { >= "0.8" & < "0.9" }

     

       20
       20
       -
         "menhir" {build}

     

       18
       18
       +
         "dune" {>= "1.1"}

     

       19
       19
       +
         "msat" {>= "0.8" & < "0.9"}

     

       20
       20
       +
         "menhir" {build & < "20211215"}

     

       21
       21
        
         "ocaml" {>= "4.03"}

     

       22
       22
        
       ]

     

       23
       23
        
       tags: [ "logic" "unification" "term" "superposition" "prover" ]

+7 -7

packages/zipperposition/zipperposition.2.0/opam

···

       11
       11
        
       depends: [

     

       12
       12
        
         "base-unix"

     

       13
       13
        
         "zarith"

     

       14
       14
       -
         "logtk" { = version }

     

       15
       15
       -
         "libzipperposition" { = version }

     

       16
       16
       -
         "containers" { >= "3.0" & < "4.0" }

     

       17
       17
       -
         "iter" { >= "1.2" }

     

       14
       14
       +
         "logtk" {= version}

     

       15
       15
       +
         "libzipperposition" {= version}

     

       16
       16
       +
         "containers" {>= "3.0" & < "4.0"}

     

       17
       17
       +
         "iter" {>= "1.2"}

     

       18
       18
        
         "oseq"

     

       19
       19
       -
         "dune" { >= "1.11" }

     

       20
       20
       -
         "msat" { >= "0.8" < "0.9" }

     

       21
       21
       -
         "menhir" {build}

     

       19
       19
       +
         "dune" {>= "1.11"}

     

       20
       20
       +
         "msat" {>= "0.8" < "0.9"}

     

       21
       21
       +
         "menhir" {build & < "20211215"}

     

       22
       22
        
         "ocaml" {>= "4.07"}

     

       23
       23
        
       ]

     

       24
       24
        
       tags: [ "logic" "unification" "term" "superposition" "prover" ]

+7 -7

packages/zipperposition/zipperposition.2.1/opam

···

       11
       11
        
       ]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "base-unix"

     

       14
       14
       -
         "logtk" { = version }

     

       15
       15
       -
         "libzipperposition" { = version }

     

       16
       16
       -
         "containers" { >= "3.0" & < "4.0" }

     

       17
       17
       -
         "iter" { >= "1.2" }

     

       14
       14
       +
         "logtk" {= version}

     

       15
       15
       +
         "libzipperposition" {= version}

     

       16
       16
       +
         "containers" {>= "3.0" & < "4.0"}

     

       17
       17
       +
         "iter" {>= "1.2"}

     

       18
       18
        
         "oseq"

     

       19
       19
       -
         "dune" { >= "1.11" }

     

       20
       20
       -
         "msat" { >= "0.8" < "0.10" }

     

       21
       21
       -
         "menhir" {build}

     

       19
       19
       +
         "dune" {>= "1.11"}

     

       20
       20
       +
         "msat" {>= "0.8" < "0.10"}

     

       21
       21
       +
         "menhir" {build & < "20211215"}

     

       22
       22
        
         "ocaml" {>= "4.07"}

     

       23
       23
        
       ]

     

       24
       24
        
       tags: [ "logic" "unification" "term" "superposition" "prover" ]