commit 4039c83fa764d33f2aa3b4e1f15f013c2f4d84cd · anil.recoil.org/opam-repository

+1

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/"

+1

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/"

+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: [

+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: [

+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: [

+1

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/"

+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: [

+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: [

+1

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/"

+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: [

+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/"

+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/"

+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"

+1

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/"

+1

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: [

+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"

+1

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: [