commit 95ec2d4567cbb948dd316f4699dd71810002540a · anil.recoil.org/opam-repository

+48

packages/alcotest-async/alcotest-async.1.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Async-based helpers for Alcotest"

     

       3
       3
       +
       description: "Async-based helpers for Alcotest"

     

       4
       4
       +
       maintainer: ["thomas@gazagnaire.org"]

     

       5
       5
       +
       authors: ["Thomas Gazagnaire"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/mirage/alcotest"

     

       8
       8
       +
       doc: "https://mirage.github.io/alcotest"

     

       9
       9
       +
       bug-reports: "https://github.com/mirage/alcotest/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.8"}

     

       12
       12
       +
         "re" {with-test}

     

       13
       13
       +
         "fmt" {with-test}

     

       14
       14
       +
         "cmdliner" {with-test & >= "1.1.0"}

     

       15
       15
       +
         "core" {>= "v0.15.0"}

     

       16
       16
       +
         "core_unix" {>= "v0.15.0"}

     

       17
       17
       +
         "base"

     

       18
       18
       +
         "async_kernel"

     

       19
       19
       +
         "ocaml" {>= "4.11.0"}

     

       20
       20
       +
         "alcotest" {= version}

     

       21
       21
       +
         "async" {>= "v0.15.0"}

     

       22
       22
       +
         "async_unix" {>= "v0.15.0"}

     

       23
       23
       +
         "odoc" {with-doc}

     

       24
       24
       +
       ]

     

       25
       25
       +
       build: [

     

       26
       26
       +
         ["dune" "subst"] {dev}

     

       27
       27
       +
         [

     

       28
       28
       +
           "dune"

     

       29
       29
       +
           "build"

     

       30
       30
       +
           "-p"

     

       31
       31
       +
           name

     

       32
       32
       +
           "-j"

     

       33
       33
       +
           jobs

     

       34
       34
       +
           "@install"

     

       35
       35
       +
           "@runtest" {with-test}

     

       36
       36
       +
           "@doc" {with-doc}

     

       37
       37
       +
         ]

     

       38
       38
       +
       ]

     

       39
       39
       +
       dev-repo: "git+https://github.com/mirage/alcotest.git"

     

       40
       40
       +
       url {

     

       41
       41
       +
         src:

     

       42
       42
       +
           "https://github.com/mirage/alcotest/releases/download/1.6.0/alcotest-1.6.0.tbz"

     

       43
       43
       +
         checksum: [

     

       44
       44
       +
           "sha256=fd00f9668395874ff3b1d7ef566d14efc02fa7dd34123eb25d59355be94b2329"

     

       45
       45
       +
           "sha512=69a7ef300ba10a9ccb1e25b1cfdb0a0abf9ca976864a52a22f0e1fae1e5d1cbeb99498c086230b839ee9da4d0fd71e63686e126ca42221537f3fdb6f6c5aae95"

     

       46
       46
       +
         ]

     

       47
       47
       +
       }

     

       48
       48
       +
       x-commit-hash: "6be328d73513db7f32173f86a997a59904fb1ee6"

+43

packages/alcotest-js/alcotest-js.1.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis:

     

       3
       3
       +
         "Virtual package containing optional JavaScript dependencies for Alcotest"

     

       4
       4
       +
       description:

     

       5
       5
       +
         "Virtual package containing optional JavaScript dependencies for Alcotest"

     

       6
       6
       +
       maintainer: ["thomas@gazagnaire.org"]

     

       7
       7
       +
       authors: ["Thomas Gazagnaire"]

     

       8
       8
       +
       license: "ISC"

     

       9
       9
       +
       homepage: "https://github.com/mirage/alcotest"

     

       10
       10
       +
       doc: "https://mirage.github.io/alcotest"

     

       11
       11
       +
       bug-reports: "https://github.com/mirage/alcotest/issues"

     

       12
       12
       +
       depends: [

     

       13
       13
       +
         "dune" {>= "2.8"}

     

       14
       14
       +
         "alcotest" {= version}

     

       15
       15
       +
         "js_of_ocaml-compiler" {>= "3.11.0"}

     

       16
       16
       +
         "fmt" {with-test & >= "0.8.7"}

     

       17
       17
       +
         "cmdliner" {with-test & >= "1.1.0"}

     

       18
       18
       +
         "odoc" {with-doc}

     

       19
       19
       +
       ]

     

       20
       20
       +
       build: [

     

       21
       21
       +
         ["dune" "subst"] {dev}

     

       22
       22
       +
         [

     

       23
       23
       +
           "dune"

     

       24
       24
       +
           "build"

     

       25
       25
       +
           "-p"

     

       26
       26
       +
           name

     

       27
       27
       +
           "-j"

     

       28
       28
       +
           jobs

     

       29
       29
       +
           "@install"

     

       30
       30
       +
           "@runtest" {with-test}

     

       31
       31
       +
           "@doc" {with-doc}

     

       32
       32
       +
         ]

     

       33
       33
       +
       ]

     

       34
       34
       +
       dev-repo: "git+https://github.com/mirage/alcotest.git"

     

       35
       35
       +
       url {

     

       36
       36
       +
         src:

     

       37
       37
       +
           "https://github.com/mirage/alcotest/releases/download/1.6.0/alcotest-1.6.0.tbz"

     

       38
       38
       +
         checksum: [

     

       39
       39
       +
           "sha256=fd00f9668395874ff3b1d7ef566d14efc02fa7dd34123eb25d59355be94b2329"

     

       40
       40
       +
           "sha512=69a7ef300ba10a9ccb1e25b1cfdb0a0abf9ca976864a52a22f0e1fae1e5d1cbeb99498c086230b839ee9da4d0fd71e63686e126ca42221537f3fdb6f6c5aae95"

     

       41
       41
       +
         ]

     

       42
       42
       +
       }

     

       43
       43
       +
       x-commit-hash: "6be328d73513db7f32173f86a997a59904fb1ee6"

+44

packages/alcotest-lwt/alcotest-lwt.1.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Lwt-based helpers for Alcotest"

     

       3
       3
       +
       description: "Lwt-based helpers for Alcotest"

     

       4
       4
       +
       maintainer: ["thomas@gazagnaire.org"]

     

       5
       5
       +
       authors: ["Thomas Gazagnaire"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/mirage/alcotest"

     

       8
       8
       +
       doc: "https://mirage.github.io/alcotest"

     

       9
       9
       +
       bug-reports: "https://github.com/mirage/alcotest/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.8"}

     

       12
       12
       +
         "re" {with-test}

     

       13
       13
       +
         "cmdliner" {with-test & >= "1.1.0"}

     

       14
       14
       +
         "fmt"

     

       15
       15
       +
         "ocaml" {>= "4.05.0"}

     

       16
       16
       +
         "alcotest" {= version}

     

       17
       17
       +
         "lwt"

     

       18
       18
       +
         "logs"

     

       19
       19
       +
         "odoc" {with-doc}

     

       20
       20
       +
       ]

     

       21
       21
       +
       build: [

     

       22
       22
       +
         ["dune" "subst"] {dev}

     

       23
       23
       +
         [

     

       24
       24
       +
           "dune"

     

       25
       25
       +
           "build"

     

       26
       26
       +
           "-p"

     

       27
       27
       +
           name

     

       28
       28
       +
           "-j"

     

       29
       29
       +
           jobs

     

       30
       30
       +
           "@install"

     

       31
       31
       +
           "@runtest" {with-test}

     

       32
       32
       +
           "@doc" {with-doc}

     

       33
       33
       +
         ]

     

       34
       34
       +
       ]

     

       35
       35
       +
       dev-repo: "git+https://github.com/mirage/alcotest.git"

     

       36
       36
       +
       url {

     

       37
       37
       +
         src:

     

       38
       38
       +
           "https://github.com/mirage/alcotest/releases/download/1.6.0/alcotest-1.6.0.tbz"

     

       39
       39
       +
         checksum: [

     

       40
       40
       +
           "sha256=fd00f9668395874ff3b1d7ef566d14efc02fa7dd34123eb25d59355be94b2329"

     

       41
       41
       +
           "sha512=69a7ef300ba10a9ccb1e25b1cfdb0a0abf9ca976864a52a22f0e1fae1e5d1cbeb99498c086230b839ee9da4d0fd71e63686e126ca42221537f3fdb6f6c5aae95"

     

       42
       42
       +
         ]

     

       43
       43
       +
       }

     

       44
       44
       +
       x-commit-hash: "6be328d73513db7f32173f86a997a59904fb1ee6"

+46

packages/alcotest-mirage/alcotest-mirage.1.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Mirage implementation for Alcotest"

     

       3
       3
       +
       description: "Mirage implementation for Alcotest"

     

       4
       4
       +
       maintainer: ["thomas@gazagnaire.org"]

     

       5
       5
       +
       authors: ["Thomas Gazagnaire"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/mirage/alcotest"

     

       8
       8
       +
       doc: "https://mirage.github.io/alcotest"

     

       9
       9
       +
       bug-reports: "https://github.com/mirage/alcotest/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.8"}

     

       12
       12
       +
         "re" {with-test}

     

       13
       13
       +
         "cmdliner" {with-test & >= "1.1.0"}

     

       14
       14
       +
         "fmt"

     

       15
       15
       +
         "ocaml" {>= "4.05.0"}

     

       16
       16
       +
         "alcotest" {= version}

     

       17
       17
       +
         "mirage-clock" {>= "2.0.0"}

     

       18
       18
       +
         "duration"

     

       19
       19
       +
         "lwt"

     

       20
       20
       +
         "logs"

     

       21
       21
       +
         "odoc" {with-doc}

     

       22
       22
       +
       ]

     

       23
       23
       +
       build: [

     

       24
       24
       +
         ["dune" "subst"] {dev}

     

       25
       25
       +
         [

     

       26
       26
       +
           "dune"

     

       27
       27
       +
           "build"

     

       28
       28
       +
           "-p"

     

       29
       29
       +
           name

     

       30
       30
       +
           "-j"

     

       31
       31
       +
           jobs

     

       32
       32
       +
           "@install"

     

       33
       33
       +
           "@runtest" {with-test}

     

       34
       34
       +
           "@doc" {with-doc}

     

       35
       35
       +
         ]

     

       36
       36
       +
       ]

     

       37
       37
       +
       dev-repo: "git+https://github.com/mirage/alcotest.git"

     

       38
       38
       +
       url {

     

       39
       39
       +
         src:

     

       40
       40
       +
           "https://github.com/mirage/alcotest/releases/download/1.6.0/alcotest-1.6.0.tbz"

     

       41
       41
       +
         checksum: [

     

       42
       42
       +
           "sha256=fd00f9668395874ff3b1d7ef566d14efc02fa7dd34123eb25d59355be94b2329"

     

       43
       43
       +
           "sha512=69a7ef300ba10a9ccb1e25b1cfdb0a0abf9ca976864a52a22f0e1fae1e5d1cbeb99498c086230b839ee9da4d0fd71e63686e126ca42221537f3fdb6f6c5aae95"

     

       44
       44
       +
         ]

     

       45
       45
       +
       }

     

       46
       46
       +
       x-commit-hash: "6be328d73513db7f32173f86a997a59904fb1ee6"

+58

