diff --git a/dev/make-distrib.sh b/dev/make-distrib.sh
index b57c2da9cb48d6161d1de2def1025b891f29b5d7..391182f63a06991a2a58f9f997feb2c0049fc025 100755
--- a/dev/make-distrib.sh
+++ b/dev/make-distrib.sh
@@ -174,7 +174,11 @@ fi
 echo $VERSION_SAFE > $TMP_DIR/$FRAMAC/VERSION
 echo $VERSION_CODENAME > $TMP_DIR/$FRAMAC/VERSION_CODENAME
 
-tar czf $FRAMAC_TAR.gz -C $TMP_DIR $FRAMAC
+DATE="$(date +%F)"
+
+tar czf $FRAMAC_TAR.gz -C $TMP_DIR $FRAMAC \
+  --numeric-owner --owner=0 --group=0 --sort=name --mode='a+rw' \
+  --mtime="$DATE Z"
 
 if [[ "$CI_LINK" == "yes" ]]; then
   ln $FRAMAC_TAR.gz "frama-c.tar.gz"