commit f06c0121d684e5b39d960d060ec073bc1dca64a7 · anil.recoil.org/opam-repository

+3 -2

packages/qcheck-alcotest/qcheck-alcotest.0.10/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Alcotest backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "property" "quickcheck"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       10
       11
        
         "dune"

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9" & < "0.15"}

     

       14
       14
       -
         "alcotest"

     

       14
       14
       +
         "qcheck-core" {= version}

     

       15
       15
       +
         "alcotest" {>= "0.8.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
         "ocaml" {>= "4.03.0"}

     

       17
       18
        
       ]

+3 -2

packages/qcheck-alcotest/qcheck-alcotest.0.11/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Alcotest backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "quickcheck" "qcheck" "alcotest"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       14
        
         "qcheck-core" {= version}

     

       14
       14
       -
         "alcotest"

     

       15
       15
       +
         "alcotest" {>= "0.8.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
         "ocaml" {>= "4.03.0"}

     

       17
       18
        
       ]

     
···

       27
       28
        
           "md5=36f06108bb49df27b8a1b95aacfd4859"

     

       28
       29
        
           "sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"

     

       29
       30
        
         ]

     

       30
       30
       -
       }
     

       31
       31
       +
       }

+2 -1

packages/qcheck-alcotest/qcheck-alcotest.0.12/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Alcotest backend for qcheck"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     
···

       19
       20
        
         "base-bytes"

     

       20
       21
        
         "base-unix"

     

       21
       22
        
         "qcheck-core" { = version }

     

       22
       22
       -
         "alcotest"

     

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

     

       23
       24
        
         "odoc" {with-doc}

     

       24
       25
        
         "ocaml" {>= "4.03.0"}

     

       25
       26
        
       ]

+2 -1

packages/qcheck-alcotest/qcheck-alcotest.0.13/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Alcotest backend for qcheck"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     
···

       19
       20
        
         "base-bytes"

     

       20
       21
        
         "base-unix"

     

       21
       22
        
         "qcheck-core" { = version }

     

       22
       22
       -
         "alcotest"

     

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

     

       23
       24
        
         "odoc" {with-doc}

     

       24
       25
        
         "ocaml" {>= "4.03.0"}

     

       25
       26
        
       ]

+2 -1

packages/qcheck-alcotest/qcheck-alcotest.0.14/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Alcotest backend for qcheck"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     
···

       19
       20
        
         "base-bytes"

     

       20
       21
        
         "base-unix"

     

       21
       22
        
         "qcheck-core" { = version }

     

       22
       22
       -
         "alcotest"

     

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

     

       23
       24
        
         "odoc" {with-doc}

     

       24
       25
        
         "ocaml" {>= "4.03.0"}

     

       25
       26
        
       ]

+3 -2

packages/qcheck-alcotest/qcheck-alcotest.0.15/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Alcotest backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "quickcheck" "qcheck" "alcotest"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       14
        
         "qcheck-core" {= version}

     

       14
       14
       -
         "alcotest"

     

       15
       15
       +
         "alcotest" {>= "0.8.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
         "ocaml" {>= "4.03.0"}

     

       17
       18
        
       ]

     
···

       27
       28
        
           "md5=1afd9ea21b86a726f337ea26920ce918"

     

       28
       29
        
           "sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"

     

       29
       30
        
         ]

     

       30
       30
       -
       }
     

       31
       31
       +
       }

+2 -1

packages/qcheck-alcotest/qcheck-alcotest.0.16/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Alcotest backend for qcheck"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     
···

       19
       20
        
         "base-bytes"

     

       20
       21
        
         "base-unix"

     

       21
       22
        
         "qcheck-core" { = version }

     

       22
       22
       -
         "alcotest"

     

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

     

       23
       24
        
         "odoc" {with-doc}

     

       24
       25
        
         "ocaml" {>= "4.03.0"}

     

       25
       26
        
       ]

+2 -1

packages/qcheck-alcotest/qcheck-alcotest.0.17/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Alcotest backend for qcheck"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     
···

       19
       20
        
         "base-bytes"

     

       20
       21
        
         "base-unix"

     

       21
       22
        
         "qcheck-core" { = version }

     

       22
       22
       -
         "alcotest"

     

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

     

       23
       24
        
         "odoc" {with-doc}

     

       24
       25
        
         "ocaml" {>= "4.03.0"}

     

       25
       26
        
       ]