packages/alcotest/alcotest.1.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Alcotest is a lightweight and colourful test framework"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       Alcotest exposes simple interface to perform unit tests. It exposes

     

       5
       5
       +
       a simple TESTABLE module type, a check function to assert test

     

       6
       6
       +
       predicates and a run function to perform a list of unit -> unit

     

       7
       7
       +
       test callbacks.

     

       8
       8
       +
       

     

       9
       9
       +
       Alcotest provides a quiet and colorful output where only faulty runs

     

       10
       10
       +
       are fully displayed at the end of the run (with the full logs ready to

     

       11
       11
       +
       inspect), with a simple (yet expressive) query language to select the

     

       12
       12
       +
       tests to run.

     

       13
       13
       +
       """

     

       14
       14
       +
       maintainer: ["thomas@gazagnaire.org"]

     

       15
       15
       +
       authors: ["Thomas Gazagnaire"]

     

       16
       16
       +
       license: "ISC"

     

       17
       17
       +
       homepage: "https://github.com/mirage/alcotest"

     

       18
       18
       +
       doc: "https://mirage.github.io/alcotest"

     

       19
       19
       +
       bug-reports: "https://github.com/mirage/alcotest/issues"

     

       20
       20
       +
       depends: [

     

       21
       21
       +
         "dune" {>= "2.8"}

     

       22
       22
       +
         "ocaml" {>= "4.05.0"}

     

       23
       23
       +
         "fmt" {>= "0.8.7"}

     

       24
       24
       +
         "astring"

     

       25
       25
       +
         "cmdliner" {>= "1.1.0"}

     

       26
       26
       +
         "re" {>= "1.7.2"}

     

       27
       27
       +
         "stdlib-shims"

     

       28
       28
       +
         "uutf" {>= "1.0.1"}

     

       29
       29
       +
         "ocaml-syntax-shims"

     

       30
       30
       +
         "odoc" {with-doc}

     

       31
       31
       +
       ]

     

       32
       32
       +
       conflicts: [

     

       33
       33
       +
         "result" {< "1.5"}

     

       34
       34
       +
       ]

     

       35
       35
       +
       build: [

     

       36
       36
       +
         ["dune" "subst"] {dev}

     

       37
       37
       +
         [

     

       38
       38
       +
           "dune"

     

       39
       39
       +
           "build"

     

       40
       40
       +
           "-p"

     

       41
       41
       +
           name

     

       42
       42
       +
           "-j"

     

       43
       43
       +
           jobs

     

       44
       44
       +
           "@install"

     

       45
       45
       +
           "@runtest" {with-test}

     

       46
       46
       +
           "@doc" {with-doc}

     

       47
       47
       +
         ]

     

       48
       48
       +
       ]

     

       49
       49
       +
       dev-repo: "git+https://github.com/mirage/alcotest.git"

     

       50
       50
       +
       url {

     

       51
       51
       +
         src:

     

       52
       52
       +
           "https://github.com/mirage/alcotest/releases/download/1.6.0/alcotest-1.6.0.tbz"

     

       53
       53
       +
         checksum: [

     

       54
       54
       +
           "sha256=fd00f9668395874ff3b1d7ef566d14efc02fa7dd34123eb25d59355be94b2329"

     

       55
       55
       +
           "sha512=69a7ef300ba10a9ccb1e25b1cfdb0a0abf9ca976864a52a22f0e1fae1e5d1cbeb99498c086230b839ee9da4d0fd71e63686e126ca42221537f3fdb6f6c5aae95"

     

       56
       56
       +
         ]

     

       57
       57
       +
       }

     

       58
       58
       +
       x-commit-hash: "6be328d73513db7f32173f86a997a59904fb1ee6"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.10.0/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.6.0/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0" & < "4.06.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.7.0/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0" & < "4.06.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.8.0/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.8.1/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+1 -1

packages/angstrom-lwt-unix/angstrom-lwt-unix.0.9.0/opam

···

       14
       14
        
         "ocaml" {>= "4.03.0"}

     

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "angstrom"

     

       17
       17
       -
         "lwt"

     

       17
       17
       +
         "lwt" {< "5.6.0"}

     

       18
       18
        
         "base-unix"

     

       19
       19
        
       ]

     

       20
       20
        
       synopsis: "Angstrom - Lwt- and Unix-specific support"

+35

packages/bechamel-js/bechamel-js.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer:   "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       3
       3
       +
       authors:      "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       4
       4
       +
       homepage:     "https://github.com/mirage/bechamel"

     

       5
       5
       +
       bug-reports:  "https://github.com/mirage/bechamel/issues"

     

       6
       6
       +
       dev-repo:     "git+https://github.com/mirage/bechamel.git"

     

       7
       7
       +
       doc:          "https://mirage.github.io/bechamel/"

     

       8
       8
       +
       license:      "MIT"

     

       9
       9
       +
       synopsis:     "HTML generator for bechamel's output"

     

       10
       10
       +
       description: """A simple tool to generate a standalone HTML

     

       11
       11
       +
       page which shows results from bechamel's benchmarks."""

     

       12
       12
       +
       

     

       13
       13
       +
       build: [

     

       14
       14
       +
         [ "dune" "build" "-p" name "-j" jobs ]

     

       15
       15
       +
         [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       16
       16
       +
       ]

     

       17
       17
       +
       

     

       18
       18
       +
       depends: [

     

       19
       19
       +
         "ocaml"      {>= "4.08.0"}

     

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

     

       21
       21
       +
         "bechamel"   {= version}

     

       22
       22
       +
         "rresult"

     

       23
       23
       +
         "json-data-encoding"

     

       24
       24
       +
         "jsonm"

     

       25
       25
       +
         "fmt"        {>= "0.9.0"}

     

       26
       26
       +
       ]

     

       27
       27
       +
       url {

     

       28
       28
       +
         src:

     

       29
       29
       +
           "https://github.com/mirage/bechamel/releases/download/v0.3.0/bechamel-0.3.0.tbz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "sha256=d719040841a1a3be6f93699ae9bf1f8cb2c5d294f0218c0bc0a735386c2d71a0"

     

       32
       32
       +
           "sha512=dc1233d4dcf01a997a3fcbafc116df0aae22ea5a6c98c09e200e4aa984c558976c8290b3e14b1156519ad12a6cc4b1b9fa4adf3dc2458d373d77a07fb9f7acff"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

     

       35
       35
       +
       x-commit-hash: "adf2b19fe09be6f405f11a69e15845529a5d80b7"

+33

packages/bechamel-notty/bechamel-notty.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer:   "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       3
       3
       +
       authors:      "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       4
       4
       +
       homepage:     "https://github.com/mirage/bechamel"

     

       5
       5
       +
       bug-reports:  "https://github.com/mirage/bechamel/issues"

     

       6
       6
       +
       dev-repo:     "git+https://github.com/mirage/bechamel.git"

     

       7
       7
       +
       doc:          "https://mirage.github.io/bechamel/"

     

       8
       8
       +
       license:      "MIT"

     

       9
       9
       +
       synopsis:     "CLI generator for bechamel's output"

     

       10
       10
       +
       description: """A simple tool to generate a CLI output with notty

     

       11
       11
       +
       which shows results from bechamel's benchmarks (as core_bench)."""

     

       12
       12
       +
       

     

       13
       13
       +
       build: [

     

       14
       14
       +
         [ "dune" "build" "-p" name "-j" jobs ]

     

       15
       15
       +
         [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       16
       16
       +
       ]

     

       17
       17
       +
       

     

       18
       18
       +
       depends: [

     

       19
       19
       +
         "ocaml"      {>= "4.08.0"}

     

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

     

       21
       21
       +
         "bechamel"   {= version}

     

       22
       22
       +
         "notty"

     

       23
       23
       +
         "fmt"        {>= "0.9.0"}

     

       24
       24
       +
       ]

     

       25
       25
       +
       url {

     

       26
       26
       +
         src:

     

       27
       27
       +
           "https://github.com/mirage/bechamel/releases/download/v0.3.0/bechamel-0.3.0.tbz"

     

       28
       28
       +
         checksum: [

     

       29
       29
       +
           "sha256=d719040841a1a3be6f93699ae9bf1f8cb2c5d294f0218c0bc0a735386c2d71a0"

     

       30
       30
       +
           "sha512=dc1233d4dcf01a997a3fcbafc116df0aae22ea5a6c98c09e200e4aa984c558976c8290b3e14b1156519ad12a6cc4b1b9fa4adf3dc2458d373d77a07fb9f7acff"

     

       31
       31
       +
         ]

     

       32
       32
       +
       }

     

       33
       33
       +
       x-commit-hash: "adf2b19fe09be6f405f11a69e15845529a5d80b7"

+34

packages/bechamel-perf/bechamel-perf.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer:   "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       3
       3
       +
       authors:      "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       4
       4
       +
       homepage:     "https://github.com/mirage/bechamel"

     

       5
       5
       +
       bug-reports:  "https://github.com/mirage/bechamel/issues"

     

       6
       6
       +
       dev-repo:     "git+https://github.com/mirage/bechamel.git"

     

       7
       7
       +
       doc:          "https://mirage.github.io/bechamel/"

     

       8
       8
       +
       license:      "MIT"

     

       9
       9
       +
       synopsis:     "Linux perf's metrics for bechamel"

     

       10
       10
       +
       description: """A simple layer on Linux perf's metrics for

     

       11
       11
       +
       bechamel to record and analyze them."""

     

       12
       12
       +
       

     

       13
       13
       +
       build: [

     

       14
       14
       +
         [ "dune" "build" "-p" name "-j" jobs ]

     

       15
       15
       +
         [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       16
       16
       +
       ]

     

       17
       17
       +
       

     

       18
       18
       +
       depends: [

     

       19
       19
       +
         "ocaml"      {>= "4.08.0"}

     

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

     

       21
       21
       +
         "mperf"

     

       22
       22
       +
         "bechamel"   {= version}

     

       23
       23
       +
         "fmt"        {>= "0.9.0"}

     

       24
       24
       +
         "base-unix"

     

       25
       25
       +
       ]

     

       26
       26
       +
       url {

     

       27
       27
       +
         src:

     

       28
       28
       +
           "https://github.com/mirage/bechamel/releases/download/v0.3.0/bechamel-0.3.0.tbz"

     

       29
       29
       +
         checksum: [

     

       30
       30
       +
           "sha256=d719040841a1a3be6f93699ae9bf1f8cb2c5d294f0218c0bc0a735386c2d71a0"

     

       31
       31
       +
           "sha512=dc1233d4dcf01a997a3fcbafc116df0aae22ea5a6c98c09e200e4aa984c558976c8290b3e14b1156519ad12a6cc4b1b9fa4adf3dc2458d373d77a07fb9f7acff"

     

       32
       32
       +
         ]

     

       33
       33
       +
       }

     

       34
       34
       +
       x-commit-hash: "adf2b19fe09be6f405f11a69e15845529a5d80b7"

+34

packages/bechamel/bechamel.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer:   "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       3
       3
       +
       authors:      "Romain Calascibetta <romain.calascibetta@gmail.com>"

     

       4
       4
       +
       homepage:     "https://github.com/mirage/bechamel"

     

       5
       5
       +
       bug-reports:  "https://github.com/mirage/bechamel/issues"

     

       6
       6
       +
       dev-repo:     "git+https://github.com/mirage/bechamel.git"

     

       7
       7
       +
       doc:          "https://mirage.github.io/bechamel/"

     

       8
       8
       +
       license:      "MIT"

     

       9
       9
       +
       synopsis:     "Yet Another Benchmark in OCaml"

     

       10
       10
       +
       description: """BEnchmark for a CHAMEL/camel/caml which

     

       11
       11
       +
       is agnostic to the system. It's a micro-benchmark tool

     

       12
       12
       +
       which lets the user to re-analyzes and prints samples."""

     

       13
       13
       +
       

     

       14
       14
       +
       build: [

     

       15
       15
       +
         [ "dune" "build" "-p" name "-j" jobs ]

     

       16
       16
       +
         [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       17
       17
       +
       ]

     

       18
       18
       +
       

     

       19
       19
       +
       depends: [

     

       20
       20
       +
         "ocaml"      {>= "4.08.0"}

     

       21
       21
       +
         "dune"       {>= "2.0.0"}

     

       22
       22
       +
         "fmt"        {>= "0.9.0"}

     

       23
       23
       +
         "base-bytes"

     

       24
       24
       +
         "stdlib-shims"

     

       25
       25
       +
       ]

     

       26
       26
       +
       url {

     

       27
       27
       +
         src:

     

       28
       28
       +
           "https://github.com/mirage/bechamel/releases/download/v0.3.0/bechamel-0.3.0.tbz"

     

       29
       29
       +
         checksum: [

     

       30
       30
       +
           "sha256=d719040841a1a3be6f93699ae9bf1f8cb2c5d294f0218c0bc0a735386c2d71a0"

     

       31
       31
       +
           "sha512=dc1233d4dcf01a997a3fcbafc116df0aae22ea5a6c98c09e200e4aa984c558976c8290b3e14b1156519ad12a6cc4b1b9fa4adf3dc2458d373d77a07fb9f7acff"

     

       32
       32
       +
         ]

     

       33
       33
       +
       }

     

       34
       34
       +
       x-commit-hash: "adf2b19fe09be6f405f11a69e15845529a5d80b7"

+1 -1

packages/biniou/biniou.1.2.1/opam

···

       33
       33
        
       depends: [

     

       34
       34
        
         "easy-format"

     

       35
       35
        
         "dune" {>= "1.10"}

     

       36
       36
       -
         "ocaml" {>= "4.02.3"}

     

       36
       36
       +
         "ocaml" {>= "4.02.3" & < "5.0"}

     

       37
       37
        
       ]

     

       38
       38
        
       url {

     

       39
       39
        
         src:

+47

packages/biniou/biniou.1.2.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       build: [

     

       3
       3
       +
         ["dune" "subst"] {dev}

     

       4
       4
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       5
       5
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       6
       6
       +
         ["dune" "build" "-p" name "@doc"] {with-doc}

     

       7
       7
       +
       ]

     

       8
       8
       +
       maintainer: ["martin@mjambon.com"]

     

       9
       9
       +
       authors: ["Martin Jambon"]

     

       10
       10
       +
       bug-reports: "https://github.com/mjambon/biniou/issues"

     

       11
       11
       +
       homepage: "https://github.com/mjambon/biniou"

     

       12
       12
       +
       doc: "https://mjambon.github.io/biniou/"

     

       13
       13
       +
       license: "BSD-3-Clause"

     

       14
       14
       +
       dev-repo: "git+https://github.com/mjambon/biniou.git"

     

       15
       15
       +
       synopsis:

     

       16
       16
       +
         "Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve"

     

       17
       17
       +
       description: """

     

       18
       18
       +
       

     

       19
       19
       +
       Biniou (pronounced "be new") is a binary data format designed for speed, safety,

     

       20
       20
       +
       ease of use and backward compatibility as protocols evolve. Biniou is vastly

     

       21
       21
       +
       equivalent to JSON in terms of functionality but allows implementations several

     

       22
       22
       +
       times faster (4 times faster than yojson), with 25-35% space savings.

     

       23
       23
       +
       

     

       24
       24
       +
       Biniou data can be decoded into human-readable form without knowledge of type

     

       25
       25
       +
       definitions except for field and variant names which are represented by 31-bit

     

       26
       26
       +
       hashes. A program named bdump is provided for routine visualization of biniou

     

       27
       27
       +
       data files.

     

       28
       28
       +
       

     

       29
       29
       +
       The program atdgen is used to derive OCaml-Biniou serializers and deserializers

     

       30
       30
       +
       from type definitions.

     

       31
       31
       +
       

     

       32
       32
       +
       Biniou format specification: mjambon.github.io/atdgen-doc/biniou-format.txt"""

     

       33
       33
       +
       depends: [

     

       34
       34
       +
         "easy-format"

     

       35
       35
       +
         "camlp-streams"

     

       36
       36
       +
         "dune" {>= "1.10"}

     

       37
       37
       +
         "ocaml" {>= "4.02.3"}

     

       38
       38
       +
       ]

     

       39
       39
       +
       url {

     

       40
       40
       +
         src:

     

       41
       41
       +
           "https://github.com/mjambon/biniou/releases/download/1.2.2/biniou-1.2.2.tbz"

     

       42
       42
       +
         checksum: [

     

       43
       43
       +
           "sha256=8bf3ff17cd0ecb2d6b6d1d94cb08ef089d44caef96e9bae6be6839d428fa318f"

     

       44
       44
       +
           "sha512=7d03b3759a3a2e1c77713aa1b8375a1f1917f49d14fe5e3cb01d5e53a12e6385b7a3b0f4827f3be71182c31c416d780e1f9ef011dc205cb8f9b0ab2d8fc23cfd"

     

       45
       45
       +
         ]

     

       46
       46
       +
       }

     

       47
       47
       +
       x-commit-hash: "b434dd9ad488e042cf71554af7296b7bd98c9a6a"

+59

packages/camlp-streams/camlp-streams.5.0.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "The Stream and Genlex libraries for use with Camlp4 and Camlp5"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       

     

       5
       5
       +
       This package provides two library modules:

     

       6
       6
       +
       - Stream: imperative streams, with in-place update and memoization

     

       7
       7
       +
         of the latest element produced.

     

       8
       8
       +
       - Genlex: a small parameterized lexical analyzer producing streams

     

       9
       9
       +
         of tokens from streams of characters.

     

       10
       10
       +
       

     

       11
       11
       +
       The two modules are designed for use with Camlp4 and Camlp5:

     

       12
       12
       +
       - The stream patterns and stream expressions of Camlp4/Camlp5 consume

     

       13
       13
       +
         and produce data of type 'a Stream.t.

     

       14
       14
       +
       - The Genlex tokenizer can be used as a simple lexical analyzer for

     

       15
       15
       +
         Camlp4/Camlp5-generated parsers.

     

       16
       16
       +
       

     

       17
       17
       +
       The Stream module can also be used by hand-written recursive-descent

     

       18
       18
       +
       parsers, but is not very convenient for this purpose.

     

       19
       19
       +
       

     

       20
       20
       +
       The Stream and Genlex modules have been part of the OCaml standard library

     

       21
       21
       +
       for a long time, and have been distributed as part of the core OCaml system.

     

       22
       22
       +
       They will be removed from the OCaml standard library at some future point,

     

       23
       23
       +
       but will be maintained and distributed separately in this camlpstreams package.

     

       24
       24
       +
       """

     

       25
       25
       +
       maintainer: [

     

       26
       26
       +
         "Florian Angeletti <florian.angeletti@inria.fr>"

     

       27
       27
       +
         "Xavier Leroy <xavier.leroy@college-de-france.fr>"

     

       28
       28
       +
       ]

     

       29
       29
       +
       authors: ["Daniel de Rauglaudre" "Xavier Leroy"]

     

       30
       30
       +
       license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       31
       31
       +
       homepage: "https://github.com/ocaml/camlp-streams"

     

       32
       32
       +
       bug-reports: "https://github.com/ocaml/camlp-streams/issues"

     

       33
       33
       +
       depends: [

     

       34
       34
       +
         "dune" {>= "2.7"}

     

       35
       35
       +
         "ocaml" {>= "4.02.3"}

     

       36
       36
       +
         "odoc" {with-doc}

     

       37
       37
       +
       ]

     

       38
       38
       +
       build: [

     

       39
       39
       +
         ["dune" "subst"] {dev}

     

       40
       40
       +
         [

     

       41
       41
       +
           "dune"

     

       42
       42
       +
           "build"

     

       43
       43
       +
           "-p"

     

       44
       44
       +
           name

     

       45
       45
       +
           "-j"

     

       46
       46
       +
           jobs

     

       47
       47
       +
           "@install"

     

       48
       48
       +
           "@runtest" {with-test}

     

       49
       49
       +
           "@doc" {with-doc}

     

       50
       50
       +
         ]

     

       51
       51
       +
       ]

     

       52
       52
       +
       dev-repo: "git+https://github.com/ocaml/camlp-streams.git"

     

       53
       53
       +
       url {

     

       54
       54
       +
         src: "https://github.com/ocaml/camlp-streams/archive/v5.0.1.tar.gz"

     

       55
       55
       +
         checksum: [

     

       56
       56
       +
           "md5=afc874b25f7a1f13e8f5cfc1182b51a7"

     

       57
       57
       +
           "sha512=2efa8dd4a636217c8d49bac1e4e7e5558fc2f45cfea66514140a59fd99dd08d61fb9f1e17804997ff648b71b13820a5d4a1eb70fed9d848aa2abd6e41f853c86"

     

       58
       58
       +
         ]

     

       59
       59
       +
       }

+1 -1

packages/camlp-streams/camlp-streams.5.0/opam

···

       32
       32
        
       license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       33
       33
        
       depends: [

     

       34
       34
        
         "dune" {>= "2.5"}

     

       35
       35
       -
         "ocaml" {>= "4.02.3"}

     

       35
       35
       +
         "ocaml" {>= "5.0"}

     

       36
       36
        
       ]

     

       37
       37
        
       build: [

     

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

+42

packages/chamelon-unix/chamelon-unix.0.0.9.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: [ "yomimono <maintenance@identity-function.com>" ]

     

       3
       3
       +
       authors: [ "yomimono <maintenance@identity-function.com>" ]

     

       4
       4
       +
       homepage: "https://github.com/yomimono/chamelon"

     

       5
       5
       +
       bug-reports: "https://github.com/yomimono/chamelon/issues"

     

       6
       6
       +
       dev-repo: "git+https://github.com/yomimono/chamelon.git"

     

       7
       7
       +
       license: "ISC"

     

       8
       8
       +
       synopsis: "Command-line Unix utilities for chamelon filesystems"

     

       9
       9
       +
       

     

       10
       10
       +
       build: [

     

       11
       11
       +
        [ "dune" "build" "-p" name "-j" jobs ]

     

       12
       12
       +
        [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       13
       13
       +
       ]

     

       14
       14
       +
       

     

       15
       15
       +
       depends: [

     

       16
       16
       +
         "ocaml" {>= "4.10.0"}

     

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

     

       18
       18
       +
         "mirage-crypto-rng" {>= "0.10.6" & with-test}

     

       19
       19
       +
         "alcotest" {>= "1.5.0" & with-test}

     

       20
       20
       +
         "alcotest-lwt" {>= "1.5.0" & with-test}

     

       21
       21
       +
         "bos" {>= "0.2.0"}

     

       22
       22
       +
         "chamelon" {= version}

     

       23
       23
       +
         "cmdliner" {>= "1.1.0"}

     

       24
       24
       +
         "fmt" {>= "0.8.7"}

     

       25
       25
       +
         "logs" {>= "0.6.0"}

     

       26
       26
       +
         "lwt" {>= "5.3.0"}

     

       27
       27
       +
         "mirage-block" {>= "3.0.0"}

     

       28
       28
       +
         "mirage-block-unix" {>= "2.13.0"}

     

       29
       29
       +
         "mirage-clock" {>= "2.0.0"}

     

       30
       30
       +
         "mirage-clock-unix" {>= "4.0.0"}

     

       31
       31
       +
         "mirage-kv" {>= "4.0.1"}

     

       32
       32
       +
         "mirage-logs" {>= "1.2.0"}

     

       33
       33
       +
       ]

     

       34
       34
       +
       url {

     

       35
       35
       +
         src:

     

       36
       36
       +
           "https://github.com/yomimono/chamelon/releases/download/v0.0.9.1/chamelon-v0.0.9.1.tbz"

     

       37
       37
       +
         checksum: [

     

       38
       38
       +
           "sha256=14c8e64ce48dbfc09876a1a66351e44ce41669b87a0cc7c900a1cadc563d9bad"

     

       39
       39
       +
           "sha512=8988a0f03b1b0f89fee68a3950710705f1053536c24cde3dbb8916a2f0a90ce72eb97cacd400101f715a240dae6596f1fa598ec38bf30069be7d159a7f960653"

     

       40
       40
       +
         ]

     

       41
       41
       +
       }

     

       42
       42
       +
       x-commit-hash: "0c1d470001f6c2c6598118a88cb4534f15f3ac68"

+55

packages/chamelon/chamelon.0.0.9.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: [ "yomimono <maintenance@identity-function.com>" ]

     

       3
       3
       +
       authors: [ "yomimono <maintenance@identity-function.com>" ]

     

       4
       4
       +
       homepage: "https://github.com/yomimono/chamelon"

     

       5
       5
       +
       bug-reports: "https://github.com/yomimono/chamelon/issues"

     

       6
       6
       +
       dev-repo: "git+https://github.com/yomimono/chamelon.git"

     

       7
       7
       +
       license: "ISC"

     

       8
       8
       +
       synopsis: "Subset of littlefs filesystem fulfilling MirageOS KV"

     

       9
       9
       +
       description: """

     

       10
       10
       +
       Chamelon implements a subset of the littlefs filesystem,

     

       11
       11
       +
       which was originally designed for microcontroller use.  It exposes

     

       12
       12
       +
       an interface matching the Mirage_kv.RW module type and operates

     

       13
       13
       +
       on top of a block device matching Mirage_block.S .

     

       14
       14
       +
       

     

       15
       15
       +
       It is extremely not POSIX."""

     

       16
       16
       +
       

     

       17
       17
       +
       build: [

     

       18
       18
       +
        [ "dune" "build" "-p" name "-j" jobs ]

     

       19
       19
       +
        [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       20
       20
       +
       ]

     

       21
       21
       +
       

     

       22
       22
       +
       depends: [

     

       23
       23
       +
         "ocaml" {>= "4.10.0"}

     

       24
       24
       +
         "dune" {>= "2.9.0"}

     

       25
       25
       +
         "chamelon-unix" {= version & with-test}

     

       26
       26
       +
         "crowbar" {>= "0.2.1" & with-test}

     

       27
       27
       +
         "fpath" {>= "0.7.3" & with-test}

     

       28
       28
       +
         "alcotest" {>= "1.5.0" & with-test}

     

       29
       29
       +
         "alcotest-lwt" {>= "1.5.0" & with-test}

     

       30
       30
       +
         "mirage-block-unix" {>= "2.13.0" & with-test}

     

       31
       31
       +
         "mirage-crypto-rng" {>= "0.10.6" & with-test}

     

       32
       32
       +
         "bechamel" {>= "0.2.0" & with-test}

     

       33
       33
       +
         "bechamel-js" {>= "0.2.0" & with-test}

     

       34
       34
       +
         "checkseum" {>= "0.3.2"}

     

       35
       35
       +
         "cstruct" {>= "6.0.0"}

     

       36
       36
       +
         "digestif" {>= "1.0.0"}

     

       37
       37
       +
         "fmt" {>= "0.8.7"}

     

       38
       38
       +
         "logs" {>= "0.6.0"}

     

       39
       39
       +
         "lwt" {>= "5.3.0"}

     

       40
       40
       +
         "ptime" {>= "0.8.6"}

     

       41
       41
       +
         "mirage-block" {>= "3.0.0"}

     

       42
       42
       +
         "mirage-clock" {>= "2.0.0"}

     

       43
       43
       +
         "mirage-kv" {>= "4.0.1"}

     

       44
       44
       +
         "mirage-logs" {>= "1.2.0"}

     

       45
       45
       +
         "optint" {>= "0.0.4"}

     

       46
       46
       +
       ]

     

       47
       47
       +
       url {

     

       48
       48
       +
         src:

     

       49
       49
       +
           "https://github.com/yomimono/chamelon/releases/download/v0.0.9.1/chamelon-v0.0.9.1.tbz"

     

       50
       50
       +
         checksum: [

     

       51
       51
       +
           "sha256=14c8e64ce48dbfc09876a1a66351e44ce41669b87a0cc7c900a1cadc563d9bad"

     

       52
       52
       +
           "sha512=8988a0f03b1b0f89fee68a3950710705f1053536c24cde3dbb8916a2f0a90ce72eb97cacd400101f715a240dae6596f1fa598ec38bf30069be7d159a7f960653"

     

       53
       53
       +
         ]

     

       54
       54
       +
       }

     

       55
       55
       +
       x-commit-hash: "0c1d470001f6c2c6598118a88cb4534f15f3ac68"

+29

packages/class_group_vdf/class_group_vdf.0.0.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Verifiable Delay Functions bindings to Chia's VDF"

     

       3
       3
       +
       maintainer: "Nomadic Labs <contact@nomadic-labs.com>"

     

       4
       4
       +
       authors: "Nomadic Labs <contact@nomadic-labs.com>"

     

       5
       5
       +
       license: "MIT"

     

       6
       6
       +
       homepage: "https://gitlab.com/nomadic-labs/tezos"

     

       7
       7
       +
       bug-reports: "https://gitlab.com/nomadic-labs/tezos/issues"

     

       8
       8
       +
       depends: [

     

       9
       9
       +
         "ocaml" {>= "4.08" & < "5.0"}

     

       10
       10
       +
         "dune" {>= "2.8.4"}

     

       11
       11
       +
         "zarith" {>= "1.10" & < "2.0"}

     

       12
       12
       +
         "alcotest" {with-test}

     

       13
       13
       +
         "bisect_ppx" {with-test & >= "2.5"}

     

       14
       14
       +
         "conf-gmp"

     

       15
       15
       +
         "conf-g++"

     

       16
       16
       +
         "integers"

     

       17
       17
       +
       ]

     

       18
       18
       +
       available: arch != "arm32" & arch != "x86_32"

     

       19
       19
       +
       build: ["dune" "build" "-j" jobs "-p" name "@install"]

     

       20
       20
       +
       run-test: ["dune" "runtest" "-p" name "-j" jobs]

     

       21
       21
       +
       dev-repo: "git+https://gitlab.com/nomadic-labs/tezos"

     

       22
       22
       +
       url {

     

       23
       23
       +
         src:

     

       24
       24
       +
           "https://gitlab.com/rrtoledo/ocaml-chia-vdf/-/archive/v0.0.3/ocaml-chia-vdf-v0.0.3.tar.gz"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=aa2d03ad4dcd08f481c99e67e1c13561"

     

       27
       27
       +
           "sha512=b06b1bf5e81a415a2e3d9c9873bc79b08caa28b65b3d2ddd8e76f20a304b2da6b9f33f1245fb41e93e3a8c77c95e47463aeca4e96cd2fc22f7e06a0d58cf6045"

     

       28
       28
       +
         ]

     

       29
       29
       +
       }

+48

packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer:   "e@x80.org"

     

       3
       3
       +
       homepage:     "https://github.com/ejgallego/coq-serapi"

     

       4
       4
       +
       bug-reports:  "https://github.com/ejgallego/coq-serapi/issues"

     

       5
       5
       +
       dev-repo:     "git+https://github.com/ejgallego/coq-serapi.git"

     

       6
       6
       +
       license:      "GPL-3.0-or-later"

     

       7
       7
       +
       doc:          "https://ejgallego.github.io/coq-serapi/"

     

       8
       8
       +
       

     

       9
       9
       +
       synopsis:     "Serialization library and protocol for machine interaction with the Coq proof assistant"

     

       10
       10
       +
       description:  """

     

       11
       11
       +
       SerAPI is a library for machine-to-machine interaction with the

     

       12
       12
       +
       Coq proof assistant, with particular emphasis on applications in IDEs,

     

       13
       13
       +
       code analysis tools, and machine learning. SerAPI provides automatic

     

       14
       14
       +
       serialization of Coq's internal OCaml datatypes from/to JSON or

     

       15
       15
       +
       S-expressions (sexps).

     

       16
       16
       +
       """

     

       17
       17
       +
       

     

       18
       18
       +
       authors: [

     

       19
       19
       +
         "Emilio Jesús Gallego Arias"

     

       20
       20
       +
         "Karl Palmskog"

     

       21
       21
       +
         "Clément Pit-Claudel"

     

       22
       22
       +
         "Kaiyu Yang"

     

       23
       23
       +
       ]

     

       24
       24
       +
       

     

       25
       25
       +
       depends: [

     

       26
       26
       +
         "ocaml"               {           >= "4.07.0"              }

     

       27
       27
       +
         "coq"                 {           >= "8.15" & < "8.16"     }

     

       28
       28
       +
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       +
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
       +
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
       +
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       +
         "ppx_import"          { build   & >= "1.5-3"               }

     

       33
       33
       +
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
       +
         "ppx_sexp_conv"       {           >= "v0.13.0" }

     

       35
       35
       +
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
       +
         "ppx_deriving_yojson" {           >= "3.4"                 }

     

       37
       37
       +
       ]

     

       38
       38
       +
       

     

       39
       39
       +
       build: [ "dune" "build" "-p" name "-j" jobs ]

     

       40
       40
       +
       url {

     

       41
       41
       +
         src:

     

       42
       42
       +
           "https://github.com/ejgallego/coq-serapi/releases/download/8.15.0%2B0.15.2/coq-serapi-8.15.0.0.15.2.tbz"

     

       43
       43
       +
         checksum: [

     

       44
       44
       +
           "sha256=e252d05b41e920c1df4343c437be4018804971ecfd00291ddb4d31ce72281853"

     

       45
       45
       +
           "sha512=1f936181265346d0cd17ec292b98f201382ea84440b415b77664430044ba599072e653366f080d8b63ee5f8fe5bfc0d2cd2a38cc759532500d8c60a483fe36b7"

     

       46
       46
       +
         ]

     

       47
       47
       +
       }

     

       48
       48
       +
       x-commit-hash: "20f868bbf1a387852c3973f0afd60cab885d39b4"

+1 -1

packages/cryptokit/cryptokit.1.11/opam

···

       5
       5
        
       homepage: "https://forge.ocamlcore.org/projects/cryptokit/"

     

       6
       6
        
       remove: [["ocamlfind" "remove" "cryptokit"]]

     

       7
       7
        
       depends: [

     

       8
       8
       -
         "ocaml" {>= "4.02.0"}

     

       8
       8
       +
         "ocaml" {>= "4.02.0" & < "5.0"}

     

       9
       9
        
         "ocamlfind"

     

       10
       10
        
         "ocamlbuild" {build & != "0.9.0"}

     

       11
       11
        
         "conf-zlib"

+1 -1

packages/cryptokit/cryptokit.1.12/opam

···

       4
       4
        
       bug-reports: "https://github.com/xavierleroy/cryptokit/issues"

     

       5
       5
        
       homepage: "https://github.com/xavierleroy/cryptokit"

     

       6
       6
        
       depends: [

     

       7
       7
       -
         "ocaml" {>= "4.02.0"}

     

       7
       7
       +
         "ocaml" {>= "4.02.0" & < "5.0"}

     

       8
       8
        
         "ocamlfind"

     

       9
       9
        
         "ocamlbuild" {build & != "0.9.0"}

     

       10
       10
        
         "conf-zlib"

+1 -1

packages/cryptokit/cryptokit.1.13/opam

···

       5
       5
        
       homepage: "https://github.com/xavierleroy/cryptokit"

     

       6
       6
        
       dev-repo: "git+https://github.com/xavierleroy/cryptokit.git"

     

       7
       7
        
       depends: [

     

       8
       8
       -
         "ocaml" {>= "4.02.0"}

     

       8
       8
       +
         "ocaml" {>= "4.02.0" & < "5.0"}

     

       9
       9
        
         "ocamlfind" {build}

     

       10
       10
        
         "ocamlbuild" {build & != "0.9.0"}

     

       11
       11
        
         "conf-zlib"

+1 -1

packages/cryptokit/cryptokit.1.14/opam

···

       5
       5
        
       homepage: "https://github.com/xavierleroy/cryptokit"

     

       6
       6
        
       dev-repo: "git+https://github.com/xavierleroy/cryptokit.git"

     

       7
       7
        
       depends: [

     

       8
       8
       -
         "ocaml" {>= "4.02.0"}

     

       8
       8
       +
         "ocaml" {>= "4.02.0" & < "5.0"}

     

       9
       9
        
         "ocamlfind" {build}

     

       10
       10
        
         "ocamlbuild" {build & != "0.9.0"}

     

       11
       11
        
         "conf-zlib"

+30

packages/cryptoverif/cryptoverif.2.06/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "CryptoVerif: Cryptographic protocol verifier in the computational model"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       CryptoVerif is an automatic protocol prover sound in the computational model. It can prove

     

       5
       5
       +
       

     

       6
       6
       +
         - secrecy;

     

       7
       7
       +
         - correspondences, which include in particular authentication;

     

       8
       8
       +
         - indistinguishability between two games.

     

       9
       9
       +
       

     

       10
       10
       +
       It provides a generic mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular symmetric encryption, message authentication codes, public-key encryption, signatures, hash functions.

     

       11
       11
       +
       

     

       12
       12
       +
       The generated proofs are proofs by sequences of games, as used by cryptographers. These proofs are valid for a number of sessions polynomial in the security parameter, in the presence of an active adversary. CryptoVerif can also evaluate the probability of success of an attack against the protocol as a function of the probability of breaking each cryptographic primitive and of the number of sessions (exact security).

     

       13
       13
       +
       

     

       14
       14
       +
       This software is under development; please use it at your own risk. Comments and bug reports welcome. 

     

       15
       15
       +
       """

     

       16
       16
       +
       maintainer: "Bruno Blanchet <Bruno.Blanchet@inria.fr>"

     

       17
       17
       +
       authors: "Bruno Blanchet <Bruno.Blanchet@inria.fr> and David Cadé <David.Cade@normalesup.org>"

     

       18
       18
       +
       license: "CECILL-B"

     

       19
       19
       +
       homepage: "https://cryptoverif.inria.fr"

     

       20
       20
       +
       dev-repo: "git+https://gitlab.inria.fr/bblanche/CryptoVerif.git"

     

       21
       21
       +
       bug-reports: "Bruno.Blanchet@inria.fr"

     

       22
       22
       +
       depends: [ "ocaml" { >= "4.03" } "ocamlfind" { post } "cryptokit" { post } "conf-m4" { post } ]

     

       23
       23
       +
       build: [

     

       24
       24
       +
              [ "./build" "byte" { !ocaml:native } ] 

     

       25
       25
       +
       ]

     

       26
       26
       +
       install: [ "./build" "install" "%{prefix}%" ]

     

       27
       27
       +
       url {

     

       28
       28
       +
         src: "https://cryptoverif.inria.fr/cryptoverif2.06.tar.gz"

     

       29
       29
       +
         checksum: "md5=44c641a07abb652e6299c7ac71a8945c"

     

       30
       30
       +
       }

+1

packages/datakit-server/datakit-server.0.10.0/opam

···

       25
       25
        
         "sexplib"

     

       26
       26
        
         "prometheus"

     

       27
       27
        
         "cmdliner"

     

       28
       28
       +
         "lwt" {< "5.6.0"}

     

       28
       29
        
       ]

     

       29
       30
        
       synopsis: "A library to write Datakit servers"

     

       30
       31
        
       description: """

+1

packages/datakit-server/datakit-server.0.10.1/opam

···

       25
       25
        
         "sexplib"

     

       26
       26
        
         "prometheus"

     

       27
       27
        
         "cmdliner"

     

       28
       28
       +
         "lwt" {< "5.6.0"}

     

       28
       29
        
       ]

     

       29
       30
        
       synopsis: "A library to write Datakit servers"

     

       30
       31
        
       description: """

+1 -1

packages/datakit-server/datakit-server.0.11.0/opam

···

       17
       17
        
         "logs"

     

       18
       18
        
         "rresult"

     

       19
       19
        
         "fmt"

     

       20
       20
       -
         "lwt" {>= "3.0.0"}

     

       20
       20
       +
         "lwt" {>= "3.0.0" & < "5.6.0"}

     

       21
       21
        
         "cstruct" {>= "2.2.0"}

     

       22
       22
        
       ]

     

       23
       23
        
       synopsis: "A library to write Datakit servers"

+1 -1

packages/datakit-server/datakit-server.0.12.0/opam

···

       17
       17
        
         "logs"

     

       18
       18
        
         "rresult"

     

       19
       19
        
         "fmt"

     

       20
       20
       -
         "lwt" {>= "3.0.0"}

     

       20
       20
       +
         "lwt" {>= "3.0.0" & < "5.6.0"}

     

       21
       21
        
         "cstruct" {>= "2.2.0" & < "6.1.0"}

     

       22
       22
        
       ]

     

       23
       23
        
       synopsis: "A library to write Datakit servers"

+1 -1

packages/datakit-server/datakit-server.0.12.2/opam

···

       14
       14
        
         "logs"

     

       15
       15
        
         "rresult"

     

       16
       16
        
         "fmt"

     

       17
       17
       -
         "lwt" {>= "3.0.0"}

     

       17
       17
       +
         "lwt" {>= "3.0.0" & < "5.6.0"}

     

       18
       18
        
         "cstruct" {>= "2.2.0" & < "6.1.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       build: ["dune" "build" "-p" name "-j" jobs]

+1 -1

packages/datakit-server/datakit-server.0.12.3/opam

···

       14
       14
        
         "logs"

     

       15
       15
        
         "rresult"

     

       16
       16
        
         "fmt"

     

       17
       17
       -
         "lwt" {>= "3.0.0"}

     

       17
       17
       +
         "lwt" {>= "3.0.0" & < "5.6.0"}

     

       18
       18
        
         "cstruct" {>= "2.2.0" & < "6.1.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       build: ["dune" "build" "-p" name "-j" jobs]

+1

packages/datakit-server/datakit-server.0.6.0/opam

···

       26
       26
        
         "protocol-9p" {>= "0.7.0" & < "0.9.0"}

     

       27
       27
        
         "sexplib" {< "v0.11.0"}

     

       28
       28
        
         "mirage-types-lwt" {>= "2.6.0" & < "3.0.0"}

     

       29
       29
       +
         "lwt" {< "5.6.0"}

     

       29
       30
        
       ]

     

       30
       31
        
       synopsis: "A library to write Datakit servers"

     

       31
       32
        
       description: """

+1

packages/datakit-server/datakit-server.0.7.0/opam

···

       26
       26
        
         "protocol-9p" {>= "0.7.4" & < "0.9.0"}

     

       27
       27
        
         "sexplib" {< "v0.11.0"}

     

       28
       28
        
         "mirage-types-lwt" {>= "2.6.0" & < "3.0.0"}

     

       29
       29
       +
         "lwt" {< "5.6.0"}

     

       29
       30
        
       ]

     

       30
       31
        
       synopsis: "A library to write Datakit servers"

     

       31
       32
        
       description: """

+1

packages/datakit-server/datakit-server.0.8.0/opam

···

       27
       27
        
         "protocol-9p" {>= "0.7.4" & < "0.9.0"}

     

       28
       28
        
         "sexplib" {< "v0.11.0"}

     

       29
       29
        
         "mirage-types-lwt" {>= "2.6.0" & < "3.0.0"}

     

       30
       30
       +
         "lwt" {< "5.6.0"}

     

       30
       31
        
       ]

     

       31
       32
        
       synopsis: "A library to write Datakit servers"

     

       32
       33
        
       description: """

+1

packages/datakit-server/datakit-server.0.9.0/opam

···

       27
       27
        
         "protocol-9p" {>= "0.7.4" & < "0.9.0"}

     

       28
       28
        
         "sexplib" {< "v0.11.0"}

     

       29
       29
        
         "mirage-types-lwt" {>= "2.6.0" & < "3.0.0"}

     

       30
       30
       +
         "lwt" {< "5.6.0"}

     

       30
       31
        
       ]

     

       31
       32
        
       synopsis: "A library to write Datakit servers"

     

       32
       33
        
       description: """

+1 -1

packages/datakit-server/datakit-server.1.0.0/opam

···

       14
       14
        
         "logs"

     

       15
       15
        
         "rresult"

     

       16
       16
        
         "fmt"

     

       17
       17
       -
         "lwt" {>= "3.0.0"}

     

       17
       17
       +
         "lwt" {>= "3.0.0" & < "5.6.0"}

     

       18
       18
        
         "cstruct" {>= "2.2.0" & < "6.1.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       build: ["dune" "build" "-p" name "-j" jobs]

+1 -1

packages/docteur-unix/docteur-unix.0.0.2/opam

···

       18
       18
        
         "digestif" {>= "1.0.0"}

     

       19
       19
        
         "git" {>= "3.4.0"}

     

       20
       20
        
         "logs" {>= "0.7.0"}

     

       21
       21
       -
         "lwt" {>= "5.4.0"}

     

       21
       21
       +
         "lwt" {>= "5.4.0" & < "5.6.0"}

     

       22
       22
        
         "mirage-kv" {>= "3.0.1"}

     

       23
       23
        
         "mirage" {with-test & < "4.0"}

     

       24
       24
        
         "mirage-unix" {with-test}

+1 -1

packages/docteur-unix/docteur-unix.0.0.3/opam

···

       18
       18
        
         "digestif" {>= "1.0.0"}

     

       19
       19
        
         "git" {>= "3.7.0"}

     

       20
       20
        
         "logs" {>= "0.7.0"}

     

       21
       21
       -
         "lwt" {>= "5.4.0"}

     

       21
       21
       +
         "lwt" {>= "5.4.0" & < "5.6.0"}

     

       22
       22
        
         "mirage-kv" {>= "3.0.0"}

     

       23
       23
        
       ]

     

       24
       24
        
       build: ["dune" "build" "-p" name "-j" jobs]

+1 -1

packages/docteur-unix/docteur-unix.0.0.4/opam

···

       18
       18
        
         "digestif" {>= "1.0.0"}

     

       19
       19
        
         "git" {>= "3.7.0"}

     

       20
       20
        
         "logs" {>= "0.7.0"}

     

       21
       21
       -
         "lwt" {>= "5.4.0"}

     

       21
       21
       +
         "lwt" {>= "5.4.0" & < "5.6.0"}

     

       22
       22
        
         "mirage-kv" {>= "3.0.0"}

     

       23
       23
        
       ]

     

       24
       24
        
       build: ["dune" "build" "-p" name "-j" jobs]

+1 -1

packages/docteur/docteur.0.0.1/opam

···

       21
       21
        
         "git-cohttp-unix" {>= "3.4.0"}

     

       22
       22
        
         "git-unix" {>= "3.4.0"}

     

       23
       23
        
         "logs" {>= "0.7.0"}

     

       24
       24
       -
         "lwt" {>= "5.4.0"}

     

       24
       24
       +
         "lwt" {>= "5.4.0" & < "5.6.0"}

     

       25
       25
        
         "mmap" {>= "1.1.0"}

     

       26
       26
        
         "mtime" {>= "1.2.0"}

     

       27
       27
        
         "result" {>= "1.5"}

+1

packages/docteur/docteur.0.0.5/opam

···

       25
       25
        
         "rresult" {>= "0.6.0"}

     

       26
       26
        
         "carton" {>= "0.4.0"}

     

       27
       27
        
         "art" {>= "0.1.1"}

     

       28
       28
       +
         "mmap"

     

       28
       29
        
       ]

     

       29
       30
        
       build: ["dune" "build" "-p" name "-j" jobs]

     

       30
       31
        
       run-test: ["dune" "runtest" "-p" name "-j" jobs]

+1 -1

packages/dot-merlin-reader/dot-merlin-reader.4.1/opam

···

       10
       10
        
         ["dune" "build" "-p" name "-j" jobs]

     

       11
       11
        
       ]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "ocaml" {>= "4.06.1" }

     

       13
       13
       +
         "ocaml" {>= "4.06.1" & < "5.0.0"}

     

       14
       14
        
         "dune" {>= "2.7.0"}

     

       15
       15
        
         "yojson" {>= "1.6.0"}

     

       16
       16
        
         "ocamlfind" {>= "1.6.0"}

