From d3b248bdf8a972d910b6de70b1dec3b9b9d64076 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 15 Mar 2018 15:28:08 +0100
Subject: [win] update bignums to tag V8.8+beta1

---
 dev/build/windows/makecoq_mingw.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index bea30b1a72..8c8c0d8be9 100644
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1334,9 +1334,8 @@ function make_coq_installer {
 }
 
 ###################### ADDONS #####################
-
 function make_addon_bignums {
-  if build_prep https://github.com/coq/bignums/archive/ master zip 1 bignums-8.8.0; then
+  if build_prep https://github.com/coq/bignums/archive/ V8.8+beta1 zip 1; then
     # To make command lines shorter :-(
     echo 'COQ_SRC_SUBDIRS:=$(filter-out plugins/%,$(COQ_SRC_SUBDIRS)) plugins/syntax' >> Makefile.coq.local
     logn make make all
-- 
cgit v1.2.3