2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 71ddc8c417e7..2b8553d41a84 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,4 +1,4 @@
-pkgbase = psmt2-frontend-git
+pkgbase = ocaml-psmt2-frontend-git
 	pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
 	pkgver = 0.1
 	pkgrel = 1
@@ -12,5 +12,5 @@ pkgbase = psmt2-frontend-git
 	options = !strip
 	options = staticlibs
 
-pkgname = psmt2-frontend-git
+pkgname = ocaml-psmt2-frontend-git
 
diff --git a/PKGBUILD b/PKGBUILD
index 3f450898ef73..a0fca44ef02c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,4 +1,4 @@
-pkgname=psmt2-frontend-git
+pkgname=ocaml-psmt2-frontend-git
 pkgver=0.1
 pkgrel=1
 pkgdesc="A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language"