AU: 1 updated - Coq

[skip ci] https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/a27b47c81d71a17e24516b6b1b692c5c59e7e440

automatic/coq/coq.nuspec

@@ -3,7 +3,7 @@
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
     <id>Coq</id>
-    <version>8.10.2</version>
+    <version>8.11.1</version>
     <packageSourceUrl>https://github.com/AdmiringWorm/chocolatey-packages/tree/master/automatic/coq</packageSourceUrl>
     <owners>AdmiringWorm, murray</owners>
     <title>The Coq proof assistant</title>
@@ -38,15 +38,7 @@ As a platform for the formalization of mathematics or the development of program
 ## [Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/automatic/coq/Changelog.md)
 
 ## Software Release Notes
-Coq 8.10.2 brings a few bug fixes and documentation improvements, in particular:
-
- -  Fixed a critical bug of template polymorphism and nonlinear universes
- -  Fixed a few anomalies
- -  Fixed an 8.10 regression related to the printing of coercions associated to notations
- -  Fixed uneven dimensions of CoqIDE panels when window has been resized
- -  Fixed queries in CoqIDE
-
-More details can be found in the [reference manual](https://coq.github.io/doc/V8.10.2/refman/changes.html#changes-in-8-10-2).
+The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the [changelog](https://coq.github.io/doc/V8.11.1/refman/changes.html#changes-in-8-11-1) for more details.
 </releaseNotes>
     <dependencies>
       <dependency id="chocolatey-core.extension" version="1.3.3" />

automatic/coq/tools/chocolateyInstall.ps1

@@ -3,12 +3,12 @@
 $packageArgs = @{
   packageName    = $env:ChocolateyPackageName
   fileType       = 'exe'
-  url            = 'https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-i686.exe'
-  url64bit       = 'https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-x86_64.exe'
+  url            = 'https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-installer-windows-i686.exe'
+  url64bit       = 'https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-installer-windows-x86_64.exe'
   softwareName   = 'coq*'
-  checksum       = '04372c3407f4abb7f48d098d57f299be7343f2d345a7bc82fc2a3d03622b9b45'
+  checksum       = '938f47bdecbff46ba7d6bcf4f457d73b4b4326f763a46bf7a283d78e4af9e782'
   checksumType   = 'sha256'
-  checksum64     = '4febccc360a273ea4e2de93412d9c9c1880550d03663c73e0b980b61f7d489d9'
+  checksum64     = '6b87c855395da2eeb8a703e762e0917016d91385b0e7c3a7508ed2c1aa24f26f'
   checksumType64 = 'sha256'
   silentArgs     = '/S'
   validExitCodes = @(0)