home

coq-installer-8.5pl1-win32.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. The file has been seen being downloaded from coq.inria.fr.
Publisher:
Institut National de Recherche en Informatique et en Automatique  (signed and verified)

MD5:
e6459e803460591200a56b95b7e1fa70

SHA-1:
99ba4f1e38df7a5988af69b4a765b6d60b381fc3

SHA-256:
dfca40b6395475e4150a675a9210ecbc4b04936a59bc40515f3350cfdfc8d9e8

Scanner detections:
0 / 68

Status:
Clean (as of last analysis)

Analysis date:
12/17/2025 9:55:25 PM UTC  (today)

File size:
91.7 MB (96,117,064 bytes)

File type:
Executable application (Win32 EXE)

Installer:
NSIS (Nullsoft Scriptable Install System)

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

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

Authority:
TERENA

Valid from:
6/10/2015 7:00:00 PM

Valid to:
6/15/2018 7:00:00 AM

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 4:50:41 PM

OS version:
4.0

OS bitness:
Win32

Subsystem:
Windows GUI

Linker version:
6.0

CTPH (ssdeep):
1572864:IetMr4p4mwhfWnulCZmyYXg1z4xyT3r6/lzbmFLp/v9F67VP1qSwzz5RIVY+MQVS:3tAI4ZdWc/Cz4B/lzbmFUwrItMKm7SUn

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...
 
[+]

Entropy:
8.0000

Packer / compiler:
Nullsoft install system v2.x

Code size:
22.5 KB (23,040 bytes)

The file coq-installer-8.5pl1-win32.exe has been seen being distributed by the following URL.

https://coq.inria.fr/distrib/V8.5pl1/.../coq-installer-8.5pl1-win32.exe

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