itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2025-12-19 13:51:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq: Fix env_set (#6001)

Browse Source
This commit is contained in:
Hsiao-nan Cheung 2024-07-08 23:53:51 +08:00 committed by GitHub
parent 1a7498d335
commit 85c75f1e10
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bucket/coq.json
View File

@ -28,7 +28,7 @@
] ]
], ],
"env_set": { "env_set": {
"COQBIN": "bin" "COQBIN": "$dir\\bin"
}, },
"checkver": { "checkver": {
"url": "https://api.github.com/repositories/212040108/releases/latest", "url": "https://api.github.com/repositories/212040108/releases/latest",