+1 -1

packages/dot-merlin-reader/dot-merlin-reader.4.2/opam

···

       11
       11
        
         ["dune" "build" "-p" name "-j" jobs]

     

       12
       12
        
       ]

     

       13
       13
        
       depends: [

     

       14
       14
       -
         "ocaml" {>= "4.08"}

     

       14
       14
       +
         "ocaml" {>= "4.08" & < "5.0.0"}

     

       15
       15
        
         "dune" {>= "2.9.0"}

     

       16
       16
        
         "yojson" {>= "1.6.0"}

     

       17
       17
        
         "ocamlfind" {>= "1.6.0"}

+51

packages/eio/eio.0.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Effect-based direct-style IO API for OCaml"

     

       3
       3
       +
       description: "An effect-based IO API for multicore OCaml with fibers."

     

       4
       4
       +
       maintainer: ["anil@recoil.org"]

     

       5
       5
       +
       authors: ["Anil Madhavapeddy" "Thomas Leonard"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/ocaml-multicore/eio"

     

       8
       8
       +
       doc: "https://ocaml-multicore.github.io/eio/"

     

       9
       9
       +
       bug-reports: "https://github.com/ocaml-multicore/eio/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.9"}

     

       12
       12
       +
         "ocaml" {>= "4.12.0"}

     

       13
       13
       +
         "base-domains"

     

       14
       14
       +
         "bigstringaf" {>= "0.9.0"}

     

       15
       15
       +
         "cstruct" {>= "6.0.1"}

     

       16
       16
       +
         "lwt-dllist"

     

       17
       17
       +
         "optint" {>= "0.1.0"}

     

       18
       18
       +
         "psq" {>= "0.2.0"}

     

       19
       19
       +
         "fmt" {>= "0.8.9"}

     

       20
       20
       +
         "astring" {>= "0.8.5" & with-test}

     

       21
       21
       +
         "crowbar" {>= "0.2" & with-test}

     

       22
       22
       +
         "mtime" {>= "1.2.0"}

     

       23
       23
       +
         "alcotest" {>= "1.4.0" & with-test}

     

       24
       24
       +
         "odoc" {with-doc}

     

       25
       25
       +
       ]

     

       26
       26
       +
       build: [

     

       27
       27
       +
         ["dune" "subst"] {dev}

     

       28
       28
       +
         [

     

       29
       29
       +
           "dune"

     

       30
       30
       +
           "build"

     

       31
       31
       +
           "-p"

     

       32
       32
       +
           name

     

       33
       33
       +
           "-j"

     

       34
       34
       +
           jobs

     

       35
       35
       +
           "--promote-install-files=false"

     

       36
       36
       +
           "@install"

     

       37
       37
       +
           "@runtest" {with-test}

     

       38
       38
       +
           "@doc" {with-doc}

     

       39
       39
       +
         ]

     

       40
       40
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       41
       41
       +
       ]

     

       42
       42
       +
       dev-repo: "git+https://github.com/ocaml-multicore/eio.git"

     

       43
       43
       +
       url {

     

       44
       44
       +
         src:

     

       45
       45
       +
           "https://github.com/ocaml-multicore/eio/releases/download/v0.3/eio-0.3.tbz"

     

       46
       46
       +
         checksum: [

     

       47
       47
       +
           "sha256=1af8852025776d68eea24fd3baeffcb15b0db09805865fa3fa191f3139b689f9"

     

       48
       48
       +
           "sha512=12620fdeab7b444ce37226c34d4719560a8e2fa5dbfacf0c6d9480e0ee7d1759cd8293fc7fe451383c13fcc069ab33ad44d10b32d6dbc980d3163c209e1a03a6"

     

       49
       49
       +
         ]

     

       50
       50
       +
       }

     

       51
       51
       +
       x-commit-hash: "0b56cec54f3c9e0b9c4382e33b7594eef13af3d0"

