add conflicting package details

2 files changed, 4 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2b8553d41a84..a6d6781cdff4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,6 +9,8 @@ pkgbase = ocaml-psmt2-frontend-git
 	makedepends = ocaml
 	makedepends = ocaml-menhir
 	depends = ocaml
+	provides = ocaml-psmt2-frontend
+	conflicts = ocaml-psmt2-frontend
 	options = !strip
 	options = staticlibs
 
diff --git a/PKGBUILD b/PKGBUILD
index a0fca44ef02c..196ffe4ee515 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,7 +8,8 @@ license=('Apache2')
 depends=('ocaml')
 makedepends=('ocaml' 'ocaml-menhir')
 options=(!strip staticlibs)
-
+provides=('ocaml-psmt2-frontend')
+conflicts=('ocaml-psmt2-frontend')
 
 # TODO: update from Coquera to mewpull when PR #4 is merged.
 _gitroot="https://github.com/Coquera/psmt2-frontend.git"