2 files changed, 4 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 31ed3d17f003..4c548ac31299 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -14,6 +14,8 @@ pkgbase = mcrl2
 	depends = glu
 	depends = hicolor-icon-theme
 	optdepends = python: for easily running the included examples
+	provides = mcrl2
+	conflicts = mcrl2
 	source = http://mcrl2.org/download/release/mcrl2-202307.1.tar.gz
 	sha256sums = cc21c23bcb46c8ec6a51cd31dedfcdddd521e1e1bbb257a69602bf419b00e090
 
diff --git a/PKGBUILD b/PKGBUILD
index 0151143bd0ba..ae3333de758f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,6 +5,8 @@ pkgver=202307.1
 pkgrel=1
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
+provides=('mcrl2')
+conflicts=('mcrl2')
 depends=('qt5-base' 'glu' 'hicolor-icon-theme')
 optdepends=('python: for easily running the included examples')
 makedepends=('boost' 'cmake' 'gcc>=7.0')