+47

packages/eio_linux/eio_linux.0.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Eio implementation for Linux using io-uring"

     

       3
       3
       +
       description: "An eio implementation for Linux using io-uring."

     

       4
       4
       +
       maintainer: ["anil@recoil.org"]

     

       5
       5
       +
       authors: ["Anil Madhavapeddy" "Thomas Leonard"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/ocaml-multicore/eio"

     

       8
       8
       +
       doc: "https://ocaml-multicore.github.io/eio/"

     

       9
       9
       +
       bug-reports: "https://github.com/ocaml-multicore/eio/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.9"}

     

       12
       12
       +
         "alcotest" {>= "1.4.0" & with-test}

     

       13
       13
       +
         "base-domains"

     

       14
       14
       +
         "eio" {= version}

     

       15
       15
       +
         "mdx" {>= "1.10.0" & with-test}

     

       16
       16
       +
         "logs" {>= "0.7.0"}

     

       17
       17
       +
         "fmt" {>= "0.8.9"}

     

       18
       18
       +
         "cmdliner" {>= "1.1.0" & with-test}

     

       19
       19
       +
         "uring" {>= "0.3"}

     

       20
       20
       +
         "odoc" {with-doc}

     

       21
       21
       +
       ]

     

       22
       22
       +
       build: [

     

       23
       23
       +
         ["dune" "subst"] {dev}

     

       24
       24
       +
         [

     

       25
       25
       +
           "dune"

     

       26
       26
       +
           "build"

     

       27
       27
       +
           "-p"

     

       28
       28
       +
           name

     

       29
       29
       +
           "-j"

     

       30
       30
       +
           jobs

     

       31
       31
       +
           "--promote-install-files=false"

     

       32
       32
       +
           "@install"

     

       33
       33
       +
           "@runtest" {with-test}

     

       34
       34
       +
           "@doc" {with-doc}

     

       35
       35
       +
         ]

     

       36
       36
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       37
       37
       +
       ]

     

       38
       38
       +
       dev-repo: "git+https://github.com/ocaml-multicore/eio.git"

     

       39
       39
       +
       url {

     

       40
       40
       +
         src:

     

       41
       41
       +
           "https://github.com/ocaml-multicore/eio/releases/download/v0.3/eio-0.3.tbz"

     

       42
       42
       +
         checksum: [

     

       43
       43
       +
           "sha256=1af8852025776d68eea24fd3baeffcb15b0db09805865fa3fa191f3139b689f9"

     

       44
       44
       +
           "sha512=12620fdeab7b444ce37226c34d4719560a8e2fa5dbfacf0c6d9480e0ee7d1759cd8293fc7fe451383c13fcc069ab33ad44d10b32d6dbc980d3163c209e1a03a6"

     

       45
       45
       +
         ]

     

       46
       46
       +
       }

     

       47
       47
       +
       x-commit-hash: "0b56cec54f3c9e0b9c4382e33b7594eef13af3d0"

+46

packages/eio_luv/eio_luv.0.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Eio implementation using luv (libuv)"

     

       3
       3
       +
       description: "An eio implementation for most platforms, using luv."

     

       4
       4
       +
       maintainer: ["anil@recoil.org"]

     

       5
       5
       +
       authors: ["Anil Madhavapeddy" "Thomas Leonard"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/ocaml-multicore/eio"

     

       8
       8
       +
       doc: "https://ocaml-multicore.github.io/eio/"

     

       9
       9
       +
       bug-reports: "https://github.com/ocaml-multicore/eio/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.9"}

     

       12
       12
       +
         "base-domains"

     

       13
       13
       +
         "eio" {= version}

     

       14
       14
       +
         "luv" {>= "0.5.11"}

     

       15
       15
       +
         "luv_unix" {>= "0.5.0"}

     

       16
       16
       +
         "mdx" {>= "1.10.0" & with-test}

     

       17
       17
       +
         "logs" {>= "0.7.0"}

     

       18
       18
       +
         "fmt" {>= "0.8.9"}

     

       19
       19
       +
         "odoc" {with-doc}

     

       20
       20
       +
       ]

     

       21
       21
       +
       build: [

     

       22
       22
       +
         ["dune" "subst"] {dev}

     

       23
       23
       +
         [

     

       24
       24
       +
           "dune"

     

       25
       25
       +
           "build"

     

       26
       26
       +
           "-p"

     

       27
       27
       +
           name

     

       28
       28
       +
           "-j"

     

       29
       29
       +
           jobs

     

       30
       30
       +
           "--promote-install-files=false"

     

       31
       31
       +
           "@install"

     

       32
       32
       +
           "@runtest" {with-test}

     

       33
       33
       +
           "@doc" {with-doc}

     

       34
       34
       +
         ]

     

       35
       35
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       36
       36
       +
       ]

     

       37
       37
       +
       dev-repo: "git+https://github.com/ocaml-multicore/eio.git"

     

       38
       38
       +
       url {

     

       39
       39
       +
         src:

     

       40
       40
       +
           "https://github.com/ocaml-multicore/eio/releases/download/v0.3/eio-0.3.tbz"

     

       41
       41
       +
         checksum: [

     

       42
       42
       +
           "sha256=1af8852025776d68eea24fd3baeffcb15b0db09805865fa3fa191f3139b689f9"

     

       43
       43
       +
           "sha512=12620fdeab7b444ce37226c34d4719560a8e2fa5dbfacf0c6d9480e0ee7d1759cd8293fc7fe451383c13fcc069ab33ad44d10b32d6dbc980d3163c209e1a03a6"

     

       44
       44
       +
         ]

     

       45
       45
       +
       }

     

       46
       46
       +
       x-commit-hash: "0b56cec54f3c9e0b9c4382e33b7594eef13af3d0"

+42

packages/eio_main/eio_main.0.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Effect-based direct-style IO mainloop for OCaml"

     

       3
       3
       +
       description: "Selects an appropriate Eio backend for the current platform."

     

       4
       4
       +
       maintainer: ["anil@recoil.org"]

     

       5
       5
       +
       authors: ["Anil Madhavapeddy" "Thomas Leonard"]

     

       6
       6
       +
       license: "ISC"

     

       7
       7
       +
       homepage: "https://github.com/ocaml-multicore/eio"

     

       8
       8
       +
       doc: "https://ocaml-multicore.github.io/eio/"

     

       9
       9
       +
       bug-reports: "https://github.com/ocaml-multicore/eio/issues"

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" {>= "2.9"}

     

       12
       12
       +
         "eio_linux" {= version & os = "linux"}

     

       13
       13
       +
         "mdx" {>= "1.10.0" & with-test}

     

       14
       14
       +
         "eio_luv" {= version}

     

       15
       15
       +
         "odoc" {with-doc}

     

       16
       16
       +
       ]

     

       17
       17
       +
       build: [

     

       18
       18
       +
         ["dune" "subst"] {dev}

     

       19
       19
       +
         [

     

       20
       20
       +
           "dune"

     

       21
       21
       +
           "build"

     

       22
       22
       +
           "-p"

     

       23
       23
       +
           name

     

       24
       24
       +
           "-j"

     

       25
       25
       +
           jobs

     

       26
       26
       +
           "--promote-install-files=false"

     

       27
       27
       +
           "@install"

     

       28
       28
       +
           "@runtest" {with-test}

     

       29
       29
       +
           "@doc" {with-doc}

     

       30
       30
       +
         ]

     

       31
       31
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       32
       32
       +
       ]

     

       33
       33
       +
       dev-repo: "git+https://github.com/ocaml-multicore/eio.git"

     

       34
       34
       +
       url {

     

       35
       35
       +
         src:

     

       36
       36
       +
           "https://github.com/ocaml-multicore/eio/releases/download/v0.3/eio-0.3.tbz"

     

       37
       37
       +
         checksum: [

     

       38
       38
       +
           "sha256=1af8852025776d68eea24fd3baeffcb15b0db09805865fa3fa191f3139b689f9"

     

       39
       39
       +
           "sha512=12620fdeab7b444ce37226c34d4719560a8e2fa5dbfacf0c6d9480e0ee7d1759cd8293fc7fe451383c13fcc069ab33ad44d10b32d6dbc980d3163c209e1a03a6"

     

       40
       40
       +
         ]

     

       41
       41
       +
       }

     

       42
       42
       +
       x-commit-hash: "0b56cec54f3c9e0b9c4382e33b7594eef13af3d0"

+95

packages/elpi/elpi.1.16.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"

     

       3
       3
       +
       authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]

     

       4
       4
       +
       license: "LGPL-2.1-or-later"

     

       5
       5
       +
       homepage: "https://github.com/LPCIC/elpi"

     

       6
       6
       +
       doc: "https://LPCIC.github.io/elpi/"

     

       7
       7
       +
       dev-repo: "git+https://github.com/LPCIC/elpi.git"

     

       8
       8
       +
       bug-reports: "https://github.com/LPCIC/elpi/issues"

     

       9
       9
       +
       

     

       10
       10
       +
       build: [

     

       11
       11
       +
         ["dune" "subst"] {dev}

     

       12
       12
       +
         [make "config" "LEGACY_PARSER=1"] {elpi-option-legacy-parser:installed}

     

       13
       13
       +
         [make "build" "DUNE_OPTS=-p %{name}% -j %{jobs}%"]

     

       14
       14
       +
         [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}

     

       15
       15
       +
       ]

     

       16
       16
       +
       

     

       17
       17
       +
       depends: [

     

       18
       18
       +
         "ocaml" {>= "4.07.0" }

     

       19
       19
       +
         "stdlib-shims"

     

       20
       20
       +
         "ppxlib" {>= "0.12.0" }

     

       21
       21
       +
         "menhir" {>= "20211230" }

     

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

     

       23
       23
       +
         "ppx_deriving" {>= "4.3"}

     

       24
       24
       +
         "ANSITerminal" {with-test}

     

       25
       25
       +
         "cmdliner" {with-test}

     

       26
       26
       +
         "dune" {>= "2.8.0"}

     

       27
       27
       +
         "conf-time" {with-test}

     

       28
       28
       +
         "atdgen" {>= "2.9.1"}

     

       29
       29
       +
         "atdts" {>= "2.9.1"}

     

       30
       30
       +
       ]

     

       31
       31
       +
       depopts: [

     

       32
       32
       +
         "elpi-option-legacy-parser"

     

       33
       33
       +
       ]

     

       34
       34
       +
       conflicts: [

     

       35
       35
       +
         "elpi-option-legacy-parser" {!= "1"}

     

       36
       36
       +
       ]

     

       37
       37
       +
       synopsis: "ELPI - Embeddable λProlog Interpreter"

     

       38
       38
       +
       description: """

     

       39
       39
       +
       ELPI implements a variant of λProlog enriched with Constraint Handling Rules,

     

       40
       40
       +
       a programming language well suited to manipulate syntax trees with binders.

     

       41
       41
       +
       

     

       42
       42
       +
       ELPI is designed to be embedded into larger applications written in OCaml as

     

       43
       43
       +
       an extension language. It comes with an API to drive the interpreter and 

     

       44
       44
       +
       with an FFI for defining built-in predicates and data types, as well as

     

       45
       45
       +
       quotations and similar goodies that are handy to adapt the language to the host

     

       46
       46
       +
       application.

     

       47
       47
       +
       

     

       48
       48
       +
       This package provides both a command line interpreter (elpi) and a library to

     

       49
       49
       +
       be linked in other applications (eg by passing -package elpi to ocamlfind).

     

       50
       50
       +
       

     

       51
       51
       +
       The ELPI programming language has the following features:

     

       52
       52
       +
       

     

       53
       53
       +
       - Native support for variable binding and substitution, via an Higher Order

     

       54
       54
       +
         Abstract Syntax (HOAS) embedding of the object language. The programmer

     

       55
       55
       +
         does not need to care about technical devices to handle bound variables,

     

       56
       56
       +
         like De Bruijn indices.

     

       57
       57
       +
       

     

       58
       58
       +
       - Native support for hypothetical context. When moving under a binder one can

     

       59
       59
       +
         attach to the bound variable extra information that is collected when the

     

       60
       60
       +
         variable gets out of scope. For example when writing a type-checker the

     

       61
       61
       +
         programmer needs not to care about managing the typing context.

     

       62
       62
       +
       

     

       63
       63
       +
       - Native support for higher order unification variables, again via HOAS.

     

       64
       64
       +
         Unification variables of the meta-language (λProlog) can be reused to

     

       65
       65
       +
         represent the unification variables of the object language. The programmer

     

       66
       66
       +
         does not need to care about the unification-variable assignment map and

     

       67
       67
       +
         cannot assign to a unification variable a term containing variables out of

     

       68
       68
       +
         scope, or build a circular assignment.

     

       69
       69
       +
       

     

       70
       70
       +
       - Native support for syntactic constraints and their meta-level handling rules.

     

       71
       71
       +
         The generative semantics of Prolog can be disabled by turning a goal into a

     

       72
       72
       +
         syntactic constraint (suspended goal). A syntactic constraint is resumed as

     

       73
       73
       +
         soon as relevant variables gets assigned. Syntactic constraints can be

     

       74
       74
       +
         manipulated by constraint handling rules (CHR).

     

       75
       75
       +
       

     

       76
       76
       +
       - Native support for backtracking. To ease implementation of search.

     

       77
       77
       +
       

     

       78
       78
       +
       - The constraint store is extensible.  The host application can declare

     

       79
       79
       +
         non-syntactic constraints and use custom constraint solvers to check their

     

       80
       80
       +
         consistency.

     

       81
       81
       +
       

     

       82
       82
       +
       - Clauses are graftable. The user is free to extend an existing program by

     

       83
       83
       +
         inserting/removing clauses, both at runtime (using implication) and at

     

       84
       84
       +
         "compilation" time by accumulating files.

     

       85
       85
       +
       

     

       86
       86
       +
       ELPI is free software released under the terms of LGPL 2.1 or above."""

     

       87
       87
       +
       url {

     

       88
       88
       +
         src:

     

       89
       89
       +
           "https://github.com/LPCIC/elpi/releases/download/v1.16.1/elpi-1.16.1.tbz"

     

       90
       90
       +
         checksum: [

     

       91
       91
       +
           "sha256=7fe71cd548336aed3dcbbf37b00cf3372466cdcb55f10e8d0b39181f6e2c898b"

     

       92
       92
       +
           "sha512=6d65b7be2083bec93f972b8291feb24509d5c83e0208101438b8f6099c398d310f8e3e4a3ab393280f40f5731f28e0cfdaa2a4563725092766e1d232b7d07f2c"

     

       93
       93
       +
         ]

     

       94
       94
       +
       }

     

       95
       95
       +
       x-commit-hash: "6ca6012a6bb38a7e1bd3c136f7184d98b17eb7cc"

+29

packages/epictetus/epictetus.3.1.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Elegant Printer of Insanely Complex Tables Expressing Trees with Uneven Shapes"

     

       3
       3
       +
       maintainer: "Marc Chevalier <github@marc-chevalier.com>"

     

       4
       4
       +
       authors: "Marc Chevalier <github@marc-chevalier.com>"

     

       5
       5
       +
       depends: [

     

       6
       6
       +
         "ocaml" {>= "4.03.0"}

     

       7
       7
       +
         "dune" {>= "1.6.3"}

     

       8
       8
       +
         "ounit2" {with-test & >= "2.0.8"}

     

       9
       9
       +
       ]

     

       10
       10
       +
       build: [

     

       11
       11
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       12
       12
       +
       ]

     

       13
       13
       +
       run-test: [

     

       14
       14
       +
         ["dune" "runtest" "-p" name "-j" jobs]

     

       15
       15
       +
       ]

     

       16
       16
       +
       homepage: "https://github.com/marc-chevalier/epictetus"

     

       17
       17
       +
       bug-reports: "https://github.com/marc-chevalier/epictetus/issues"

     

       18
       18
       +
       dev-repo: "git+https://github.com/marc-chevalier/epictetus.git"

     

       19
       19
       +
       license: "MIT"

     

       20
       20
       +
       description: """

     

       21
       21
       +
       Align nicely tables in which each line may not have the same subdivision of subcolumns.

     

       22
       22
       +
       """

     

       23
       23
       +
       url {

     

       24
       24
       +
         src: "https://github.com/marc-chevalier/epictetus/archive/3.1.1.tar.gz"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=c1ce9f27de9fc173e72e64ee7c80eded"

     

       27
       27
       +
           "sha512=f4e5cffa90d578cc970fcb2588789bcde8f075693a03af1ec69831775fed5ef87b2c771ad720c0c8ebcf5eda7e711056098c4d50bb55f60787b342e4508f3395"

     

       28
       28
       +
         ]

     

       29
       29
       +
       }

+76

packages/ez_api/ez_api.1.2.0/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis: "Easy API library and tools"

     

       4
       4
       +
       maintainer: ["Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>"]

     

       5
       5
       +
       authors: [

     

       6
       6
       +
         "Cagdas Bozman <cagdas.bozman@ocamlpro.com>"

     

       7
       7
       +
         "Michael Laporte <michael.laporte@ocamlpro.com>"

     

       8
       8
       +
         "Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>"

     

       9
       9
       +
         "Maxime Levillain <maxime.levillain@ocamlpro.com>"

     

       10
       10
       +
         "Alain Mebsout <alain.mebsout@ocamlpro.com>"

     

       11
       11
       +
       ]

     

       12
       12
       +
       license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       13
       13
       +
       homepage: "https://github.com/ocamlpro/ez_api"

     

       14
       14
       +
       doc: "https://ocpmax.github.io/ez_api/ez_api/index.html"

     

       15
       15
       +
       bug-reports: "https://github.com/ocamlpro/ez_api/issues"

     

       16
       16
       +
       depends: [

     

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

     

       18
       18
       +
         "ocaml" {>= "4.08"}

     

       19
       19
       +
         "json-data-encoding" {>= "0.9"}

     

       20
       20
       +
         "lwt" {>= "4.0.0"}

     

       21
       21
       +
         "ezjsonm" {>= "1.1.0"}

     

       22
       22
       +
         "uuidm"

     

       23
       23
       +
       ]

     

       24
       24
       +
       depopts: [

     

       25
       25
       +
         "geoip"

     

       26
       26
       +
         "js_of_ocaml-lwt"

     

       27
       27
       +
         "calendar"

     

       28
       28
       +
         "cohttp-lwt-unix"

     

       29
       29
       +
         "cohttp-lwt-jsoo"

     

       30
       30
       +
         "lwt_log"

     

       31
       31
       +
         "tls"

     

       32
       32
       +
         "httpaf-lwt-unix"

     

       33
       33
       +
         "ocurl"

     

       34
       34
       +
         "ezjs_fetch"

     

       35
       35
       +
         "websocket-lwt-unix"

     

       36
       36
       +
         "websocket-httpaf-lwt"

     

       37
       37
       +
         "ppxlib"

     

       38
       38
       +
         "ppx_deriving_encoding"

     

       39
       39
       +
         "digestif"

     

       40
       40
       +
         "yaml"

     

       41
       41
       +
       ]

     

       42
       42
       +
       conflicts: [

     

       43
       43
       +
         "calendar" {< "2.03"}

     

       44
       44
       +
         "js_of_ocaml-lwt" {< "4.0.0"}

     

       45
       45
       +
         "cohttp-lwt-unix" {< "5.0.0"}

     

       46
       46
       +
         "cohttp-lwt-jsoo" {< "5.0.0"}

     

       47
       47
       +
         "httpaf-lwt-unix" {< "0.6.0"}

     

       48
       48
       +
         "ezjs_fetch" {< "0.2"}

     

       49
       49
       +
         "ocurl" {< "0.8.0"}

     

       50
       50
       +
         "digestif" {< "1.0.0"}

     

       51
       51
       +
         "ppxlib" {< "0.18.0"}

     

       52
       52
       +
         "ppx_deriving_encoding" {< "0.3.0"}

     

       53
       53
       +
         "result" {< "1.5"}

     

       54
       54
       +
       ]

     

       55
       55
       +
       build: [

     

       56
       56
       +
         ["dune" "subst"] {dev}

     

       57
       57
       +
         [

     

       58
       58
       +
           "dune"

     

       59
       59
       +
           "build"

     

       60
       60
       +
           "-p"

     

       61
       61
       +
           name

     

       62
       62
       +
           "-j"

     

       63
       63
       +
           jobs

     

       64
       64
       +
           "@install"

     

       65
       65
       +
           "@runtest" {with-test}

     

       66
       66
       +
           "@doc" {with-doc}

     

       67
       67
       +
         ]

     

       68
       68
       +
       ]

     

       69
       69
       +
       dev-repo: "git+https://github.com/ocamlpro/ez_api.git"

     

       70
       70
       +
       url {

     

       71
       71
       +
         src: "https://github.com/ocamlpro/ez_api/archive/1.2.0.tar.gz"

     

       72
       72
       +
         checksum: [

     

       73
       73
       +
           "md5=55bb40d00db6cd35cbf6ef6cff63363a"

     

       74
       74
       +
           "sha512=16922b231f19615ca7179a3c7d31e8c3897f2b37f574f69e06b35f12b501434c6eb85bec91cfed16ffd3eec71f8859d94bd003044a848560d434e04a0b1e99e2"

     

       75
       75
       +
         ]

     

       76
       76
       +
       }

