diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2024-01-05 23:16:59 -0500 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2024-01-09 22:10:10 -0500 |
| commit | 45d07a0b01c30d18a537c47efce79192b8c8d178 (patch) | |
| tree | 6d1307f744430ea29384def22bf7d43532f4a5f7 | |
| parent | 1e35c18c86010b353b2463c6f3df6d3d32cfc2d1 (diff) | |
| download | guix-patches-45d07a0b01c30d18a537c47efce79192b8c8d178.tar guix-patches-45d07a0b01c30d18a537c47efce79192b8c8d178.tar.gz | |
gnu: catch2-3: Update to 3.5.1.
* gnu/packages/check.scm (catch2-3.3): Rename to...
(catch2-3): ... this. Update to 3.5.1.
* gnu/packages/logging.scm (spdlog) [native-inputs]: Rename catch2-3.3 to
catch2-3.
* gnu/packages/potassco.scm (clingo) [inputs]: Likewise.
Change-Id: Ied7724597ff4c6371dc4fedc10452ae870d23933
| -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 |