+1 -1

packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam

···

       20
       20
        
         "base-bytes"

     

       21
       21
        
         "base-unix"

     

       22
       22
        
         "qcheck-core" { = version }

     

       23
       23
       -
         "alcotest"

     

       23
       23
       +
         "alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version

     

       24
       24
        
         "odoc" {with-doc}

     

       25
       25
        
         "ocaml" {>= "4.08.0"}

     

       26
       26
        
       ]

+1 -1

packages/qcheck-alcotest/qcheck-alcotest.0.18/opam

···

       20
       20
        
         "base-bytes"

     

       21
       21
        
         "base-unix"

     

       22
       22
        
         "qcheck-core" { = version }

     

       23
       23
       -
         "alcotest" { ! with-test | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version

     

       23
       23
       +
         "alcotest" { (>= "0.8.0" & ! with-test) | (>= "1.4" & < "1.5") } # Tests snapshot Alcotest output, so need a fixed minor version

     

       24
       24
        
         "odoc" {with-doc}

     

       25
       25
        
         "ocaml" {>= "4.08.0"}

     

       26
       26
        
       ]

+3 -2

packages/qcheck-alcotest/qcheck-alcotest.0.9/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"

     

       4
       5
        
       tags: ["test" "property" "quickcheck"]

     

       5
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       10
       11
        
         "ocaml" {>= "4.03.0"}

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9" & < "0.15"}

     

       14
       14
       +
         "qcheck-core" {= version}

     

       14
       15
        
         "alcotest" {>= "0.8.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
       ]

     
···

       20
       21
        
           ["dune" "build" "@doc" "-p" name] {with-doc}

     

       21
       22
        
       ]

     

       22
       23
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       23
       23
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       24
       24
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       24
       25
        
       description: """

     

       25
       26
        
       This module provides QCheck integration with alcotest."""

     

       26
       27
        
       url {

+2 -1

packages/qcheck-core/qcheck-core.0.10/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Core qcheck library"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "property" "quickcheck"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       28
       29
        
           "md5=de3599bfa7ad2a4981c289affeb9bf6e"

     

       29
       30
        
           "sha512=250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97"

     

       30
       31
        
         ]

     

       31
       31
       -
       }
     

       32
       32
       +
       }

+2 -1

packages/qcheck-core/qcheck-core.0.11/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Core qcheck library"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "property" "quickcheck"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       28
       29
        
           "md5=36f06108bb49df27b8a1b95aacfd4859"

     

       29
       30
        
           "sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"

     

       30
       31
        
         ]

     

       31
       31
       -
       }
     

       32
       32
       +
       }

+1

packages/qcheck-core/qcheck-core.0.12/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Core qcheck library"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

+1

packages/qcheck-core/qcheck-core.0.13/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Core qcheck library"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

+1

packages/qcheck-core/qcheck-core.0.14/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Core qcheck library"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

+2 -1

packages/qcheck-core/qcheck-core.0.15/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "Core qcheck library"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "property" "quickcheck"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       28
       29
        
           "md5=1afd9ea21b86a726f337ea26920ce918"

     

       29
       30
        
           "sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"

     

       30
       31
        
         ]

     

       31
       31
       -
       }
     

       32
       32
       +
       }

+1

packages/qcheck-core/qcheck-core.0.16/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Core qcheck library"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

+1

packages/qcheck-core/qcheck-core.0.17/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       synopsis: "Core qcheck library"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

+2 -1