+37

packages/jasmin/jasmin.2022.04.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Compiler for High-Assurance and High-Speed Cryptography"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin

     

       5
       5
       +
       implementations aim at being efficient, safe, correct, and secure.

     

       6
       6
       +
       """

     

       7
       7
       +
       maintainer: "Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>"

     

       8
       8
       +
       author: "Jasmin authors and contributors"

     

       9
       9
       +
       license: "MIT"

     

       10
       10
       +
       homepage: "https://github.com/jasmin-lang/jasmin"

     

       11
       11
       +
       bug-reports: "https://github.com/jasmin-lang/jasmin/issues"

     

       12
       12
       +
       dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"

     

       13
       13
       +
       

     

       14
       14
       +
       depends: [

     

       15
       15
       +
         "ocaml" {>= "4.08.0" & build}

     

       16
       16
       +
         "batteries" {>= "3.2.0"}

     

       17
       17
       +
         "menhir" {>= "20160825" & build }

     

       18
       18
       +
         "menhirLib"

     

       19
       19
       +
         "camlidl"

     

       20
       20
       +
         "zarith" {>= "1.9.0"}

     

       21
       21
       +
         "apron" {>= "v0.9.12"}

     

       22
       22
       +
         "conf-ppl"

     

       23
       23
       +
         "yojson" {>= "1.6.0"}

     

       24
       24
       +
         "ocamlbuild" { build }

     

       25
       25
       +
         "ocamlfind" { build }

     

       26
       26
       +
       ]

     

       27
       27
       +
       build: [

     

       28
       28
       +
         [make "-C" "compiler" "build"]

     

       29
       29
       +
       ]

     

       30
       30
       +
       install: [

     

       31
       31
       +
         ["mkdir" "-p" "%{prefix}%/bin"]

     

       32
       32
       +
         ["cp" "compiler/_build/entry/jasminc.native" "%{prefix}%/bin/jasminc"]

     

       33
       33
       +
       ]

     

       34
       34
       +
       url {

     

       35
       35
       +
         src: "https://github.com/jasmin-lang/jasmin/releases/download/v2022.04.0/jasmin-compiler-v2022.04.0.tar.bz2"

     

       36
       36
       +
         checksum: "sha256=5ad8a9a71a320c1ce8b89c8c70dbcffa0e8ae0e07a605cf16d12d564c8a5c379"

     

       37
       37
       +
       }

+48

packages/jsonrpc/jsonrpc.1.12.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Jsonrpc protocol implemenation"

     

       3
       3
       +
       description: "See https://www.jsonrpc.org/specification"

     

       4
       4
       +
       maintainer: ["Rudi Grinberg <me@rgrinberg.com>"]

     

       5
       5
       +
       authors: [

     

       6
       6
       +
         "Andrey Popp <8mayday@gmail.com>"

     

       7
       7
       +
         "Rusty Key <iam@stfoo.ru>"

     

       8
       8
       +
         "Louis Roché <louis@louisroche.net>"

     

       9
       9
       +
         "Oleksiy Golovko <alexei.golovko@gmail.com>"

     

       10
       10
       +
         "Rudi Grinberg <me@rgrinberg.com>"

     

       11
       11
       +
         "Sacha Ayoun <sachaayoun@gmail.com>"

     

       12
       12
       +
         "cannorin <cannorin@gmail.com>"

     

       13
       13
       +
         "Ulugbek Abdullaev <ulugbekna@gmail.com>"

     

       14
       14
       +
         "Thibaut Mattio <thibaut.mattio@gmail.com>"

     

       15
       15
       +
         "Max Lantas <mnxndev@outlook.com>"

     

       16
       16
       +
       ]

     

       17
       17
       +
       license: "ISC"

     

       18
       18
       +
       homepage: "https://github.com/ocaml/ocaml-lsp"

     

       19
       19
       +
       bug-reports: "https://github.com/ocaml/ocaml-lsp/issues"

     

       20
       20
       +
       depends: [

     

       21
       21
       +
         "dune" {>= "2.9"}

     

       22
       22
       +
         "ocaml" {>= "4.08"}

     

       23
       23
       +
         "odoc" {with-doc}

     

       24
       24
       +
       ]

     

       25
       25
       +
       dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git"

     

       26
       26
       +
       build: [

     

       27
       27
       +
         ["dune" "subst"] {dev}

     

       28
       28
       +
         ["ocaml" "unix.cma" "unvendor.ml"]

     

       29
       29
       +
         [

     

       30
       30
       +
           "dune"

     

       31
       31
       +
           "build"

     

       32
       32
       +
           "-p"

     

       33
       33
       +
           name

     

       34
       34
       +
           "-j"

     

       35
       35
       +
           jobs

     

       36
       36
       +
           "@install"

     

       37
       37
       +
           "@doc" {with-doc}

     

       38
       38
       +
         ]

     

       39
       39
       +
       ]

     

       40
       40
       +
       url {

     

       41
       41
       +
         src:

     

       42
       42
       +
           "https://github.com/ocaml/ocaml-lsp/releases/download/1.12.2/lsp-1.12.2.tbz"

     

       43
       43
       +
         checksum: [

     

       44
       44
       +
           "sha256=cf25c8587c848aa913a5e5cc6417e95901be58623c049116e733d8473597dd39"

     

       45
       45
       +
           "sha512=b5aa4278006a0ed8dac3fb18a331c18c5e877c5910165b34e32a1ba346951bf234864ff2b53d58191130b38e07dadaab9778e6bfb2bce351ba98c54c09d6028e"

     

       46
       46
       +
         ]

     

       47
       47
       +
       }

     

       48
       48
       +
       x-commit-hash: "bc3e9c298185fdcb3b80d2d89562b586ba21eb74"

+28

packages/libbinaryen/libbinaryen.108.0.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Libbinaryen packaged for OCaml"

     

       3
       3
       +
       maintainer: "blaine@grain-lang.org"

     

       4
       4
       +
       authors: "Blaine Bublitz"

     

       5
       5
       +
       license: "Apache-2.0"

     

       6
       6
       +
       homepage: "https://github.com/grain-lang/libbinaryen"

     

       7
       7
       +
       bug-reports: "https://github.com/grain-lang/libbinaryen/issues"

     

       8
       8
       +
       depends: [

     

       9
       9
       +
         "conf-cmake" {build}

     

       10
       10
       +
         "dune" {>= "2.9.1"}

     

       11
       11
       +
         "dune-configurator" {>= "2.9.1"}

     

       12
       12
       +
         "js_of_ocaml-compiler" {with-test & >= "3.10.0"}

     

       13
       13
       +
         "ocaml" {>= "4.12"}

     

       14
       14
       +
       ]

     

       15
       15
       +
       build: [

     

       16
       16
       +
         ["dune" "subst"] {dev}

     

       17
       17
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       18
       18
       +
       ]

     

       19
       19
       +
       depexts: ["gcc-g++"] {os-distribution = "cygwinports"}

     

       20
       20
       +
       dev-repo: "git+https://github.com/grain-lang/libbinaryen.git"

     

       21
       21
       +
       url {

     

       22
       22
       +
         src:

     

       23
       23
       +
           "https://github.com/grain-lang/libbinaryen/releases/download/v108.0.0/libbinaryen-v108.0.0.tar.gz"

     

       24
       24
       +
         checksum: [

     

       25
       25
       +
           "md5=cb9031112295364fd898ec478fd8f853"

     

       26
       26
       +
           "sha512=305195eba075a79f1064d51f8ab416ee74690927689390aecbb75042646962d56917041cb65ff0b1a1c5ce27cf96c70238cf540da3830b4a8e44ab5046299c06"

     

       27
       27
       +
         ]

     

       28
       28
       +
       }

+1 -1

packages/linwrap/linwrap.5.1.1/opam

···

       15
       15
        
         "conf-liblinear-tools"

     

       16
       16
        
         "conf-python-3"

     

       17
       17
        
         "conf-rdkit"

     

       18
       18
       -
         "cpm" {>= "4.0.0"}

     

       18
       18
       +
         "cpm" {>= "5.0.0"}

     

       19
       19
        
         "dokeysto_camltc"

     

       20
       20
        
         "dolog" {>= "4.0.0" & < "5.0.0"}

     

       21
       21
        
         "dune" {>= "1.10"}

+187

packages/liquidsoap/liquidsoap.2.0.6/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Swiss-army knife for multimedia streaming"

     

       3
       3
       +
       description: """\

     

       4
       4
       +
       Liquidsoap is a powerful and flexible language for describing your

     

       5
       5
       +
       streams. It offers a rich collection of operators that you can combine

     

       6
       6
       +
       at will, giving you more power than you need for creating or

     

       7
       7
       +
       transforming streams. But liquidsoap is still very light and easy to

     

       8
       8
       +
       use, in the Unix tradition of simple strong components working

     

       9
       9
       +
       together."""

     

       10
       10
       +
       maintainer: "romain.beauxis@gmail.com"

     

       11
       11
       +
       authors: "The Savonet Team <savonet-users@lists.sourceforge.net>"

     

       12
       12
       +
       license: "GPL-2.0-or-later"

     

       13
       13
       +
       homepage: "https://github.com/savonet/liquidsoap"

     

       14
       14
       +
       bug-reports: "https://github.com/savonet/liquidsoap/issues"

     

       15
       15
       +
       depends: [

     

       16
       16
       +
         "conf-autoconf" {dev}

     

       17
       17
       +
         "conf-automake" {dev}

     

       18
       18
       +
         "ocaml" {>= "4.12.0" & < "5.0.0"}

     

       19
       19
       +
         "camomile" {>= "1.0.0"}

     

       20
       20
       +
         "dtools" {>= "0.4.4"}

     

       21
       21
       +
         "duppy" {>= "0.9.1"}

     

       22
       22
       +
         "menhir" {>= "20180703"}

     

       23
       23
       +
         "mm" {>= "0.8.0"}

     

       24
       24
       +
         "ocamlfind" {build}

     

       25
       25
       +
         "conf-pkg-config" {build}

     

       26
       26
       +
         "conf-which" {build}

     

       27
       27
       +
         "pcre" {>= "7.5.0"}

     

       28
       28
       +
         "sedlex" {>= "2.2"}

     

       29
       29
       +
       ]

     

       30
       30
       +
       depopts: [

     

       31
       31
       +
         "alsa"

     

       32
       32
       +
         "ao"

     

       33
       33
       +
         "bjack"

     

       34
       34
       +
         "camlimages"

     

       35
       35
       +
         "cry"

     

       36
       36
       +
         "dssi"

     

       37
       37
       +
         "faad"

     

       38
       38
       +
         "fdkaac"

     

       39
       39
       +
         "ffmpeg"

     

       40
       40
       +
         "flac"

     

       41
       41
       +
         "frei0r"

     

       42
       42
       +
         "gd"

     

       43
       43
       +
         "graphics"

     

       44
       44
       +
         "gstreamer"

     

       45
       45
       +
         "inotify"

     

       46
       46
       +
         "ladspa"

     

       47
       47
       +
         "lame"

     

       48
       48
       +
         "lastfm"

     

       49
       49
       +
         "lilv"

     

       50
       50
       +
         "lo"

     

       51
       51
       +
         "mad"

     

       52
       52
       +
         "magic"

     

       53
       53
       +
         "mem_usage"

     

       54
       54
       +
         "memtrace"

     

       55
       55
       +
         "mem_usage"

     

       56
       56
       +
         "ocurl"

     

       57
       57
       +
         "ogg"

     

       58
       58
       +
         "opus"

     

       59
       59
       +
         "osx-secure-transport"

     

       60
       60
       +
         "portaudio"

     

       61
       61
       +
         "posix-time2"

     

       62
       62
       +
         "pulseaudio"

     

       63
       63
       +
         "prometheus-liquidsoap"

     

       64
       64
       +
         "samplerate"

     

       65
       65
       +
         "shine"

     

       66
       66
       +
         "soundtouch"

     

       67
       67
       +
         "speex"

     

       68
       68
       +
         "srt"

     

       69
       69
       +
         "ssl"

     

       70
       70
       +
         "taglib"

     

       71
       71
       +
         "theora"

     

       72
       72
       +
         "sdl-liquidsoap"

     

       73
       73
       +
         "tsdl"

     

       74
       74
       +
         "tsdl-image"

     

       75
       75
       +
         "tsdl-ttf"

     

       76
       76
       +
         "vorbis"

     

       77
       77
       +
         "xmlplaylist"

     

       78
       78
       +
         "yojson"

     

       79
       79
       +
       ]

     

       80
       80
       +
       conflicts: [

     

       81
       81
       +
         "alsa" {< "0.3.0"}

     

       82
       82
       +
         "ao" {< "0.2.0"}

     

       83
       83
       +
         "bjack" {< "0.1.3"}

     

       84
       84
       +
         "cry" {< "0.6.5"}

     

       85
       85
       +
         "dssi" {< "0.1.3"}

     

       86
       86
       +
         "faad" {< "0.5.0"}

     

       87
       87
       +
         "fdkaac" {< "0.3.1"}

     

       88
       88
       +
         "ffmpeg" {< "1.1.2"}

     

       89
       89
       +
         "ffmpeg-avutil" {< "1.1.2"}

     

       90
       90
       +
         "flac" {< "0.3.0"}

     

       91
       91
       +
         "frei0r" {< "0.1.0"}

     

       92
       92
       +
         "gstreamer" {< "0.3.1"}

     

       93
       93
       +
         "inotify" {< "1.0"}

     

       94
       94
       +
         "ladspa" {< "0.2.0"}

     

       95
       95
       +
         "lame" {< "0.3.5"}

     

       96
       96
       +
         "lastfm" {< "0.3.0"}

     

       97
       97
       +
         "lo" {< "0.2.0"}

     

       98
       98
       +
         "mad" {< "0.5.0"}

     

       99
       99
       +
         "magic" {< "0.6"}

     

       100
       100
       +
         "ocurl" {< "0.9.2"}

     

       101
       101
       +
         "ogg" {< "0.7.0"}

     

       102
       102
       +
         "opus" {< "0.2.0"}

     

       103
       103
       +
         "portaudio" {< "0.2.0"}

     

       104
       104
       +
         "pulseaudio" {< "0.1.4"}

     

       105
       105
       +
         "samplerate" {< "0.1.5"}

     

       106
       106
       +
         "sdl-liquidsoap" {< "2"}

     

       107
       107
       +
         "shine" {< "0.2.0"}

     

       108
       108
       +
         "soundtouch" {< "0.1.9"}

     

       109
       109
       +
         "speex" {< "0.4.0"}

     

       110
       110
       +
         "srt" {< "0.2.1"}

     

       111
       111
       +
         "ssl" {< "0.5.2"}

     

       112
       112
       +
         "taglib" {< "0.3.7"}

     

       113
       113
       +
         "tsdl-image" {< "0.3.2"}

     

       114
       114
       +
         "theora" {< "0.4.0"}

     

       115
       115
       +
         "vorbis" {< "0.8.0"}

     

       116
       116
       +
         "xmlplaylist" {< "0.1.3"}

     

       117
       117
       +
       ]

     

       118
       118
       +
       build: [

     

       119
       119
       +
         ["./bootstrap"] {dev}

     

       120
       120
       +
         [

     

       121
       121
       +
           "./configure"

     

       122
       122
       +
           "--prefix"

     

       123
       123
       +
           prefix

     

       124
       124
       +
           "--sbindir=%{lib}%/liquidsoap/sbin"

     

       125
       125
       +
           "--libexecdir=%{lib}%/liquidsoap/libexec"

     

       126
       126
       +
           "--sysconfdir=%{lib}%/liquidsoap/etc"

     

       127
       127
       +
           "--sharedstatedir=%{lib}%/liquidsoap/com"

     

       128
       128
       +
           "--localstatedir=%{lib}%/liquidsoap/var"

     

       129
       129
       +
           "--libdir=%{lib}%/liquidsoap/lib"

     

       130
       130
       +
           "--includedir=%{lib}%/liquidsoap/include"

     

       131
       131
       +
           "--datarootdir=%{lib}%/liquidsoap/share"

     

       132
       132
       +
           "--with-bash-completion-dir=%{lib}%/liquidsoap/etc/bash_completion.d"

     

       133
       133
       +
           "--with-user=dummy"

     

       134
       134
       +
           "--with-group=dummy"

     

       135
       135
       +
         ]

     

       136
       136
       +
         [make "clean"] {dev}

     

       137
       137
       +
         [make]

     

       138
       138
       +
       ]

     

       139
       139
       +
       install: [make "install"]

     

       140
       140
       +
       remove: ["rm" "-rf" "%{lib}%/liquidsoap"]

     

       141
       141
       +
       post-messages: [

     

       142
       142
       +
         """\

     

       143
       143
       +
       We're sorry that your liquidsoap install failed. Check out our installation

     

       144
       144
       +
       instructions at: https://www.liquidsoap.info/doc-%{version}%/install.html#opam

     

       145
       145
       +
       for more information."""

     

       146
       146
       +
           {failure}

     

       147
       147
       +
         "✨ Congratulations on installing liquidsoap! ✨" {success}

     

       148
       148
       +
         """\

     

       149
       149
       +
       We noticed that you did not install any mp3 decoder. This is a feature most

     

       150
       150
       +
       users want. You might need to install the mad or ffmpeg package."""

     

       151
       151
       +
           {success & !mad-enabled & !ffmpeg-enabled}

     

       152
       152
       +
         """\

     

       153
       153
       +
       We noticed that you did not install any mp3 encoder. This is a feature most

     

       154
       154
       +
       users want. You might need to install the lame or shine package."""

     

       155
       155
       +
           {success & !lame-enabled & !shine-enabled & !ffmpeg-enabled}

     

       156
       156
       +
         """\

     

       157
       157
       +
       We noticed that you did not install the taglib package that provides support

     

       158
       158
       +
       for reading metatadata in audio files. This is a feature most users want."""

     

       159
       159
       +
           {success & !taglib-enabled}

     

       160
       160
       +
         """\

     

       161
       161
       +
       We noticed that you did not install the samplerate package. We strongly

     

       162
       162
       +
       recommend this package for audio samplerate conversion."""

     

       163
       163
       +
           {success & !samperate-enabled}

     

       164
       164
       +
         """\

     

       165
       165
       +
       We noticed that you did not install the ocurl package. We strongly

     

       166
       166
       +
       recommend this package for http request resolving support."""

     

       167
       167
       +
           {success & !curl-enabled}

     

       168
       168
       +
         """\

     

       169
       169
       +
       We noticed that you did not install the cry package that provides icecast

     

       170
       170
       +
       output. This is a feature most users want."""

     

       171
       171
       +
           {success & !cry-enabled}

     

       172
       172
       +
         """\

     

       173
       173
       +
       We noticed that you did not install any ssl support package. Liquidsoap won't

     

       174
       174
       +
       be able to use any HTTPS feature. You might want to install one of ssl or

     

       175
       175
       +
       osx-secure-transport package."""

     

       176
       176
       +
           {success & !ssl-enabled & !secure-transport-enabled}

     

       177
       177
       +
       ]

     

       178
       178
       +
       depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}

     

       179
       179
       +
       dev-repo: "git+https://github.com/savonet/liquidsoap.git"

     

       180
       180
       +
       url {

     

       181
       181
       +
         src:

     

       182
       182
       +
           "https://github.com/savonet/liquidsoap-release-assets/releases/download/v2.0.6/liquidsoap-2.0.6.tar.bz2"

     

       183
       183
       +
         checksum: [

     

       184
       184
       +
           "md5=bd340d4cbffee4b31d9e2947a04472a2"

     

       185
       185
       +
           "sha512=e1a75b327719dbb2d85f8bb27f76fbe05ad3fe7ce8bf14b512ce73147af7de7cd8e59746c7d16db44ea32dc0587dde4f618d2c8d176db673a3d4872f3a35979f"

     

       186
       186
       +
         ]

     

       187
       187
       +
       }

+60

packages/lsp/lsp.1.12.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "LSP protocol implementation in OCaml"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       

     

       5
       5
       +
       Implementation of the LSP protocol in OCaml. It is designed to be as portable as

     

       6
       6
       +
       possible and does not make any assumptions about IO.

     

       7
       7
       +
       """

     

       8
       8
       +
       maintainer: ["Rudi Grinberg <me@rgrinberg.com>"]

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Andrey Popp <8mayday@gmail.com>"

     

       11
       11
       +
         "Rusty Key <iam@stfoo.ru>"

     

       12
       12
       +
         "Louis Roché <louis@louisroche.net>"

     

       13
       13
       +
         "Oleksiy Golovko <alexei.golovko@gmail.com>"

     

       14
       14
       +
         "Rudi Grinberg <me@rgrinberg.com>"

     

       15
       15
       +
         "Sacha Ayoun <sachaayoun@gmail.com>"

     

       16
       16
       +
         "cannorin <cannorin@gmail.com>"

     

       17
       17
       +
         "Ulugbek Abdullaev <ulugbekna@gmail.com>"

     

       18
       18
       +
         "Thibaut Mattio <thibaut.mattio@gmail.com>"

     

       19
       19
       +
         "Max Lantas <mnxndev@outlook.com>"

     

       20
       20
       +
       ]

     

       21
       21
       +
       license: "ISC"

     

       22
       22
       +
       homepage: "https://github.com/ocaml/ocaml-lsp"

     

       23
       23
       +
       bug-reports: "https://github.com/ocaml/ocaml-lsp/issues"

     

       24
       24
       +
       depends: [

     

       25
       25
       +
         "dune" {>= "2.9"}

     

       26
       26
       +
         "jsonrpc" {= version}

     

       27
       27
       +
         "dyn"

     

       28
       28
       +
         "yojson"

     

       29
       29
       +
         "ppx_yojson_conv_lib" {>= "v0.14"}

     

       30
       30
       +
         "cinaps" {with-test}

     

       31
       31
       +
         "menhir" {>= "20211230" & with-test}

     

       32
       32
       +
         "ppx_expect" {>= "v0.15.0" & with-test}

     

       33
       33
       +
         "uutf" {>= "1.0.2"}

     

       34
       34
       +
         "odoc" {with-doc}

     

       35
       35
       +
         "ocaml" {>= "4.12"}

     

       36
       36
       +
       ]

     

       37
       37
       +
       dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git"

     

       38
       38
       +
       build: [

     

       39
       39
       +
         ["dune" "subst"] {dev}

     

       40
       40
       +
         ["ocaml" "unix.cma" "unvendor.ml"]

     

       41
       41
       +
         [

     

       42
       42
       +
           "dune"

     

       43
       43
       +
           "build"

     

       44
       44
       +
           "-p"

     

       45
       45
       +
           name

     

       46
       46
       +
           "-j"

     

       47
       47
       +
           jobs

     

       48
       48
       +
           "@install"

     

       49
       49
       +
           "@doc" {with-doc}

     

       50
       50
       +
         ]

     

       51
       51
       +
       ]

     

       52
       52
       +
       url {

     

       53
       53
       +
         src:

     

       54
       54
       +
           "https://github.com/ocaml/ocaml-lsp/releases/download/1.12.2/lsp-1.12.2.tbz"

     

       55
       55
       +
         checksum: [

     

       56
       56
       +
           "sha256=cf25c8587c848aa913a5e5cc6417e95901be58623c049116e733d8473597dd39"

     

       57
       57
       +
           "sha512=b5aa4278006a0ed8dac3fb18a331c18c5e877c5910165b34e32a1ba346951bf234864ff2b53d58191130b38e07dadaab9778e6bfb2bce351ba98c54c09d6028e"

     

       58
       58
       +
         ]

     

       59
       59
       +
       }

     

       60
       60
       +
       x-commit-hash: "bc3e9c298185fdcb3b80d2d89562b586ba21eb74"

