diff options
Diffstat (limited to 'app-emacs/company-coq/Manifest')
| -rw-r--r-- | app-emacs/company-coq/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest index c02201ab2771..5168d46f1328 100644 --- a/app-emacs/company-coq/Manifest +++ b/app-emacs/company-coq/Manifest @@ -1 +1 @@ -DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 +DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e SHA512 07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696 |