home

coq-installer-8.6-x86_64.exe

Institut National de Recherche en Informatique et en Automatique

The program is a setup application that uses the NSIS (Nullsoft Scriptable Install System) installer.
Publisher:
Institut National de Recherche en Informatique et en Automatique  (signed and verified)

MD5:
f9410a747c43d5df94b6b6f402cefccb

SHA-1:
e8a37e0612cb456f3bda023fc331c56d1076af8e

SHA-256:
c03eb2ec0dee3878446b76152e3ed1af475dbf80e72707b50a5c987dd3a7cadf

Scanner detections:
0 / 68

Status:
Clean (as of last analysis)

Analysis date:
1/7/2026 7:07:53 AM UTC  (today)

File size:
82.4 MB (86,418,376 bytes)

File type:
Executable application (Win32 EXE)

Installer:
NSIS (Nullsoft Scriptable Install System)

Common path:
C:\users\{user}\downloads\coq-installer-8.6-x86_64.exe

Digital Signature
Signed by:
Institut National de Recherche en Informatique et en Automatique

Authority:
TERENA

Valid from:
6/11/2015 5:30:00 AM

Valid to:
6/15/2018 5:30:00 PM

Subject:
CN=Institut National de Recherche en Informatique et en Automatique, OU=DSI-SESI-CS, O=Institut National de Recherche en Informatique et en Automatique, L=Rocquencourt, S=Yvalines, C=FR

Issuer:
CN=TERENA Code Signing CA 3, O=TERENA, L=Amsterdam, S=Noord-Holland, C=NL

Serial number:
0D0DBBAE0C5AEB8F3D494E4291737D4E

File PE Metadata
Compilation timestamp:
4/2/2016 8:50:05 AM

OS version:
4.0

OS bitness:
Win32

Subsystem:
Windows GUI

Linker version:
6.0

Entry address:
0x30FB

Entry point:
81, EC, 84, 01, 00, 00, 53, 55, 56, 57, 33, DB, 68, 01, 80, 00, 00, 89, 5C, 24, 20, C7, 44, 24, 14, 68, 91, 40, 00, 89, 5C, 24, 1C, C6, 44, 24, 18, 20, FF, 15, B0, 70, 40, 00, FF, 15, AC, 70, 40, 00, 66, 3D, 06, 00, 74, 11, 53, E8, EF, 2D, 00, 00, 3B, C3, 74, 07, 68, 00, 0C, 00, 00, FF, D0, BE, 80, 72, 40, 00, 56, E8, 6B, 2D, 00, 00, 56, FF, 15, 08, 71, 40, 00, 8D, 74, 06, 01, 38, 1E, 75, EB, 6A, 0D, E8, C3, 2D, 00, 00, 6A, 0B, E8, BC, 2D, 00, 00, A3, 44, 3F, 42, 00, FF, 15, 38, 70, 40, 00, 53, FF, 15, 6C...
 
[+]

Entropy:
8.0000

Packer / compiler:
Nullsoft install system v2.x

Code size:
23 KB (23,552 bytes)

Scan coq-installer-8.6-x86_64.exe - Powered by Reason Core Security
herdProtect is a second line of defense malware removal platform powered by 68 anti-malware engines in the cloud. Since no single anti-malware program is perfect 100% of the time, herdProtect utilizes a 'herd' of multiple engines to guarantee the widest coverage and the earliest possible detection.