diff options
| -rw-r--r-- | gnu/packages/check.scm | 6 | ||||
| -rw-r--r-- | gnu/packages/logging.scm | 2 | ||||
| -rw-r--r-- | gnu/packages/potassco.scm | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 93582a4b5f..449340f331 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -603,10 +603,10 @@ It allows the specification of behaviour scenarios using a given-when-then pattern.") (license license:apsl2)))) -(define-public catch2-3.3 +(define-public catch2-3 (package (name "catch2") - (version "3.4.0") + (version "3.5.1") (home-page "https://github.com/catchorg/Catch2") (source (origin (method git-fetch) @@ -616,7 +616,7 @@ pattern.") (file-name (git-file-name name version)) (sha256 (base32 - "1gdfsva6mnd66px85fmm3s65h8qzqnmgbmws2i3nygfav1y8d88f")))) + "0p7rk01n4qfnnm1bgakllyqi83n1kbpz11gh65z1vspfz58hs9iv")))) (build-system cmake-build-system) (arguments (list diff --git a/gnu/packages/logging.scm b/gnu/packages/logging.scm index c204a013b4..0efd828f8a 100644 --- a/gnu/packages/logging.scm +++ b/gnu/packages/logging.scm @@ -232,7 +232,7 @@ output in multiple windows in a terminal.") (list "-DSPDLOG_BUILD_BENCH=OFF" "-DSPDLOG_BUILD_SHARED=ON" "-DSPDLOG_BUILD_TESTS=ON"))) - (native-inputs (list catch2-3.3)) + (native-inputs (list catch2-3)) (home-page "https://github.com/gabime/spdlog") (synopsis "Fast C++ logging library") (description "Spdlog is a very fast header-only/compiled C++ logging diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 884da3c99f..e69bfda9d6 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -209,7 +209,7 @@ satisfiability checking (SAT).") "unpool-ast-v2" "parse_term" "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) - (inputs (list catch2-3.3 clasp libpotassco)) + (inputs (list catch2-3 clasp libpotassco)) (native-inputs (list mpark-variant pkg-config tl-optional |