From 5892ce7738d030775ae673eb979d9e26ca61eb5d Mon Sep 17 00:00:00 2001 From: Guilhem Lavaux Date: Fri, 17 Jun 2022 19:31:04 +0200 Subject: [PATCH] Fix git commit id --- external/external_cosmotool.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/external_cosmotool.cmake b/external/external_cosmotool.cmake index d21a15d..c7db743 100644 --- a/external/external_cosmotool.cmake +++ b/external/external_cosmotool.cmake @@ -10,7 +10,7 @@ ENDIF() #v1.0.0a7.tar.bz2 ExternalProject_Add(cosmotool - URL https://bitbucket.org/glavaux/cosmotool/get/59bb9e.tar.gz + URL https://bitbucket.org/glavaux/cosmotool/get/59bb99e.tar.gz DEPENDS ${cosmotool_DEPS} SOURCE_DIR ${COSMOTOOL_DIR} PREFIX ${BUILD_PREFIX}/cosmotool-prefix