From fdb09f787e6dfc43eddba53541c7f671241f30e0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 20 May 2024 16:15:57 +0200
Subject: [PATCH] * spot.spec.in: Update URL and description.

---
 spot.spec.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot.spec.in b/spot.spec.in
index 714d8589e..bd465fd62 100755
--- a/spot.spec.in
+++ b/spot.spec.in
@@ -1,10 +1,10 @@
 Name:           spot
 Version:        @VERSION@
 Release:        @GITPATCH@%{?dist}
-Summary:        Model checking and omega-automata manipulation library
+Summary:        C++17 library for LTL, omega-automata manipulation, model checking
 
 License:        GPLv3
-URL:            https://spot.lrde.epita.fr
+URL:            https://spot.lre.epita.fr
 
 Source0:        http://www.lrde.epita.fr/dload/spot/%{name}-%{version}.tar.gz