+59

packages/lwt/lwt.5.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Promises and event-driven I/O"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Jérôme Vouillon"

     

       11
       11
       +
         "Jérémie Dimino"

     

       12
       12
       +
       ]

     

       13
       13
       +
       maintainer: [

     

       14
       14
       +
         "Raphaël Proust <code@bnwr.net>"

     

       15
       15
       +
         "Anton Bachin <antonbachin@yahoo.com>"

     

       16
       16
       +
       ]

     

       17
       17
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       18
       18
       +
       

     

       19
       19
       +
       depends: [

     

       20
       20
       +
         "cppo" {build & >= "1.1.0"}

     

       21
       21
       +
         "dune" {>= "1.8.0"}

     

       22
       22
       +
         "dune-configurator"

     

       23
       23
       +
         "ocaml" {>= "4.08"}

     

       24
       24
       +
         "ocplib-endian"

     

       25
       25
       +
       

     

       26
       26
       +
         # Until https://github.com/aantron/bisect_ppx/pull/327.

     

       27
       27
       +
         # "bisect_ppx" {dev & >= "2.0.0"}

     

       28
       28
       +
         "ocamlfind" {dev & >= "1.7.3-1"}

     

       29
       29
       +
       ]

     

       30
       30
       +
       

     

       31
       31
       +
       depopts: [

     

       32
       32
       +
         "base-threads"

     

       33
       33
       +
         "base-unix"

     

       34
       34
       +
         "conf-libev"

     

       35
       35
       +
       ]

     

       36
       36
       +
       

     

       37
       37
       +
       build: [

     

       38
       38
       +
         ["dune" "exec" "-p" name "src/unix/config/discover.exe" "--" "--save"

     

       39
       39
       +
           "--use-libev" "%{conf-libev:installed}%"]

     

       40
       40
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       41
       41
       +
       ]

     

       42
       42
       +
       

     

       43
       43
       +
       description: """

     

       44
       44
       +
       A promise is a value that may become determined in the future.

     

       45
       45
       +
       

     

       46
       46
       +
       Lwt provides typed, composable promises. Promises that are resolved by I/O are

     

       47
       47
       +
       resolved by Lwt in parallel.

     

       48
       48
       +
       

     

       49
       49
       +
       Meanwhile, OCaml code, including code creating and waiting on promises, runs in

     

       50
       50
       +
       a single thread by default. This reduces the need for locks or other

     

       51
       51
       +
       synchronization primitives. Code can be run in parallel on an opt-in basis.

     

       52
       52
       +
       """

     

       53
       53
       +
       url {

     

       54
       54
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.0.tar.gz"

     

       55
       55
       +
         checksum: [

     

       56
       56
       +
           "md5=e63979ee40a80d5b9e9e5545f33323b4"

     

       57
       57
       +
           "sha512=d616389bc9e0da11f25843ab7541ac2d40c9543700a89455f14115b339bbe58cef2b8acf0ae97fd54e15a4cb93149cfe1ebfda301aa93933045f76b7d9344160"

     

       58
       58
       +
         ]

     

       59
       59
       +
       }

+57

packages/lwt/lwt.5.6.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Promises and event-driven I/O"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Jérôme Vouillon"

     

       11
       11
       +
         "Jérémie Dimino"

     

       12
       12
       +
       ]

     

       13
       13
       +
       maintainer: [

     

       14
       14
       +
         "Raphaël Proust <code@bnwr.net>"

     

       15
       15
       +
         "Anton Bachin <antonbachin@yahoo.com>"

     

       16
       16
       +
       ]

     

       17
       17
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       18
       18
       +
       

     

       19
       19
       +
       depends: [

     

       20
       20
       +
         "cppo" {build & >= "1.1.0"}

     

       21
       21
       +
         "dune" {>= "1.8.0"}

     

       22
       22
       +
         "dune-configurator"

     

       23
       23
       +
         "ocaml" {>= "4.08"}

     

       24
       24
       +
         "ocplib-endian"

     

       25
       25
       +
       

     

       26
       26
       +
         # Until https://github.com/aantron/bisect_ppx/pull/327.

     

       27
       27
       +
         # "bisect_ppx" {dev & >= "2.0.0"}

     

       28
       28
       +
         "ocamlfind" {dev & >= "1.7.3-1"}

     

       29
       29
       +
       ]

     

       30
       30
       +
       

     

       31
       31
       +
       depopts: [

     

       32
       32
       +
         "base-threads"

     

       33
       33
       +
         "base-unix"

     

       34
       34
       +
         "conf-libev"

     

       35
       35
       +
       ]

     

       36
       36
       +
       

     

       37
       37
       +
       build: [

     

       38
       38
       +
         ["dune" "exec" "-p" name "src/unix/config/discover.exe" "--" "--save"

     

       39
       39
       +
           "--use-libev" "%{conf-libev:installed}%"]

     

       40
       40
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       41
       41
       +
       ]

     

       42
       42
       +
       

     

       43
       43
       +
       description: "A promise is a value that may become determined in the future.

     

       44
       44
       +
       

     

       45
       45
       +
       Lwt provides typed, composable promises. Promises that are resolved by I/O are

     

       46
       46
       +
       resolved by Lwt in parallel.

     

       47
       47
       +
       

     

       48
       48
       +
       Meanwhile, OCaml code, including code creating and waiting on promises, runs in

     

       49
       49
       +
       a single thread by default. This reduces the need for locks or other

     

       50
       50
       +
       synchronization primitives. Code can be run in parallel on an opt-in basis."

     

       51
       51
       +
       url {

     

       52
       52
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.1.tar.gz"

     

       53
       53
       +
         checksum: [

     

       54
       54
       +
           "md5=279024789a0ec84a9d97d98bad847f97"

     

       55
       55
       +
           "sha512=698875bd3bfcd5baa47eb48e412f442d289f9972421321541860ebe110b9af1949c3fbc253768495726ec547fe4ba25483cd97ff39bc668496fba95b2ed9edd8"

     

       56
       56
       +
         ]

     

       57
       57
       +
       }

+34

packages/lwt_domain/lwt_domain.0.2.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Helpers for using Domainslib with Lwt"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt/dev/api/Lwt_domain"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Sudha Parimala"

     

       11
       11
       +
       ]

     

       12
       12
       +
       maintainer: [

     

       13
       13
       +
         "Sudha Parimala"

     

       14
       14
       +
       ]

     

       15
       15
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       16
       16
       +
       

     

       17
       17
       +
       depends: [

     

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

     

       19
       19
       +
         "lwt" {>= "3.0.0"}

     

       20
       20
       +
         "ocaml" {>= "4.08"}

     

       21
       21
       +
         "domainslib" {>= "0.3.2"}

     

       22
       22
       +
         "base-domains"

     

       23
       23
       +
       ]

     

       24
       24
       +
       

     

       25
       25
       +
       build: [

     

       26
       26
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       27
       27
       +
       ]

     

       28
       28
       +
       url {

     

       29
       29
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.0.tar.gz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=e63979ee40a80d5b9e9e5545f33323b4"

     

       32
       32
       +
           "sha512=d616389bc9e0da11f25843ab7541ac2d40c9543700a89455f14115b339bbe58cef2b8acf0ae97fd54e15a4cb93149cfe1ebfda301aa93933045f76b7d9344160"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

+33

packages/lwt_ppx/lwt_ppx.2.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "PPX syntax for Lwt, providing something similar to async/await from JavaScript"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt/dev/api/Ppx_lwt"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Gabriel Radanne"

     

       11
       11
       +
       ]

     

       12
       12
       +
       maintainer: [

     

       13
       13
       +
         "Anton Bachin <antonbachin@yahoo.com>"

     

       14
       14
       +
       ]

     

       15
       15
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       16
       16
       +
       

     

       17
       17
       +
       depends: [

     

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

     

       19
       19
       +
         "lwt"

     

       20
       20
       +
         "ocaml" {>= "4.08"}

     

       21
       21
       +
         "ppxlib" {>= "0.16.0"}

     

       22
       22
       +
       ]

     

       23
       23
       +
       

     

       24
       24
       +
       build: [

     

       25
       25
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       26
       26
       +
       ]

     

       27
       27
       +
       url {

     

       28
       28
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.0.tar.gz"

     

       29
       29
       +
         checksum: [

     

       30
       30
       +
           "md5=e63979ee40a80d5b9e9e5545f33323b4"

     

       31
       31
       +
           "sha512=d616389bc9e0da11f25843ab7541ac2d40c9543700a89455f14115b339bbe58cef2b8acf0ae97fd54e15a4cb93149cfe1ebfda301aa93933045f76b7d9344160"

     

       32
       32
       +
         ]

     

       33
       33
       +
       }

+33

packages/lwt_ppx_let/lwt_ppx_let.5.6.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Dummy package context for ppx_let tests"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Jérôme Vouillon"

     

       11
       11
       +
         "Jérémie Dimino"

     

       12
       12
       +
       ]

     

       13
       13
       +
       maintainer: [

     

       14
       14
       +
         "Raphaël Proust <code@bnwr.net>"

     

       15
       15
       +
         "Anton Bachin <antonbachin@yahoo.com>"

     

       16
       16
       +
       ]

     

       17
       17
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       18
       18
       +
       

     

       19
       19
       +
       depends: [

     

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

     

       21
       21
       +
         "lwt"

     

       22
       22
       +
         "ppx_let" {with-test}

     

       23
       23
       +
         "ocaml" {>= "4.08"}

     

       24
       24
       +
       ]

     

       25
       25
       +
       

     

       26
       26
       +
       description: "Internal package used to partition ppx_let tests."

     

       27
       27
       +
       url {

     

       28
       28
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.0.tar.gz"

     

       29
       29
       +
         checksum: [

     

       30
       30
       +
           "md5=e63979ee40a80d5b9e9e5545f33323b4"

     

       31
       31
       +
           "sha512=d616389bc9e0da11f25843ab7541ac2d40c9543700a89455f14115b339bbe58cef2b8acf0ae97fd54e15a4cb93149cfe1ebfda301aa93933045f76b7d9344160"

     

       32
       32
       +
         ]

     

       33
       33
       +
       }

+34

packages/lwt_react/lwt_react.1.2.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Helpers for using React with Lwt"

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/ocsigen/lwt"

     

       6
       6
       +
       doc: "https://ocsigen.org/lwt/dev/api/Lwt_react"

     

       7
       7
       +
       bug-reports: "https://github.com/ocsigen/lwt/issues"

     

       8
       8
       +
       

     

       9
       9
       +
       authors: [

     

       10
       10
       +
         "Jérémie Dimino"

     

       11
       11
       +
       ]

     

       12
       12
       +
       maintainer: [

     

       13
       13
       +
         "Anton Bachin <antonbachin@yahoo.com>"

     

       14
       14
       +
       ]

     

       15
       15
       +
       dev-repo: "git+https://github.com/ocsigen/lwt.git"

     

       16
       16
       +
       

     

       17
       17
       +
       depends: [

     

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

     

       19
       19
       +
         "lwt" {>= "3.0.0"}

     

       20
       20
       +
         "ocaml" {>= "4.08"}

     

       21
       21
       +
         "react" {>= "1.0.0"}

     

       22
       22
       +
         "cppo" {build & >= "1.1.0"}

     

       23
       23
       +
       ]

     

       24
       24
       +
       

     

       25
       25
       +
       build: [

     

       26
       26
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       27
       27
       +
       ]

     

       28
       28
       +
       url {

     

       29
       29
       +
         src: "https://github.com/ocsigen/lwt/archive/5.6.0.tar.gz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=e63979ee40a80d5b9e9e5545f33323b4"

     

       32
       32
       +
           "sha512=d616389bc9e0da11f25843ab7541ac2d40c9543700a89455f14115b339bbe58cef2b8acf0ae97fd54e15a4cb93149cfe1ebfda301aa93933045f76b7d9344160"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

+36

packages/mem_usage/mem_usage.0.0.4/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis: "Cross-platform stats about memory usage"

     

       4
       4
       +
       maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]

     

       5
       5
       +
       authors: ["Romain Beauxis <toots@rastageeks.org>"]

     

       6
       6
       +
       license: "GPL-2.0"

     

       7
       7
       +
       homepage: "https://github.com/savonet/ocaml-mem_usage"

     

       8
       8
       +
       bug-reports: "https://github.com/savonet/ocaml-mem_usage/issues"

     

       9
       9
       +
       depends: [

     

       10
       10
       +
         "ocaml" {>= "4.08"}

     

       11
       11
       +
         "dune" {>= "2.8"}

     

       12
       12
       +
         "odoc" {with-doc}

     

       13
       13
       +
       ]

     

       14
       14
       +
       conflicts: ["base-domains"]

     

       15
       15
       +
       build: [

     

       16
       16
       +
         ["dune" "subst"] {dev}

     

       17
       17
       +
         [

     

       18
       18
       +
           "dune"

     

       19
       19
       +
           "build"

     

       20
       20
       +
           "-p"

     

       21
       21
       +
           name

     

       22
       22
       +
           "-j"

     

       23
       23
       +
           jobs

     

       24
       24
       +
           "@install"

     

       25
       25
       +
           "@runtest" {with-test}

     

       26
       26
       +
           "@doc" {with-doc}

     

       27
       27
       +
         ]

     

       28
       28
       +
       ]

     

       29
       29
       +
       dev-repo: "git+https://github.com/savonet/ocaml-mem_usage.git"

     

       30
       30
       +
       url {

     

       31
       31
       +
         src: "https://github.com/savonet/ocaml-mem_usage/archive/v0.0.4.tar.gz"

     

       32
       32
       +
         checksum: [

     

       33
       33
       +
           "md5=38943d6e4454a9cf73339882b0c65ced"

     

       34
       34
       +
           "sha512=29c54d1f8a1e3ca09b0a6f58ae0346e41d2f64cf26716a4ffc0f73ee7e3a32942e47c8fd41efb80fd2886a0790ffd90ade7cf325c7912012abc603a3514c9e79"

     

       35
       35
       +
         ]

     

       36
       36
       +
       }

+3

packages/merlin/merlin.3.3.4/opam

···

       16
       16
        
         "mdx" {with-test & >= "1.3.0"}

     

       17
       17
        
         "conf-jq" {with-test}

     

       18
       18
        
       ]

     

       19
       19
       +
       conflicts: [

     

       20
       20
       +
         "biniou" {>= "1.2.2"}

     

       21
       21
       +
       ]

     

       19
       22
        
       synopsis:

     

       20
       23
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       21
       24
        
       description:

+3

packages/merlin/merlin.3.3.4~4.10preview1/opam

···

       14
       14
        
         "ocamlfind" {>= "1.5.2"}

     

       15
       15
        
         "yojson" {>= "1.6.0" & < "2.0.0"}

     

       16
       16
        
       ]

     

       17
       17
       +
       conflicts: [

     

       18
       18
       +
         "biniou" {>= "1.2.2"}

     

       19
       19
       +
       ]

     

       17
       20
        
       synopsis:

     

       18
       21
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       19
       22
        
       description:

+3

packages/merlin/merlin.3.3.5/opam

···

       16
       16
        
         "mdx" {with-test & >= "1.3.0"}

     

       17
       17
        
         "conf-jq" {with-test}

     

       18
       18
        
       ]

     

       19
       19
       +
       conflicts: [

     

       20
       20
       +
         "biniou" {>= "1.2.2"}

     

       21
       21
       +
       ]

     

       19
       22
        
       synopsis:

     

       20
       23
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       21
       24
        
       description:

+3

packages/merlin/merlin.3.3.6/opam

···

       17
       17
        
         "mdx" {with-test & >= "1.3.0"}

     

       18
       18
        
         "conf-jq" {with-test}

     

       19
       19
        
       ]

     

       20
       20
       +
       conflicts: [

     

       21
       21
       +
         "biniou" {>= "1.2.2"}

     

       22
       22
       +
       ]

     

       20
       23
        
       synopsis:

     

       21
       24
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       22
       25
        
       description:

+3

packages/merlin/merlin.3.3.7/opam

···

       17
       17
        
         "mdx" {with-test & >= "1.3.0"}

     

       18
       18
        
         "conf-jq" {with-test}

     

       19
       19
        
       ]

     

       20
       20
       +
       conflicts: [

     

       21
       21
       +
         "biniou" {>= "1.2.2"}

     

       22
       22
       +
       ]

     

       20
       23
        
       synopsis:

     

       21
       24
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       22
       25
        
       description:

+3

packages/merlin/merlin.3.3.7~4.11preview1/opam

···

       16
       16
        
         "mdx" {with-test & >= "1.3.0"}

     

       17
       17
        
         "conf-jq" {with-test}

     

       18
       18
        
       ]

     

       19
       19
       +
       conflicts: [

     

       20
       20
       +
         "biniou" {>= "1.2.2"}

     

       21
       21
       +
       ]

     

       19
       22
        
       synopsis:

     

       20
       23
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       21
       24
        
       description:

+3

packages/merlin/merlin.3.3.8/opam

···

       17
       17
        
         "mdx" {with-test & >= "1.3.0"}

     

       18
       18
        
         "conf-jq" {with-test}

     

       19
       19
        
       ]

     

       20
       20
       +
       conflicts: [

     

       21
       21
       +
         "biniou" {>= "1.2.2"}

     

       22
       22
       +
       ]

     

       20
       23
        
       synopsis:

     

       21
       24
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       22
       25
        
       description:

+3

packages/merlin/merlin.3.3.9/opam

···

       17
       17
        
         "mdx" {with-test & >= "1.3.0"}

     

       18
       18
        
         "conf-jq" {with-test}

     

       19
       19
        
       ]

     

       20
       20
       +
       conflicts: [

     

       21
       21
       +
         "biniou" {>= "1.2.2"}

     

       22
       22
       +
       ]

     

       20
       23
        
       synopsis:

     

       21
       24
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       22
       25
        
       description:

+3

packages/merlin/merlin.3.4.0/opam

···

       19
       19
        
         "csexp" {>= "1.2.3"}

     

       20
       20
        
         "result" {>= "1.5"}

     

       21
       21
        
       ]

     

       22
       22
       +
       conflicts: [

     

       23
       23
       +
         "biniou" {>= "1.2.2"}

     

       24
       24
       +
       ]

     

       22
       25
        
       synopsis:

     

       23
       26
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       24
       27
        
       description:

+3

packages/merlin/merlin.3.4.1/opam

···

       19
       19
        
         "csexp" {>= "1.2.3"}

     

       20
       20
        
         "result" {>= "1.5"}

     

       21
       21
        
       ]

     

       22
       22
       +
       conflicts: [

     

       23
       23
       +
         "biniou" {>= "1.2.2"}

     

       24
       24
       +
       ]

     

       22
       25
        
       synopsis:

     

       23
       26
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       24
       27
        
       description:

+3

packages/merlin/merlin.3.4.2/opam

···

       19
       19
        
         "csexp" {>= "1.2.3"}

     

       20
       20
        
         "result" {>= "1.5"}

     

       21
       21
        
       ]

     

       22
       22
       +
       conflicts: [

     

       23
       23
       +
         "biniou" {>= "1.2.2"}

     

       24
       24
       +
       ]

     

       22
       25
        
       synopsis:

     

       23
       26
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       24
       27
        
       description:

+3

packages/merlin/merlin.3.5.0/opam

···

       23
       23
        
         "menhirLib" {dev}

     

       24
       24
        
         "menhirSdk" {dev}

     

       25
       25
        
       ]

     

       26
       26
       +
       conflicts: [

     

       27
       27
       +
         "biniou" {>= "1.2.2"}

     

       28
       28
       +
       ]

     

       26
       29
        
       synopsis:

     

       27
       30
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       28
       31
        
       description:

+3

packages/merlin/merlin.3.6.1/opam

···

       23
       23
        
         "menhirLib" {dev}

     

       24
       24
        
         "menhirSdk" {dev}

     

       25
       25
        
       ]

     

       26
       26
       +
       conflicts: [

     

       27
       27
       +
         "biniou" {>= "1.2.2"}

     

       28
       28
       +
       ]

     

       26
       29
        
       synopsis:

     

       27
       30
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       28
       31
        
       description:

+3

packages/merlin/merlin.3.7.0/opam

···

       23
       23
        
         "menhirLib" {dev}

     

       24
       24
        
         "menhirSdk" {dev}

     

       25
       25
        
       ]

     

       26
       26
       +
       conflicts: [

     

       27
       27
       +
         "biniou" {>= "1.2.2"}

     

       28
       28
       +
       ]

     

       26
       29
        
       synopsis:

     

       27
       30
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       28
       31
        
       description:

+3

packages/merlin/merlin.4.1-411/opam

···

       21
       21
        
         "menhirLib" {dev}

     

       22
       22
        
         "menhirSdk" {dev}

     

       23
       23
        
       ]

     

       24
       24
       +
       conflicts: [

     

       25
       25
       +
         "biniou" {>= "1.2.2"}

     

       26
       26
       +
       ]

     

       24
       27
        
       synopsis:

     

       25
       28
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       26
       29
        
       description:

+3

packages/merlin/merlin.4.1-412/opam

···

       21
       21
        
         "menhirLib" {dev}

     

       22
       22
        
         "menhirSdk" {dev}

     

       23
       23
        
       ]

     

       24
       24
       +
       conflicts: [

     

       25
       25
       +
         "biniou" {>= "1.2.2"}

     

       26
       26
       +
       ]

     

       24
       27
        
       synopsis:

     

       25
       28
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       26
       29
        
       description:

+3

packages/merlin/merlin.4.2-411/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.2-412/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.3.1-411/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.3.1-412/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.3.2~4.13preview/opam

···

       23
       23
        
         "menhirLib" {dev}

     

       24
       24
        
         "menhirSdk" {dev}

     

       25
       25
        
       ]

     

       26
       26
       +
       conflicts: [

     

       27
       27
       +
         "biniou" {>= "1.2.2"}

     

       28
       28
       +
       ]

     

       26
       29
        
       synopsis:

     

       27
       30
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       28
       31
        
       description:

+3

packages/merlin/merlin.4.4-411/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.4-412/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.4-413/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3

packages/merlin/merlin.4.4.1~4.14preview/opam

···

       22
       22
        
         "menhirLib" {dev}

     

       23
       23
        
         "menhirSdk" {dev}

     

       24
       24
        
       ]

     

       25
       25
       +
       conflicts: [

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       27
       27
       +
       ]

     

       25
       28
        
       synopsis:

     

       26
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       27
       30
        
       description:

+3 -1

packages/merlin/merlin.4.4.1~5.0preview/opam

···

       18
       18
        
         "yojson" {>= "2.0.0"}

     

       19
       19
        
         "conf-jq" {with-test}

     

       20
       20
        
       ]

     

       21
       21
       -
       conflicts: "seq" {!= "base"}

     

       21
       21
       +
       conflicts: [

     

       22
       22
       +
         "seq" {!= "base"}

     

       23
       23
       +
       ]

     

       22
       24
        
       synopsis:

     

       23
       25
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

     

       24
       26
        
       description:

+1

packages/merlin/merlin.4.5-411/opam

···

       23
       23
        
       ]

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "base-effects"

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       26
       27
        
       ]

     

       27
       28
        
       synopsis:

     

       28
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

+1

packages/merlin/merlin.4.5-412/opam

···

       23
       23
        
       ]

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "base-effects"

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       26
       27
        
       ]

     

       27
       28
        
       synopsis:

     

       28
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

+1

packages/merlin/merlin.4.5-413/opam

···

       23
       23
        
       ]

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "base-effects"

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       26
       27
        
       ]

     

       27
       28
        
       synopsis:

     

       28
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

+1

packages/merlin/merlin.4.5-414/opam

···

       23
       23
        
       ]

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "base-effects"

     

       26
       26
       +
         "biniou" {>= "1.2.2"}

     

       26
       27
        
       ]

     

       27
       28
        
       synopsis:

     

       28
       29
        
         "Editor helper, provides completion, typing and source browsing in Vim and Emacs"

+1 -1

packages/mirage-flow-lwt/mirage-flow-lwt.1.3.0/opam

···

       17
       17
        
         "ocaml"

     

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

     

       19
       19
        
         "fmt"

     

       20
       20
       -
         "lwt"

     

       20
       20
       +
         "lwt" {< "5.6.0"}

     

       21
       21
        
         "cstruct" {>= "2.0.0" & < "6.0.1"}

     

       22
       22
        
         "mirage-clock" {>= "1.2.0" & < "3.0.0"}

     

       23
       23
        
         "mirage-flow" {>= "1.3.0" & < "2.0.0"}

+1 -1

packages/mirage-flow-lwt/mirage-flow-lwt.1.4.0/opam

···

       17
       17
        
         "ocaml"

     

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

     

       19
       19
        
         "fmt"

     

       20
       20
       -
         "lwt"

     

       20
       20
       +
         "lwt" {< "5.6.0"}

     

       21
       21
        
         "logs"

     

       22
       22
        
         "cstruct" {>= "2.0.0" & < "6.1.0"}

     

       23
       23
        
         "mirage-clock" {>= "1.2.0" & < "3.0.0"}

+1

packages/mirage-flow-unix/mirage-flow-unix.1.2.0/opam

···

       45
       45
        
         "lwt"

     

       46
       46
        
         "lwt" {with-test & < "5.0.0"}

     

       47
       47
        
         "cstruct" {>= "2.3.0" & < "6.0.1"}

     

       48
       48
       +
         "result"

     

       48
       49
        
       ]

     

       49
       50
        
       synopsis: "Various implementations of the MirageOS FLOW interface"

     

       50
       51
        
       description: """

+1

packages/mirage-flow-unix/mirage-flow-unix.1.3.0/opam

···

       22
       22
        
         "lwt"

     

       23
       23
        
         "cstruct" {>= "2.3.0" & < "6.0.1"}

     

       24
       24
        
         "alcotest" {with-test & < "1.4.0"}

     

       25
       25
       +
         "result" {with-test}

     

       25
       26
        
       ]

     

       26
       27
        
       synopsis: "Flow implementations and combinators for MirageOS"

     

       27
       28
        
       description: """

+39

packages/mnd/mnd.1.0.0/opam

···

       1
       1
       +
       # This file is generated by dune, edit dune-project instead

     

       2
       2
       +
       opam-version: "2.0"

     

       3
       3
       +
       synopsis: "A small monads library"

     

       4
       4
       +
       description: "A small monads library"

     

       5
       5
       +
       maintainer: ["Mauro Bringolf <mauro@bringolf.com>"]

     

       6
       6
       +
       authors: ["Mauro Bringolf <mauro@bringolf.com>"]

     

       7
       7
       +
       license: "MIT"

     

       8
       8
       +
       homepage: "https://maurobringolf.ch/mnd"

     

       9
       9
       +
       doc: "https://maurobringolf.ch/mnd"

     

       10
       10
       +
       bug-reports: "https://github.com/maurobringolf/mnd/issues"

     

       11
       11
       +
       depends: [

     

       12
       12
       +
         "dune" {>= "3.0"}

     

       13
       13
       +
         "ocaml" {>= "4.08.0"}

     

       14
       14
       +
         "odoc" {with-doc}

     

       15
       15
       +
         "alcotest" {with-test}

     

       16
       16
       +
         "bisect_ppx" {with-test}

     

       17
       17
       +
       ]

     

       18
       18
       +
       build: [

     

       19
       19
       +
         ["dune" "subst"] {dev}

     

       20
       20
       +
         [

     

       21
       21
       +
           "dune"

     

       22
       22
       +
           "build"

     

       23
       23
       +
           "-p"

     

       24
       24
       +
           name

     

       25
       25
       +
           "-j"

     

       26
       26
       +
           jobs

     

       27
       27
       +
           "@install"

     

       28
       28
       +
           "@runtest" {with-test}

     

       29
       29
       +
           "@doc" {with-doc}

     

       30
       30
       +
         ]

     

       31
       31
       +
       ]

     

       32
       32
       +
       dev-repo: "git+https://github.com/maurobringolf/mnd.git"

     

       33
       33
       +
       url {

     

       34
       34
       +
         src: "https://github.com/maurobringolf/mnd/archive/1.0.0.tar.gz"

     

       35
       35
       +
         checksum: [

     

       36
       36
       +
           "md5=cd3e2d05a385700b6072c81123c44292"

     

       37
       37
       +
           "sha512=6e979beecc8968c194bc3c92403fcefdabb96108a06f08ff1c60a51be936c3078174df96efcbfa5f45a25cd7e406dd7420254502c3420bcb876f637a85cd9ede"

     

       38
       38
       +
         ]

     

       39
       39
       +
       }

+62

packages/ocaml-lsp-server/ocaml-lsp-server.1.12.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "LSP Server for OCaml"

     

       3
       3
       +
       description: "An LSP server for OCaml."

     

       4
       4
       +
       maintainer: ["Rudi Grinberg <me@rgrinberg.com>"]

     

       5
       5
       +
       authors: [

     

       6
       6
       +
         "Andrey Popp <8mayday@gmail.com>"

     

       7
       7
       +
         "Rusty Key <iam@stfoo.ru>"

     

       8
       8
       +
         "Louis Roché <louis@louisroche.net>"

     

       9
       9
       +
         "Oleksiy Golovko <alexei.golovko@gmail.com>"

     

       10
       10
       +
         "Rudi Grinberg <me@rgrinberg.com>"

     

       11
       11
       +
         "Sacha Ayoun <sachaayoun@gmail.com>"

     

       12
       12
       +
         "cannorin <cannorin@gmail.com>"

     

       13
       13
       +
         "Ulugbek Abdullaev <ulugbekna@gmail.com>"

     

       14
       14
       +
         "Thibaut Mattio <thibaut.mattio@gmail.com>"

     

       15
       15
       +
         "Max Lantas <mnxndev@outlook.com>"

     

       16
       16
       +
       ]

     

       17
       17
       +
       license: "ISC"

     

       18
       18
       +
       homepage: "https://github.com/ocaml/ocaml-lsp"

     

       19
       19
       +
       bug-reports: "https://github.com/ocaml/ocaml-lsp/issues"

     

       20
       20
       +
       depends: [

     

       21
       21
       +
         "dune" {>= "2.9"}

     

       22
       22
       +
         "yojson"

     

       23
       23
       +
         "re" {>= "1.5.0"}

     

       24
       24
       +
         "ppx_yojson_conv_lib" {>= "v0.14"}

     

       25
       25
       +
         "dune-rpc"

     

       26
       26
       +
         "dyn"

     

       27
       27
       +
         "stdune"

     

       28
       28
       +
         "fiber" {>= "3.1.1"}

     

       29
       29
       +
         "xdg"

     

       30
       30
       +
         "ordering"

     

       31
       31
       +
         "dune-build-info"

     

       32
       32
       +
         "spawn"

     

       33
       33
       +
         "omd" {<= "1.3.1"}

     

       34
       34
       +
         "octavius" {>= "1.2.2"}

     

       35
       35
       +
         "uutf" {>= "1.0.2"}

     

       36
       36
       +
         "pp" {>= "1.1.2"}

     

       37
       37
       +
         "csexp" {>= "1.5"}

     

       38
       38
       +
         "ocamlformat-rpc-lib" {>= "0.21.0"}

     

       39
       39
       +
         "odoc" {with-doc}

     

       40
       40
       +
         "ocaml" {>= "4.14" & < "4.15"}

     

       41
       41
       +
       ]

     

       42
       42
       +
       dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git"

     

       43
       43
       +
       build: [

     

       44
       44
       +
         ["dune" "subst"] {dev}

     

       45
       45
       +
         [

     

       46
       46
       +
           "dune"

     

       47
       47
       +
           "build"

     

       48
       48
       +
           "-j"

     

       49
       49
       +
           jobs

     

       50
       50
       +
           "ocaml-lsp-server.install"

     

       51
       51
       +
           "--release"

     

       52
       52
       +
         ]

     

       53
       53
       +
       ]

     

       54
       54
       +
       url {

     

       55
       55
       +
         src:

     

       56
       56
       +
           "https://github.com/ocaml/ocaml-lsp/releases/download/1.12.2/lsp-1.12.2.tbz"

     

       57
       57
       +
         checksum: [

     

       58
       58
       +
           "sha256=cf25c8587c848aa913a5e5cc6417e95901be58623c049116e733d8473597dd39"

     

       59
       59
       +
           "sha512=b5aa4278006a0ed8dac3fb18a331c18c5e877c5910165b34e32a1ba346951bf234864ff2b53d58191130b38e07dadaab9778e6bfb2bce351ba98c54c09d6028e"

     

       60
       60
       +
         ]

     

       61
       61
       +
       }

     

       62
       62
       +
       x-commit-hash: "bc3e9c298185fdcb3b80d2d89562b586ba21eb74"

+1 -4

packages/osc-lwt/osc-lwt.0.2.0/opam

···

       12
       12
        
       

     

       13
       13
        
       depends: [

     

       14
       14
        
         "dune" {>= "2.9"}

     

       15
       15
       -
         "lwt"

     

       15
       15
       +
         "lwt" {>= "2.7.0" & < "5.6.0"}

     

       16
       16
        
         "ocaml" {>= "4.08"}

     

       17
       17
        
         "osc" {= version}

     

       18
       18
        
         "ounit" {with-test}

     

       19
       19
       -
       ]

     

       20
       20
       -
       conflicts: [

     

       21
       21
       -
         "lwt" {< "2.7.0"}

     

       22
       19
        
       ]

     

       23
       20
        
       synopsis: "OpenSoundControl Lwt library"

     

       24
       21
        
       description: """

-1

packages/pcre/pcre.7.3.0/opam

···

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
        
         "conf-libpcre"

     

       18
       18
       -
         "base-bytes"

     

       19
       18
        
         "base" {build}

     

       20
       19
        
         "stdio" {build}

     

       21
       20
        
         "configurator" {build}

-1

packages/pcre/pcre.7.3.2/opam

···

       14
       14
        
       

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
       -
         "base-bytes"

     

       18
       17
        
         "conf-libpcre" {build}

     

       19
       18
        
         "base" {build}

     

       20
       19
        
         "stdio" {build}

-1

packages/pcre/pcre.7.3.3/opam

···

       14
       14
        
       

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
       -
         "base-bytes"

     

       18
       17
        
         "conf-libpcre" {build}

     

       19
       18
        
         "base" {build}

     

       20
       19
        
         "stdio" {build}

-1

packages/pcre/pcre.7.3.4/opam

···

       14
       14
        
       

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
       -
         "base-bytes"

     

       18
       17
        
         "conf-libpcre" {build}

     

       19
       18
        
         "base" {build}

     

       20
       19
        
         "stdio" {build}

-1

packages/pcre/pcre.7.3.5/opam

···

       18
       18
        
         "dune-configurator"

     

       19
       19
        
         "conf-libpcre" {build}

     

       20
       20
        
         "base" {build}

     

       21
       21
       -
         "base-bytes"

     

       22
       21
        
       ]

     

       23
       22
        
       

     

       24
       23
        
       synopsis: "Bindings to the Perl Compatibility Regular Expressions library"

-1

packages/pcre/pcre.7.4.0/opam

···

       18
       18
        
         "dune-configurator"

     

       19
       19
        
         "conf-libpcre" {build}

     

       20
       20
        
         "base" {build}

     

       21
       21
       -
         "base-bytes"

     

       22
       21
        
       ]

     

       23
       22
        
       

     

       24
       23
        
       synopsis: "Bindings to the Perl Compatibility Regular Expressions library"

-1

packages/pcre/pcre.7.4.1/opam

···

       18
       18
        
         "dune-configurator"

     

       19
       19
        
         "conf-libpcre" {build}

     

       20
       20
        
         "base" {build}

     

       21
       21
       -
         "base-bytes"

     

       22
       21
        
       ]

     

       23
       22
        
       

     

       24
       23
        
       synopsis: "Bindings to the Perl Compatibility Regular Expressions library"

-1

packages/pcre/pcre.7.4.2/opam

···

       17
       17
        
         "dune" {>= "1.8.0"}

     

       18
       18
        
         "conf-libpcre" {build}

     

       19
       19
        
         "base" {build}

     

       20
       20
       -
         "base-bytes"

     

       21
       20
        
       ]

     

       22
       21
        
       

     

       23
       22
        
       synopsis: "Bindings to the Perl Compatibility Regular Expressions library"

-1

packages/pcre/pcre.7.4.3/opam

···

       21
       21
        
         "dune" {>= "1.10"}

     

       22
       22
        
         "conf-libpcre" {build}

     

       23
       23
        
         "base" {build}

     

       24
       24
       -
         "base-bytes"

     

       25
       24
        
       ]

     

       26
       25
        
       url {

     

       27
       26
        
         src:

-1

packages/pcre/pcre.7.4.4/opam

···

       22
       22
        
         "dune-configurator"

     

       23
       23
        
         "conf-libpcre" {build}

     

       24
       24
        
         "base" {build}

     

       25
       25
       -
         "base-bytes"

     

       26
       25
        
       ]

     

       27
       26
        
       url {

     

       28
       27
        
         src:

-1

packages/pcre/pcre.7.4.6/opam

···

       21
       21
        
         "dune" {>= "1.10"}

     

       22
       22
        
         "dune-configurator"

     

       23
       23
        
         "conf-libpcre" {build}

     

       24
       24
       -
         "base-bytes"

     

       25
       24
        
       ]

     

       26
       25
        
       url {

     

       27
       26
        
         src:

-1

packages/pcre/pcre.7.5.0/opam

···

       15
       15
        
         "ocaml" {>= "4.12"}

     

       16
       16
        
         "dune-configurator"

     

       17
       17
        
         "conf-libpcre" {build}

     

       18
       18
       -
         "base-bytes"

     

       19
       18
        
         "odoc" {with-doc}

     

       20
       19
        
       ]

     

       21
       20
        
       build: [

+47

packages/ppx_seq/ppx_seq.0.3.2/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Seq literals ppx for OCaml"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       Simple unintrusive ppx rewriter that offers Seq literals.

     

       5
       5
       +
       It offers List-like syntax in the form of [%seq a; b; c...],

     

       6
       6
       +
       among other features like a compact ranges syntax.

     

       7
       7
       +
       """

     

       8
       8
       +
       maintainer: "hyphens@pm.me"

     

       9
       9
       +
       authors: "Hazem Elmasry"

     

       10
       10
       +
       license: "ISC"

     

       11
       11
       +
       tags: "syntax"

     

       12
       12
       +
       homepage: "https://sr.ht/~hyphen/ppx_seq"

     

       13
       13
       +
       doc: "https://git.sr.ht/~hyphen/ppx_seq/tree/master/item/README"

     

       14
       14
       +
       bug-reports: "https://lists.sr.ht/~hyphen/ppx_seq"

     

       15
       15
       +
       depends: [

     

       16
       16
       +
         "ocaml" {>= "4.04.2"}

     

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

     

       18
       18
       +
         "ppxlib" {>= "0.23"}

     

       19
       19
       +
         "seq" {with-test}

     

       20
       20
       +
         "odoc" {with-doc}

     

       21
       21
       +
       ]

     

       22
       22
       +
       build: [

     

       23
       23
       +
         ["dune" "subst"] {dev}

     

       24
       24
       +
         [

     

       25
       25
       +
           "dune"

     

       26
       26
       +
           "build"

     

       27
       27
       +
           "-p"

     

       28
       28
       +
           name

     

       29
       29
       +
           "-j"

     

       30
       30
       +
           jobs

     

       31
       31
       +
           "--promote-install-files=false"

     

       32
       32
       +
           "@install"

     

       33
       33
       +
           "@runtest" {with-test}

     

       34
       34
       +
           "@doc" {with-doc}

     

       35
       35
       +
         ]

     

       36
       36
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       37
       37
       +
       ]

     

       38
       38
       +
       dev-repo: "git+https://git.sr.ht/~hyphen/ppx_seq"

     

       39
       39
       +
       url {

     

       40
       40
       +
         src: "https://github.com/hyphenrf/ppx_seq/archive/refs/tags/0.3.2.tar.gz"

     

       41
       41
       +
         checksum: [

     

       42
       42
       +
           "md5=dca5b027638ecaecf5229174b8492757"

     

       43
       43
       +
           "sha256=a3687a6b1491eb8e23ccb104d4864b2e4c13eeb44cb8848e60cba990dba1081e"

     

       44
       44
       +
           "sha512=0b165dd5450a157cdb950b5bf14c1f33c795efcfc4c145f552a4a07965a7239edd41a0647c2c33193e919145ad17035ad7ca166655a92c3c4f3ac846b11fe172"

     

       45
       45
       +
         ]

     

       46
       46
       +
         mirrors: "https://git.sr.ht/~hyphen/ppx_seq/archive/0.3.2.tar.gz"

     

       47
       47
       +
       }