packages/qcheck-core/qcheck-core.0.9/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"

     

       4
       5
        
       tags: ["test" "property" "quickcheck"]

     

       5
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       21
       22
        
           ["dune" "build" "@doc" "-p" name] {with-doc}

     

       22
       23
        
       ]

     

       23
       24
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       24
       24
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       25
       25
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       25
       26
        
       description: """

     

       26
       27
        
       This module allows to check invariants (properties of some types) over

     

       27
       28
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck-ounit/qcheck-ounit.0.10/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "OUnit backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["test" "property" "quickcheck"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       10
       11
        
         "dune"

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9" & < "0.15"}

     

       14
       14
       +
         "qcheck-core" {= version}

     

       14
       15
        
         "ounit" {>= "2.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
         "ocaml" {>= "4.03.0"}

+2 -1

packages/qcheck-ounit/qcheck-ounit.0.11/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "OUnit backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["qcheck" "quickcheck" "ounit"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       27
       28
        
           "md5=36f06108bb49df27b8a1b95aacfd4859"

     

       28
       29
        
           "sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"

     

       29
       30
        
         ]

     

       30
       30
       -
       }
     

       31
       31
       +
       }

+1

packages/qcheck-ounit/qcheck-ounit.0.12/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       5
       6
        
       synopsis: "OUnit backend for qcheck"

+1

packages/qcheck-ounit/qcheck-ounit.0.13/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       5
       6
        
       synopsis: "OUnit backend for qcheck"

+1

packages/qcheck-ounit/qcheck-ounit.0.14/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       5
       6
        
       synopsis: "OUnit backend for qcheck"

+2 -1

packages/qcheck-ounit/qcheck-ounit.0.15/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "OUnit backend for qcheck"

     

       3
       3
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       4
       4
       +
       license: "BSD-2-Clause"

     

       4
       5
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       6
        
       tags: ["qcheck" "quickcheck" "ounit"]

     

       6
       7
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       27
       28
        
           "md5=1afd9ea21b86a726f337ea26920ce918"

     

       28
       29
        
           "sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"

     

       29
       30
        
         ]

     

       30
       30
       -
       }
     

       31
       31
       +
       }

+1

packages/qcheck-ounit/qcheck-ounit.0.16/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       5
       6
        
       synopsis: "OUnit backend for qcheck"

+1

packages/qcheck-ounit/qcheck-ounit.0.17/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       5
       6
        
       synopsis: "OUnit backend for qcheck"

+3 -2

packages/qcheck-ounit/qcheck-ounit.0.9/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

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

     

       3
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"

     

       4
       5
        
       tags: ["test" "property" "quickcheck"]

     

       5
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     
···

       10
       11
        
         "ocaml" {>= "4.03.0"}

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9" & < "0.15"}

     

       14
       14
       +
         "qcheck-core" {= version}

     

       14
       15
        
         "ounit" {>= "2.0"}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
       ]

     
···

       20
       21
        
           ["dune" "build" "@doc" "-p" name] {with-doc}

     

       21
       22
        
       ]

     

       22
       23
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       23
       23
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       24
       24
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       24
       25
        
       description: """

     

       25
       26
        
       This module provides QCheck integration with OUnit."""

     

       26
       27
        
       url {

+4 -1

packages/qcheck/qcheck.0.1.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes@inria.fr"

     

       3
       3
       +
       authors: ["Simon Cruanes <simon.cruanes@inria.fr>"]

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       build: [

     

       5
       6
        
         ["ocaml" "setup.ml" "-configure" "--prefix" prefix]

     
···

       11
       12
        
         "ocamlfind"

     

       12
       13
        
         "ocamlbuild" {build}

     

       13
       14
        
       ]

     

       15
       15
       +
       conflicts: [ "qcheck-core" ]

     

       14
       16
        
       dev-repo: "git+https://github.com/c-cube/qcheck"

     

       17
       17
       +
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       15
       18
        
       install: [make "install"]

     

       16
       16
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       19
       19
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       17
       20
        
       description: """

     

       18
       21
        
       This module allows to check invariants (properties of some types) over

     

       19
       22
        
       randomly generated instances of the type."""

+3 -1

packages/qcheck/qcheck.0.1.2/opam

···

       18
       18
        
         "ocamlfind"

     

       19
       19
        
         "ocamlbuild" {build}

     

       20
       20
        
       ]

     

       21
       21
       +
       conflicts: [ "qcheck-core" ]

     

       21
       22
        
       dev-repo: "git+https://github.com/c-cube/qcheck"

     

       23
       23
       +
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       22
       24
        
       install: [make "install"]

     

       23
       23
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       25
       25
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       24
       26
        
       description: """

     

       25
       27
        
       This module allows to check invariants (properties of some types) over

     

       26
       28
        
       randomly generated instances of the type."""

+3 -1

packages/qcheck/qcheck.0.1.3/opam

···

       15
       15
        
         "ocamlfind"

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
        
       ]

     

       18
       18
       +
       conflicts: [ "qcheck-core" ]

     

       18
       19
        
       dev-repo: "git+https://github.com/c-cube/qcheck"

     

       20
       20
       +
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       19
       21
        
       install: [

     

       20
       22
        
         [make "all" "install_file"]

     

       21
       23
        
         [make "install"]

     

       22
       24
        
       ]

     

       23
       23
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       25
       25
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       24
       26
        
       description: """

     

       25
       27
        
       This module allows to check invariants (properties of some types) over

     

       26
       28
        
       randomly generated instances of the type."""

+4 -1

packages/qcheck/qcheck.0.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       maintainer: "simon.cruanes@inria.fr"

     

       3
       3
       +
       authors: ["Simon Cruanes <simon.cruanes@inria.fr>"]

     

       3
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       4
       5
        
       build: [

     

       5
       6
        
         ["ocaml" "setup.ml" "-configure" "--prefix" prefix]

     
···

       11
       12
        
         "ocamlfind"

     

       12
       13
        
         "ocamlbuild" {build}

     

       13
       14
        
       ]

     

       15
       15
       +
       conflicts: [ "qcheck-core" ]

     

       14
       16
        
       dev-repo: "git+https://github.com/c-cube/qcheck"

     

       17
       17
       +
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       15
       18
        
       install: [make "install"]

     

       16
       16
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       19
       19
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       17
       20
        
       description: """

     

       18
       21
        
       This module allows to check invariants (properties of some types) over

     

       19
       22
        
       randomly generated instances of the type."""

+4 -3

packages/qcheck/qcheck.0.10/opam

···

       4
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       5
        
       tags: ["test" "property" "quickcheck"]

     

       6
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       7
       7
       +
       license: "BSD-2-Clause"

     

       7
       8
        
       doc: "http://c-cube.github.io/qcheck/"

     

       8
       9
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       9
       10
        
       depends: [

     

       10
       11
        
         "dune"

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9"}

     

       14
       14
       -
         "qcheck-ounit" {>= "0.9"}

     

       14
       14
       +
         "qcheck-core" {= version}

     

       15
       15
       +
         "qcheck-ounit" {= version}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
         "ocaml" {>= "4.03.0"}

     

       17
       18
        
       ]

     
···

       30
       31
        
           "md5=de3599bfa7ad2a4981c289affeb9bf6e"

     

       31
       32
        
           "sha512=250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97"

     

       32
       33
        
         ]

     

       33
       33
       -
       }
     

       34
       34
       +
       }

+2 -1

packages/qcheck/qcheck.0.11/opam

···

       4
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       5
        
       tags: ["test" "property" "quickcheck"]

     

       6
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       7
       7
       +
       license: "BSD-2-Clause"

     

       7
       8
        
       doc: "http://c-cube.github.io/qcheck/"

     

       8
       9
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       9
       10
        
       depends: [

     
···

       30
       31
        
           "md5=36f06108bb49df27b8a1b95aacfd4859"

     

       31
       32
        
           "sha512=80d98632cc0a93ae9d0e2d1f393134171518d7fdc5f19d5583964254c31cf18c8f587f0d50e0b4b41e2ded1129715acde16b8de57b35ed6b69f2e7de5a50eee9"

     

       32
       33
        
         ]

     

       33
       33
       -
       }
     

       34
       34
       +
       }

+1

packages/qcheck/qcheck.0.12/opam

···

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       synopsis: "Compatibility package for qcheck"

     

       4
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     

       7
       8
        
         "test"

+1

packages/qcheck/qcheck.0.13/opam

···

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       synopsis: "Compatibility package for qcheck"

     

       4
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     

       7
       8
        
         "test"

+1

packages/qcheck/qcheck.0.14/opam

···

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       synopsis: "Compatibility package for qcheck"

     

       4
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     

       7
       8
        
         "test"

+2 -1

packages/qcheck/qcheck.0.15/opam

···

       4
       4
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.org>"

     

       5
       5
        
       tags: ["test" "property" "quickcheck"]

     

       6
       6
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       7
       7
       +
       license: "BSD-2-Clause"

     

       7
       8
        
       doc: "http://c-cube.github.io/qcheck/"

     

       8
       9
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       9
       10
        
       depends: [

     
···

       30
       31
        
           "md5=1afd9ea21b86a726f337ea26920ce918"

     

       31
       32
        
           "sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1"

     

       32
       33
        
         ]

     

       33
       33
       -
       }
     

       34
       34
       +
       }

+1

packages/qcheck/qcheck.0.16/opam

···

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       synopsis: "Compatibility package for qcheck"

     

       4
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     

       7
       8
        
         "test"

+1

packages/qcheck/qcheck.0.17/opam

···

       2
       2
        
       maintainer: "simon.cruanes.2007@m4x.org"

     

       3
       3
        
       synopsis: "Compatibility package for qcheck"

     

       4
       4
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       5
       5
       +
       license: "BSD-2-Clause"

     

       5
       6
        
       doc: ["http://c-cube.github.io/qcheck/"]

     

       6
       7
        
       tags: [

     

       7
       8
        
         "test"

+4 -1

packages/qcheck/qcheck.0.2/opam

···

       18
       18
        
         "ocamlfind"

     

       19
       19
        
         "ocamlbuild" {build}

     

       20
       20
        
       ]

     

       21
       21
       +
       conflicts: [ "qcheck-core" ]

     

       22
       22
       +
       dev-repo: "git+https://github.com/c-cube/qcheck"

     

       23
       23
       +
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       21
       24
        
       install: [

     

       22
       25
        
         [make "all" "install_file"]

     

       23
       26
        
         [make "install"]

     

       24
       27
        
       ]

     

       25
       25
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       28
       28
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       26
       29
        
       description: """

     

       27
       30
        
       This module allows to check invariants (properties of some types) over

     

       28
       31
        
       randomly generated instances of the type. Also contains Gabriel Scherer's

