Deploy Coq Beta to Microsoft Intune
CoqWindowsversion 2025.08.3, 19 March 2026
Coq Beta is in the PatchBee catalog as a Windows app from Coq, synced from the Windows Package Manager community repository (winget). Pick it in the App Library and PatchBee writes the deployment plan below, builds the package, publishes it to your Intune tenant and assigns it to the Entra groups you choose. New versions then follow through your update rings.
Install from the command line
winget install --id Coq.CoqPlatform.Beta -e --silentPatchBee runs the same silent install of Coq Beta for you in Intune: the installer winget points at, verified, packaged with the switches and detection rule below, and published to your tenant.
The plan PatchBee writes
Coq Beta as an Intune app
The standard form for a NSIS (x64, per machine). The real plan is generated from the installer when you package, and shown in full before anything is published; every field can be changed.
- Intune app type
- Windows app (Win32), .intunewin
- Install
- "CoqBeta.exe" /S
- Uninstall
- "uninstall.exe" /S
- Detection
- Registry: the NSIS uninstall key. Uninstall key Rocq-Platform~9.0~2025.08, DisplayVersion 2025.08.3 or newer.
- Requirements
- x64 · per machine
Why these values: silent install switches and detection rules, explained.
Installers in version 2025.08.3
| Architecture | Type | Scope | Hash |
|---|---|---|---|
| x64 | NSIS | per machine | SHA-256 published |
PatchBee downloads the installer from the publisher's own URL and verifies its SHA-256 against the catalog before packaging. "None published" means the source carries no hash for this download, so that check has nothing to compare against; packaging still works.
About Coq Beta
The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
- Publisher
- Coq
- Homepage
- github.com/coq/platform
- License
- CC0-1.0
- Source
- winget · Coq.CoqPlatform.Beta
- Versions in catalog
- 3
How this becomes an app in your tenant
Sign in with your Microsoft work account and connect your Intune tenant once. Find Coq Beta in the App Library, open its plan (the commands, detection rule and requirements above, editable) and publish: PatchBee downloads and verifies the installer, builds the package, creates the Intune app and assigns your groups. When Coq ships a new version, PatchBee detects it and rolls it out through your rings, with supersedence and rollback.
Read the step-by-step guideMore Windows apps
Catalog data as of 11 October 2026, from the Windows Package Manager community repository (winget). The product re-reads the source every night and plans against the live catalog, so the version here may already be one behind. Nothing is published to a tenant without an administrator approving the plan.