+1 -1

packages/rankers/rankers.1.0.0/opam

···

       11
       11
        
         "batteries"

     

       12
       12
        
         "bst"

     

       13
       13
        
         "conf-gnuplot"

     

       14
       14
       -
         "cpm"

     

       14
       14
       +
         "cpm" {>= "10.0.0"}

     

       15
       15
        
         "dolog" {>= "4.0.0" & < "5.0.0"}

     

       16
       16
        
         "dune" {>= "1.6"}

     

       17
       17
        
         "minicli"

+1 -1

packages/rankers/rankers.2.0.1/opam

···

       11
       11
        
         "batteries"

     

       12
       12
        
         "bst"

     

       13
       13
        
         "conf-gnuplot"

     

       14
       14
       -
         "cpm"

     

       14
       14
       +
         "cpm" {>= "10.0.0"}

     

       15
       15
        
         "dolog" {>= "4.0.0" & < "5.0.0"}

     

       16
       16
        
         "dune" {>= "1.6"}

     

       17
       17
        
         "minicli"

+1 -1

packages/rankers/rankers.2.0.7/opam

···

       11
       11
        
         "batteries"

     

       12
       12
        
         "bst"

     

       13
       13
        
         "conf-gnuplot"

     

       14
       14
       -
         "cpm"

     

       14
       14
       +
         "cpm" {>= "10.0.0"}

     

       15
       15
        
         "dolog" {>= "4.0.0" & < "5.0.0"}

     

       16
       16
        
         "dune" {>= "1.6"}

     

       17
       17
        
         "minicli" {>= "5.0.0"}

+36

packages/reason/reason.3.8.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Jordan Walke <jordojw@gmail.com>"

     

       3
       3
       +
       authors: [ "Jordan Walke <jordojw@gmail.com>" ]

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/reasonml/reason"

     

       6
       6
       +
       doc: "https://reasonml.github.io/"

     

       7
       7
       +
       bug-reports: "https://github.com/reasonml/reason/issues"

     

       8
       8
       +
       dev-repo: "git+https://github.com/reasonml/reason.git"

     

       9
       9
       +
       tags: [ "syntax" ]

     

       10
       10
       +
       build: [

     

       11
       11
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       12
       12
       +
       ]

     

       13
       13
       +
       depends: [

     

       14
       14
       +
         "ocaml"         {>= "4.03" & < "5.1"}

     

       15
       15
       +
         "dune"          {>= "2.3"}

     

       16
       16
       +
         "ocamlfind"     {build}

     

       17
       17
       +
         "menhir"        {>= "20180523"}

     

       18
       18
       +
         "merlin-extend" {>= "0.6"}

     

       19
       19
       +
         "fix"

     

       20
       20
       +
         "result"

     

       21
       21
       +
         "ppx_derivers"

     

       22
       22
       +
       ]

     

       23
       23
       +
       synopsis: "Reason: Syntax & Toolchain for OCaml"

     

       24
       24
       +
       description: """

     

       25
       25
       +
       Reason gives OCaml a new syntax that is remniscient of languages like

     

       26
       26
       +
       JavaScript. It's also the umbrella project for a set of tools for the OCaml &

     

       27
       27
       +
       JavaScript ecosystem."""

     

       28
       28
       +
       url {

     

       29
       29
       +
         src:

     

       30
       30
       +
           "https://github.com/reasonml/reason/releases/download/3.8.1/reason-3.8.1.tbz"

     

       31
       31
       +
         checksum: [

     

       32
       32
       +
           "sha256=bfcdbb09f62b4c108f26e6dc380431613e4de4b065df8f14364efe4acea8e414"

     

       33
       33
       +
           "sha512=61cdf7844349b64190965782103e04eef303ca1f2a7cdc7e20d11189700796a18d2a9d9dbb3ad17eb1363bb1663113da6a22448c017820219757874601f207c3"

     

       34
       34
       +
         ]

     

       35
       35
       +
       }

     

       36
       36
       +
       x-commit-hash: "c60801c3378025e4527d3f53ef960daf937ed478"

+34

packages/redis-lwt/redis-lwt.0.6/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Simon Cruanes"

     

       3
       3
       +
       authors: [

     

       4
       4
       +
         "Mike Wells"

     

       5
       5
       +
         "David Höppner"

     

       6
       6
       +
         "Aleksandr Dinu"

     

       7
       7
       +
       ]

     

       8
       8
       +
       homepage: "https://github.com/0xffea/ocaml-redis"

     

       9
       9
       +
       bug-reports: "https://github.com/0xffea/ocaml-redis/issues"

     

       10
       10
       +
       license: "BSD-3-Clause"

     

       11
       11
       +
       tags: ["redis" "lwt"]

     

       12
       12
       +
       dev-repo: "git+https://github.com/0xffea/ocaml-redis.git"

     

       13
       13
       +
       synopsis: "Redis client (lwt interface)"

     

       14
       14
       +
       build: [

     

       15
       15
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       16
       16
       +
         # ["dune" "runtest" "-p" name "-j" jobs] {with-test}  # need network

     

       17
       17
       +
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       18
       18
       +
       ]

     

       19
       19
       +
       depends: [

     

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

     

       21
       21
       +
         "redis" { = version }

     

       22
       22
       +
         "lwt" {>= "2.4.7"}

     

       23
       23
       +
         "ocaml" { >= "4.03.0" }

     

       24
       24
       +
         "ounit2" {with-test}

     

       25
       25
       +
         "containers" {with-test}

     

       26
       26
       +
         "odoc" {with-doc}

     

       27
       27
       +
       ]

     

       28
       28
       +
       url {

     

       29
       29
       +
         src: "https://github.com/0xffea/ocaml-redis/archive/v0.6.tar.gz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=be1850ecdb92400e548e7ada346f1acd"

     

       32
       32
       +
           "sha512=77aace7d537606f252f37397c3368bb3a66cf6ca66d52d6cbe2524b0218a7991ca643e6ec00d70bf20b0715c412d5e290b9a06d07bd9575bcfba32b59f17bc26"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

+34

packages/redis-sync/redis-sync.0.6/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Simon Cruanes"

     

       3
       3
       +
       authors: [

     

       4
       4
       +
         "Mike Wells"

     

       5
       5
       +
         "David Höppner"

     

       6
       6
       +
         "Aleksandr Dinu"

     

       7
       7
       +
       ]

     

       8
       8
       +
       homepage: "https://github.com/0xffea/ocaml-redis"

     

       9
       9
       +
       bug-reports: "https://github.com/0xffea/ocaml-redis/issues"

     

       10
       10
       +
       license: "BSD-3-Clause"

     

       11
       11
       +
       tags: ["redis" "unix"]

     

       12
       12
       +
       synopsis: "Redis client (blocking)"

     

       13
       13
       +
       dev-repo: "git+https://github.com/0xffea/ocaml-redis.git"

     

       14
       14
       +
       build: [

     

       15
       15
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       16
       16
       +
         # ["dune" "runtest" "-p" name "-j" jobs] {with-test} # need network

     

       17
       17
       +
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       18
       18
       +
       ]

     

       19
       19
       +
       depends: [

     

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

     

       21
       21
       +
         "redis" { = version }

     

       22
       22
       +
         "ocaml" { >= "4.03.0" }

     

       23
       23
       +
         "camlp-streams"

     

       24
       24
       +
         "ounit2" {with-test}

     

       25
       25
       +
         "containers" {with-test}

     

       26
       26
       +
         "odoc" {with-doc}

     

       27
       27
       +
       ]

     

       28
       28
       +
       url {

     

       29
       29
       +
         src: "https://github.com/0xffea/ocaml-redis/archive/v0.6.tar.gz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=be1850ecdb92400e548e7ada346f1acd"

     

       32
       32
       +
           "sha512=77aace7d537606f252f37397c3368bb3a66cf6ca66d52d6cbe2524b0218a7991ca643e6ec00d70bf20b0715c412d5e290b9a06d07bd9575bcfba32b59f17bc26"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

+34

packages/redis/redis.0.6/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Simon Cruanes"

     

       3
       3
       +
       authors: [

     

       4
       4
       +
         "Mike Wells"

     

       5
       5
       +
         "David Höppner"

     

       6
       6
       +
         "Aleksandr Dinu"

     

       7
       7
       +
       ]

     

       8
       8
       +
       homepage: "https://github.com/0xffea/ocaml-redis"

     

       9
       9
       +
       bug-reports: "https://github.com/0xffea/ocaml-redis/issues"

     

       10
       10
       +
       license: "BSD-3-Clause"

     

       11
       11
       +
       tags: ["redis"]

     

       12
       12
       +
       dev-repo: "git+https://github.com/0xffea/ocaml-redis.git"

     

       13
       13
       +
       synopsis: "Redis client"

     

       14
       14
       +
       build: [

     

       15
       15
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       16
       16
       +
         # ["dune" "runtest" "-p" name "-j" jobs] {with-test} # need network

     

       17
       17
       +
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       18
       18
       +
       ]

     

       19
       19
       +
       depends: [

     

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

     

       21
       21
       +
         "base-unix"

     

       22
       22
       +
         "uuidm"

     

       23
       23
       +
         "stdlib-shims"

     

       24
       24
       +
         "re" {>= "1.7.2"}

     

       25
       25
       +
         "ocaml" { >= "4.03.0" }

     

       26
       26
       +
         "odoc" {with-doc}

     

       27
       27
       +
       ]

     

       28
       28
       +
       url {

     

       29
       29
       +
         src: "https://github.com/0xffea/ocaml-redis/archive/v0.6.tar.gz"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=be1850ecdb92400e548e7ada346f1acd"

     

       32
       32
       +
           "sha512=77aace7d537606f252f37397c3368bb3a66cf6ca66d52d6cbe2524b0218a7991ca643e6ec00d70bf20b0715c412d5e290b9a06d07bd9575bcfba32b59f17bc26"

     

       33
       33
       +
         ]

     

       34
       34
       +
       }

-1

packages/res/res.5.0.0/opam

···

       14
       14
        
       

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
       -
         "base-bytes"

     

       18
       17
        
         "jbuilder" {>= "1.0+beta10"}

     

       19
       18
        
       ]

     

       20
       19
        
       synopsis: "RES - Library for resizable, contiguous datastructures"

-1

packages/res/res.5.0.1/opam

···

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.04"}

     

       17
       17
        
         "dune" {>= "1.4.0"}

     

       18
       18
       -
         "base-bytes"

     

       19
       18
        
       ]

     

       20
       19
        
       

     

       21
       20
        
       synopsis: "RES - Library for resizable, contiguous datastructures"

+31

packages/rtop/rtop.3.8.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "Jordan Walke <jordojw@gmail.com>"

     

       3
       3
       +
       authors: [ "Jordan Walke <jordojw@gmail.com>" ]

     

       4
       4
       +
       license: "MIT"

     

       5
       5
       +
       homepage: "https://github.com/reasonml/reason"

     

       6
       6
       +
       doc: "https://reasonml.github.io/"

     

       7
       7
       +
       bug-reports: "https://github.com/reasonml/reason/issues"

     

       8
       8
       +
       dev-repo: "git+https://github.com/reasonml/reason.git"

     

       9
       9
       +
       tags: [ "syntax" ]

     

       10
       10
       +
       build: [

     

       11
       11
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       12
       12
       +
       ]

     

       13
       13
       +
       depends: [

     

       14
       14
       +
         "ocaml"  {>= "4.03" & < "5.1"}

     

       15
       15
       +
         "dune"   {>= "2.3"}

     

       16
       16
       +
         "reason" {=version}

     

       17
       17
       +
         "utop"   {>= "2.0"}

     

       18
       18
       +
       ]

     

       19
       19
       +
       synopsis: "Reason toplevel"

     

       20
       20
       +
       description:

     

       21
       21
       +
         "rtop is the toplevel (or REPL) for Reason, based on utop (https://github.com/diml/utop)."

     

       22
       22
       +
       url {

     

       23
       23
       +
         src:

     

       24
       24
       +
           "https://github.com/reasonml/reason/releases/download/3.8.1/reason-3.8.1.tbz"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "sha256=bfcdbb09f62b4c108f26e6dc380431613e4de4b065df8f14364efe4acea8e414"

     

       27
       27
       +
           "sha512=61cdf7844349b64190965782103e04eef303ca1f2a7cdc7e20d11189700796a18d2a9d9dbb3ad17eb1363bb1663113da6a22448c017820219757874601f207c3"

     

       28
       28
       +
         ]

     

       29
       29
       +
       }

     

       30
       30
       +
       x-commit-hash: "c60801c3378025e4527d3f53ef960daf937ed478"

     

       31
       31
       +

+1

packages/session-postgresql-async/session-postgresql-async.0.4.1/opam

···

       11
       11
        
         "session-postgresql"

     

       12
       12
        
         "async"

     

       13
       13
        
         "base-threads"

     

       14
       14
       +
         "result"

     

       14
       15
        
       ]

     

       15
       16
        
       build: [

     

       16
       17
        
         ["dune" "subst"] {dev}

+1

packages/session-postgresql-lwt/session-postgresql-lwt.0.4.1/opam

···

       10
       10
        
         "dune" {>= "1.0"}

     

       11
       11
        
         "session-postgresql"

     

       12
       12
        
         "lwt" {>= "3.2.0"}

     

       13
       13
       +
         "result"

     

       13
       14
        
       ]

     

       14
       15
        
       build: [

     

       15
       16
        
         ["dune" "subst"] {dev}

+30

packages/smtlib-utils/smtlib-utils.0.4/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
       +
       synopsis: "Parser for SMTLIB2"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       5
       5
       +
       build: [

     

       6
       6
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       7
       7
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       8
       8
       +
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       9
       9
       +
       ]

     

       10
       10
       +
       depends: [

     

       11
       11
       +
         "dune" { >= "2.0" }

     

       12
       12
       +
         "menhir" {build & >= "20180523"}

     

       13
       13
       +
         "odoc" {with-doc}

     

       14
       14
       +
         "ocaml" { >= "4.08.0" }

     

       15
       15
       +
         "catapult" { with-test }

     

       16
       16
       +
         "catapult-file" { with-test }

     

       17
       17
       +
       ]

     

       18
       18
       +
       tags: [ "SMTLIB" "smt2" "parse" "logic" ]

     

       19
       19
       +
       homepage: "https://github.com/c-cube/smtlib-utils/"

     

       20
       20
       +
       bug-reports: "https://github.com/c-cube/smtlib-utils/issues"

     

       21
       21
       +
       dev-repo: "git+https://github.com/c-cube/smtlib-utils.git"

     

       22
       22
       +
       authors: "Simon Cruanes"

     

       23
       23
       +
       url {

     

       24
       24
       +
         src: "https://github.com/c-cube/smtlib-utils/archive/v0.4.tar.gz"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=ab7e8e99a3b977941e6900c531f126af"

     

       27
       27
       +
           "sha512=23e5d2b8274186f49a43ef23b8e64d76d4098e9b8f50b65958d16ec0afde745d0ce12cc6c6beec29abf91596c32cae05404a80aa21afacde5b8c15fd9711ba62"

     

       28
       28
       +
         ]

     

       29
       29
       +
       }

     

       30
       30
       +

-1

packages/stringext/stringext.1.5.0/opam

···

       15
       15
        
         "jbuilder" {>= "1.0+beta10"}

     

       16
       16
        
         "ounit" {with-test}

     

       17
       17
        
         "qtest" {with-test & >= "2.2"}

     

       18
       18
       -
         "base-bytes"

     

       19
       18
        
       ]

     

       20
       19
        
       synopsis: "Extra string functions for OCaml"

     

       21
       20
        
       description: """

-1

packages/stringext/stringext.1.6.0/opam

···

       9
       9
        
         "dune" {>= "1.0"}

     

       10
       10
        
         "ounit" {with-test}

     

       11
       11
        
         "qtest" {with-test & >= "2.2"}

     

       12
       12
       -
         "base-bytes"

     

       13
       12
        
       ]

     

       14
       13
        
       build: [

     

       15
       14
        
         ["dune" "subst"] {dev}

+46

packages/z3/z3.4.8.17/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "weng@cs.jhu.edu"

     

       3
       3
       +
       authors: "MSR"

     

       4
       4
       +
       homepage: "https://github.com/Z3prover/z3"

     

       5
       5
       +
       bug-reports: "https://github.com/Z3prover/z3/issues"

     

       6
       6
       +
       license: "MIT"

     

       7
       7
       +
       dev-repo: "git+https://github.com/Z3prover/z3.git"

     

       8
       8
       +
       depexts: [

     

       9
       9
       +
         ["python3-distutils"] {os-family = "debian"}

     

       10
       10
       +
       ]

     

       11
       11
       +
       build: [

     

       12
       12
       +
         [ "python3" "scripts/mk_make.py" "--ml" ]

     

       13
       13
       +
         [ make "-C" "build" "-j" jobs ]

     

       14
       14
       +
       ]

     

       15
       15
       +
       

     

       16
       16
       +
       install: [

     

       17
       17
       +
         [ "sh" "-c" "ocamlfind install z3 build/api/ml/* -dll build/libz3.*"]

     

       18
       18
       +
         [ "cp" "build/z3" "%{bin}%/z3"]

     

       19
       19
       +
       ]

     

       20
       20
       +
       

     

       21
       21
       +
       depends: [

     

       22
       22
       +
         "ocaml" {>= "4.08.0"}

     

       23
       23
       +
         "ocamlfind" {build}

     

       24
       24
       +
         "zarith"

     

       25
       25
       +
         "conf-gmp"

     

       26
       26
       +
         "conf-python-3" {build}

     

       27
       27
       +
       ]

     

       28
       28
       +
       x-ci-accept-failures: [

     

       29
       29
       +
         "centos-7" "oraclelinux-7" # C compiler is too old

     

       30
       30
       +
       ]

     

       31
       31
       +
       synopsis: "Z3 solver"

     

       32
       32
       +
       post-messages: [

     

       33
       33
       +
         """

     

       34
       34
       +
       Z3 4.8.13 changed the linking mode from static to dynamic.

     

       35
       35
       +
       This change is silent and potentially breaking.

     

       36
       36
       +
       Please make sure that you don't require static binaries in the programs using Z3.

     

       37
       37
       +
       """ {success}

     

       38
       38
       +
       ]

     

       39
       39
       +
       url {

     

       40
       40
       +
         src:

     

       41
       41
       +
           "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.17.tar.gz"

     

       42
       42
       +
         checksum: [

     

       43
       43
       +
           "sha256=1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126"

     

       44
       44
       +
           "sha512=95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d"

     

       45
       45
       +
         ]

     

       46
       46
       +
       }