+2 -1

packages/qcheck/qcheck.0.3/opam

···

       23
       23
        
       ]

     

       24
       24
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       25
       25
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       26
       26
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       26
       26
       +
       conflicts: [ "qcheck-core" ]

     

       27
       27
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       27
       28
        
       description: """

     

       28
       29
        
       This module allows to check invariants (properties of some types) over

     

       29
       30
        
       randomly generated instances of the type. It provides combinators for

+5 -2

packages/qcheck/qcheck.0.4/opam

···

       26
       26
        
       depopts: ["ounit" ]

     

       27
       27
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       28
       28
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       29
       29
       -
       conflicts: [ "ounit" { < "2.0" } ]

     

       30
       30
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       29
       29
       +
       conflicts: [

     

       30
       30
       +
         "ounit" { < "2.0" }

     

       31
       31
       +
         "qcheck-core"

     

       32
       32
       +
       ]

     

       33
       33
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       31
       34
        
       description: """

     

       32
       35
        
       This module allows to check invariants (properties of some types) over

     

       33
       36
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.5.1/opam

···

       29
       29
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       30
       30
        
       conflicts: [

     

       31
       31
        
         "ounit" { < "2.0" }

     

       32
       32
       +
         "qcheck-core"

     

       32
       33
        
       ]

     

       33
       33
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       34
       34
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       34
       35
        
       description: """

     

       35
       36
        
       This module allows to check invariants (properties of some types) over

     

       36
       37
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.5.2/opam

···

       29
       29
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       30
       30
        
       conflicts: [

     

       31
       31
        
         "ounit" { < "2.0" }

     

       32
       32
       +
         "qcheck-core"

     

       32
       33
        
       ]

     

       33
       34
        
       post-messages:"new release that fixes some problems with 0.5.1,

     

       34
       35
        
       including a better handling of backtraces, safe-string awareness,

     
···

       37
       38
        
       The latter point is important for not breaking code that would use `small_int`

     

       38
       39
        
       to pick the size of lists, strings, etc. The new `small_signed_int` can

     

       39
       40
        
       be used instead."

     

       40
       40
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       41
       41
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       41
       42
        
       description: """

     

       42
       43
        
       This module allows to check invariants (properties of some types) over

     

       43
       44
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.5.3.1/opam

