1 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 323131be1e8f..4de91f6b94b9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Thu Oct 19 15:27:25 UTC 2017
+# Sat Oct 12 12:09:38 UTC 2019
 pkgbase = mathcomp-git
 	pkgdesc = The Mathematical Components Library for the Coq system.
-	pkgver = 20170913
+	pkgver = 20191007
 	pkgrel = 1
 	url = https://math-comp.github.io/math-comp/
 	arch = i686