RFP - --coq-platform

[czhang03]

Checklist

• [x] The package I am requesting does not already exist on https://chocolatey.org/packages;
• [x] There is no open issue for this package;
• [x] The issue title starts with 'RFP - ';
• [x] The download URL is public and not locked behind a paywall / login;

Package Details

Software project URL : https://github.com/coq/platform Direct download URL for the software / installer : https://github.com/coq/platform/releases/download/2021.02.1/coq-platform-2021.02.1-installer-windows-x86_64.exe Software summary / short description: 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.

[github-actions[bot]]

Package Request Validation

We have finished some basic validation of this request. The result of this validation can be found below:

Everything looks good to our automated checks, it is now up to a human to validate the remaining steps. No action is required yet

New Maintainer Notices

This section details some parts of the request that any upcoming maintainer may need to take into consideration.

• File Validation Output

TrID/32 - File Identifier v2.24 - (C) 2003-16 By M.Pontello
Definitions found:  13923
Analyzing...

Collecting data from file: C:\Users\RUNNER~1\AppData\Local\Temp/software.tmp
 32.2% (.EXE) Win64 Executable (generic) (10525/10/4)
 20.1% (.DLL) Win32 Dynamic Link Library (generic) (6578/25/2)
 15.4% (.EXE) Win16 NE executable (generic) (5038/12/1)
 13.7% (.EXE) Win32 Executable (generic) (4505/5/1)
  6.2% (.EXE) OS/2 Executable (generic) (2029/13)

Please note that this check is currently in alpha, and may not be able to detect everything correctly. Humans may also be able to detect other issues with this request.

[czhang03]

The Coq package #106 seems to be taken by @AdmiringWorm , I was wondering if he would like to take this one with it too. Since the distribution method of these two packages are very similar. No pressure though.

[AdmiringWorm]

The Coq package #106 seems to be taken by @AdmiringWorm , I was wondering if he would like to take this one with it too.

I do not have any plans to take on any new packages, opening this request up now.