2025-02-27 * Version bump (0.14.1) (#465). * Change contact address (#462). * Remove emails from CHANGELOG (#463). 2024-12-21 * Version bump (0.14.0) (#460). * Remove deprecated definitions from FRP.Dunai.LTLPast (#444). * Thanks to @solomon-b. 2024-10-21 * Version bump (0.13.2) (#442). * Increase upper bounds on QuickCheck (#436). * Thanks to @pbrinkmeier. 2024-08-21 * Version bump (0.13.1) (#430). 2024-06-21 * Version bump (0.13.0) (#420). 2024-04-23 * Version bump (0.12.3) (#411). 2024-02-21 * Version bump (0.12.2) (#398). * Add version bounds to dependencies (#399). 2023-12-21 * Version bump (0.12.1) (#395). * Mark package as uncurated (#394). 2023-10-21 * Version bump (0.12.0) (#388). * Deprecate one of multiple ptLTL implementations (#385). 2023-08-21 * Version bump (0.11.2) (#377). 2023-06-21 * Version bump (0.11.1) (#372). 2023-04-21 * Version bump (0.11.0) (#358). * Conformance with style guide (#348). 2023-02-21 * Version bump (0.10.1) (#345). 2023-02-21 * Version bump (0.10.0) (#342). * Remove the function FRP.Dunai.LTLPast.prev (#341). 2022-12-21 * Version bump (0.9.2) (#340). 2022-10-21 * Version bump (0.9.1) (#335). 2022-08-21 * Version bump (0.9.0) (#313). * Document module FRP.Dunai.Debug (#306). * Document module FRP.Dunai.LTLFuture (#307). * Document module FRP.Dunai.LTLPast (#310). * Re-format CHANGELOG for readability (#311). * Deprecate the function FRP.Dunai.LTLPast.prev (#312). 2022-06-21 * Version bump (0.8.3) (#302). 2022-04-21 * Version bump (0.8.2) (#280). * Add CHANGELOG file (#273). * Declare subdir of source-repository in Cabal file (#272).