···

       33
       33
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       34
       34
        
       conflicts: [

     

       35
       35
        
         "ounit" { < "2.0" }

     

       36
       36
       +
         "qcheck-core"

     

       36
       37
        
       ]

     

       37
       37
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       38
       38
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       38
       39
        
       description: """

     

       39
       40
        
       This module allows to check invariants (properties of some types) over

     

       40
       41
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.5.3/opam

···

       33
       33
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       34
       34
        
       conflicts: [

     

       35
       35
        
         "ounit" { < "2.0" }

     

       36
       36
       +
         "qcheck-core"

     

       36
       37
        
       ]

     

       37
       37
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       38
       38
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       38
       39
        
       description: """

     

       39
       40
        
       This module allows to check invariants (properties of some types) over

     

       40
       41
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.5/opam

···

       29
       29
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       30
       30
        
       conflicts: [

     

       31
       31
        
         "ounit" { < "2.0" }

     

       32
       32
       +
         "qcheck-core"

     

       32
       33
        
       ]

     

       33
       34
        
       post-messages:

     

       34
       35
        
         "New release of QCheck, split back from qtest.

     
···

       38
       39
        
       This new version includes shrinking of counter-examples and combinators

     

       39
       40
        
       that also embed printers.

     

       40
       41
        
         "

     

       41
       41
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       42
       42
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       42
       43
        
       description: """

     

       43
       44
        
       This module allows to check invariants (properties of some types) over

     

       44
       45
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.6/opam

···

       33
       33
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       34
       34
        
       conflicts: [

     

       35
       35
        
         "ounit" { < "2.0" }

     

       36
       36
       +
         "qcheck-core"

     

       36
       37
        
       ]

     

       37
       37
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       38
       38
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       38
       39
        
       description: """

     

       39
       40
        
       This module allows to check invariants (properties of some types) over

     

       40
       41
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.7/opam

