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 /gnu/packages/potassco.scm | |
| parent | 1e35c18c86010b353b2463c6f3df6d3d32cfc2d1 (diff) | |
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
Diffstat (limited to 'gnu/packages/potassco.scm')
| -rw-r--r-- | gnu/packages/potassco.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 |