home

coq-installer-8.5-win64.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:
94a63017c9d31ccfef6de6a64706f754

SHA-1:
4135c3effd2365cf8edcc8e331682f18ef4155a0

SHA-256:
30a9ddc6ea6d8610421b4cf4bbdc64e329f000bb854d06d03df617d34054dbb3

Scanner detections:
0 / 68

Status:
Clean (as of last analysis)

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

File size:
91.6 MB (96,054,896 bytes)

Installer:
NSIS (Nullsoft Scriptable Install System)

Common path:
C:\users\{user}\downloads\coq-installer-8.5-win64.exe.part

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

Authority:
TERENA

Valid from:
6/11/2015 2:00:00 AM

Valid to:
6/15/2018 2:00: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:
12/5/2009 11:50:41 PM

OS version:
4.0

OS bitness:
Win32

Subsystem:
Windows GUI

Linker version:
6.0

CTPH (ssdeep):
1572864:RMq1wAxSVg5mX+5xGyQAISHfmv+vwkwLp/v9sZI5sUemIoG3s1KTfNGBCjeKsDRA:RM+FxkzX+5xgAI0mGvmmrPoG3HfNGBCD

Entry address:
0x30CB

Entry point:
81, EC, 80, 01, 00, 00, 53, 55, 56, 33, DB, 57, 89, 5C, 24, 18, C7, 44, 24, 10, 60, 91, 40, 00, 33, F6, C6, 44, 24, 14, 20, FF, 15, 30, 70, 40, 00, 68, 01, 80, 00, 00, FF, 15, B0, 70, 40, 00, 53, FF, 15, 7C, 72, 40, 00, 6A, 08, A3, 38, 3F, 42, 00, E8, F1, 2B, 00, 00, A3, 84, 3E, 42, 00, 53, 8D, 44, 24, 34, 68, 60, 01, 00, 00, 50, 53, 68, 30, F4, 41, 00, FF, 15, 58, 71, 40, 00, 68, 54, 91, 40, 00, 68, 80, 36, 42, 00, E8, A4, 28, 00, 00, FF, 15, AC, 70, 40, 00, BF, 00, 90, 42, 00, 50, 57, E8, 92, 28, 00, 00...
 
[+]

Packer / compiler:
Nullsoft install system v2.x

Code size:
22.5 KB (23,040 bytes)

Scan coq-installer-8.5-win64.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.