Fedora 39 Update: ocaml-qcheck-0.21.2-1.fc39

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2023-c7a6b5cb6e
2023-09-15 18:36:13.240587
--------------------------------------------------------------------------------

Name        : ocaml-qcheck
Product     : Fedora 39
Version     : 0.21.2
Release     : 1.fc39
URL         : https://c-cube.github.io/qcheck/
Summary     : QuickCheck inspired property-based testing for OCaml
Description :
Qcheck enables checking invariants (properties of a type) over randomly
generated instances of the type.  It provides combinators for generating
instances and printing them.

This package is a compatibility wrapper for qcheck.  New code should
use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit.

--------------------------------------------------------------------------------
Update Information:

Changes in version 0.21.2:  - Reintroduce the `Shrink.list_spine` fix by
catching `Invalid_argument` and falling back on an address comparison. - Fix
[#273](https://github.com/c-cube/qcheck/issues/273) by lowering
`ppx_deriving_qcheck`'s `qcheck` dependency to `qcheck-core`
--------------------------------------------------------------------------------
ChangeLog:

* Fri Sep  1 2023 Jerry James <loganjerry@xxxxxxxxx> - 0.21.2-1
- Version 0.21.2
- Add patch to fix an asciidoc error
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #2235142 - ocaml-qcheck-0.21.2 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=2235142
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2023-c7a6b5cb6e' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
_______________________________________________
package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [Yosemite Photos]     [KDE Users]

  Powered by Linux