From 85c75f1e10943a39bc54d762bfe67c9322b0b9e4 Mon Sep 17 00:00:00 2001
From: Hsiao-nan Cheung <niheaven@gmail.com>
Date: Mon, 8 Jul 2024 23:53:51 +0800
Subject: [PATCH] coq: Fix `env_set` (#6001)

---
 bucket/coq.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bucket/coq.json b/bucket/coq.json
index b00bee8ed5..641ee01d3d 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -28,7 +28,7 @@
         ]
     ],
     "env_set": {
-        "COQBIN": "bin"
+        "COQBIN": "$dir\\bin"
     },
     "checkver": {
         "url": "https://api.github.com/repositories/212040108/releases/latest",