···

       26
       26
        
       ]

     

       27
       27
        
       conflicts: [

     

       28
       28
        
         "ounit" {< "2.0"}

     

       29
       29
       +
         "qcheck-core"

     

       29
       30
        
       ]

     

       30
       30
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       31
       31
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       31
       32
        
       description: """

     

       32
       33
        
       This module allows to check invariants (properties of some types) over

     

       33
       34
        
       randomly generated instances of the type. It provides combinators for

+2 -1

packages/qcheck/qcheck.0.8/opam

···

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

     

       22
       22
        
         "ounit" {< "2.0"}

     

       23
       23
       +
         "qcheck-core"

     

       23
       24
        
       ]

     

       24
       24
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       25
       25
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       25
       26
        
       description: """

     

       26
       27
        
       This module allows to check invariants (properties of some types) over

     

       27
       28
        
       randomly generated instances of the type. It provides combinators for

+4 -3

packages/qcheck/qcheck.0.9/opam

···

       3
       3
        
       authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"

     

       4
       4
        
       tags: ["test" "property" "quickcheck"]

     

       5
       5
        
       homepage: "https://github.com/c-cube/qcheck/"

     

       6
       6
       +
       license: "BSD-2-Clause"

     

       6
       7
        
       doc: "http://c-cube.github.io/qcheck/"

     

       7
       8
        
       bug-reports: "https://github.com/c-cube/qcheck/issues"

     

       8
       9
        
       depends: [

     
···

       10
       11
        
         "ocaml" {>= "4.03.0"}

     

       11
       12
        
         "base-bytes"

     

       12
       13
        
         "base-unix"

     

       13
       13
       -
         "qcheck-core" {>= "0.9"}

     

       14
       14
       -
         "qcheck-ounit" {>= "0.9"}

     

       14
       14
       +
         "qcheck-core" {= version}

     

       15
       15
       +
         "qcheck-ounit" {= version}

     

       15
       16
        
         "odoc" {with-doc}

     

       16
       17
        
       ]

     

       17
       18
        
       conflicts: [

     
···

       23
       24
        
           ["dune" "build" "@doc" "-p" name] {with-doc}

     

       24
       25
        
       ]

     

       25
       26
        
       dev-repo: "git+https://github.com/c-cube/qcheck.git"

     

       26
       26
       -
       synopsis: "QuickCheck inspired property-based testing for OCaml."

     

       27
       27
       +
       synopsis: "QuickCheck inspired property-based testing for OCaml"

     

       27
       28
        
       description: """

     

       28
       29
        
       This module allows to check invariants (properties of some types) over

     

       29
       30
        
       randomly generated instances of the type. It provides combinators for