home

Institut National de Recherche en Informatique et en Automatique

Publisher Information

Institut National de Recherche en Informatique et en Automatique is a software publisher located in Rocquencourt, Yvalines in France*.
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

Status:
No known positive detections

0 / 68
coq-installer-8.6-i686.exe  (d66f2b3e17f7fbb18adc1b3754a9820b)

0 / 68
coq-installer-8.6-x86_64.exe  (f9410a747c43d5df94b6b6f402cefccb)

0 / 68
coq-installer-8.5pl3-win32.exe  (0405b96614497d5138d9dbf90eda9840)

0 / 68
coq-installer-8.5pl3-win64.exe  (ddda56f5dd7961f2bf89afce78480c62)

0 / 68
coq-installer-8.5pl2-win32.exe  (d9166abd67388be9067c9e6e62bb4353)

0 / 68
coq-installer-8.5pl2-win64.exe  (30363d63cd4ab6d0012a66e4000d9d70)

0 / 68
coq-installer-8.5pl1-win64.exe  (93491b95f124bbe590350274c8db44e4)

0 / 68
coq-installer-8.5pl1-win32.exe  (e6459e803460591200a56b95b7e1fa70)

0 / 68
coq-installer-8.5-win64.exe  (94a63017c9d31ccfef6de6a64706f754)

0 / 68
coq-installer-8.5-win32.exe  (5eb5591c10c2410cf63998a781acf0b4)

Downloads URLs for files signed by Institut National de Recherche en Informatique et en Automatique.

0 / 68
https://coq.inria.fr/distrib/V8.5pl2/.../coq-installer-8.5pl2-win64.exe  (30363d63cd4ab6d0012a66e4000d9d70)

0 / 68
https://coq.inria.fr/distrib/V8.5pl1/.../coq-installer-8.5pl1-win32.exe  (e6459e803460591200a56b95b7e1fa70)

The following websites host and distribute files published by Institut National de Recherche en Informatique et en Automatique.

coq.inria.fr

* Note, the details and description above are based on the code signing digital signature issued to Institut National de Recherche en Informatique et en Automatique by TERENA on June 11, 2015 with the serial number '0d0dbbae0c5aeb8f3d494e4291737d4e'.
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.