1 files changed, 4 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index dec5bb3e9627..0fe15943c981 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = gnatcoll-core-git
 	pkgdesc = GNAT Components Collection - Core packages
-	pkgver = r2835.ed921e27
-	pkgrel = 2
+	pkgver = r3121.78b9de8c
+	pkgrel = 1
 	url = https://github.com/AdaCore/gnatcoll-core/
 	arch = i686
 	arch = x86_64
@@ -14,7 +14,9 @@ pkgbase = gnatcoll-core-git
 	conflicts = gnatcoll-core
 	conflicts = gnatcoll
 	source = git+https://github.com/AdaCore/gnatcoll-core.git
+	source = remove-os.patch
 	sha1sums = SKIP
+	sha1sums = 5e22130f6cb04bfdffb930c29e0abbda7be53514
 
 pkgname = gnatcoll-core-git