Result for F96218192B87A6245879BE18928F1C1618D9B524

Query result

Key Value
FileSize8498146
MD5106762523E34F0AF6A1F8929EA7C6356
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>. . This packages provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1F96218192B87A6245879BE18928F1C1618D9B524
SHA-256798113342818C1A3BD28F67AB79D772EA8B2A58121AF3B67599E07B5B5130990
hashlookup:children-total63
hashlookup:trust50

Network graph view

Children (Total: 63)

The searched file hash includes 63 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/coq/library.cmxa
FileSize13852
MD51879D69987C0C0F3AE93E477E6C5E919
SHA-10562C386B1B0DD1780342830D488A94D0898CB87
SHA-256AF0B28B596C0410882DB31271C884958A841DC845BA4A1471CDA30F0481BB0C8
SSDEEP384:eNyQ6NtTX1NSUg+sWeji6uyNHC3bCwsG90fL39dj:eNyQ6NtTX1Nxg+sWYduyNi3bCzG90fLj
TLSHT1A452D76A3714735BD55382BAD345606536840DD3CA97CC6BABECF9E88898DE20743E23
Key Value
FileName./usr/share/man/man1/coq_makefile.1.gz
FileSize320
MD57E3B536E03EC244D3ACC615D3E99F848
SHA-1095FD56AD5FA11F167BA4FA91440884D26DEAD46
SHA-256BBC1731938F11E7DE51FD81AD41913B6D8645A5FE2352BB57DB554891C4403FB
SSDEEP6:XM6iJblIm9oH7Pw9aAerHZM9z83aO00B4Su19QhGWEKyLFUAQruoG/FPPI:XMPIm9c7PVAuowKO0sCO5EDFUAGnG/C
TLSHT16CE07D2D65585164EF4E6131AF5A2801B2204B910A64317B419968817616C481D1378F
Key Value
FileName./usr/bin/coqdoc
FileSize254079
MD5AC6A27757C95C763B9615AC32EB213A1
SHA-10DA7F75FE76338E0F486702178056C5DADB2BAE1
SHA-25616099C1E47B3970592A8728F331C6E0D69DF358A691357E3622A12623415CA39
SSDEEP1536:8i3jGcx8kJjzBnZgH0mpzTU5f83twD+tytRPhloNJ9BWCr7lxXvpPJwx6IvZaqdz:8i3jfx8p0uQ8NTBWqlRQcJk2g
TLSHT1B9443205BB13895DE1B10A7989CB83957724FE62AF02835F304E771C39B3F5F5A84A98
Key Value
FileName./usr/lib/coq/parsing.cma
FileSize241403
MD55707BFC4C325AAC4C6F98F3246828DBC
SHA-1164EA2DD466E86344B6C0B5A4476D63E37142E9D
SHA-256BE5109480EA2685ABD64DF2E0FD873258EED536D23694F3EB744A4FBEAD874AF
SSDEEP1536:n7GnmIHDbZ4ZOsmfp8GHeC8y5111kIn8F444gCJC2gWnqdS2qovJJdClsuVE6tjm:iVZ4xIA0zkmgWn2vJLsrDUGm
TLSHT1AB34100667024FB2E8DBC9B3C5D2D3C81729E7676A060A0F255D9A5C7E83FBB5F41248
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1522
MD536120AA7FD5E34C2F8417B71065B28B7
SHA-123BBB8CCAF4A41840602523191CB5A4F8A663ABF
SHA-2563E0027AA399B3631A97A0523D09BB4C158016A5F4DA8084FA7207AD66BA45D05
SSDEEP24:XM63diRCburbPk5V3ihB1p8tY8nMOei48whA3mEQMC8SqLSwZEo/TLO2kGfprDEb:XBiRCbq7wV3ihfOtY21kAZXNOkbK2kkm
TLSHT1FC310755707EA085645E376959208A846ACA6AA6E13FAC0B392C274CA3C3523C30F621
Key Value
FileName./usr/bin/coqc
FileSize272152
MD5349E080EAA26E70D4F304FEA7799CF3D
SHA-1264F36B4E4FC70A4B3D3BAF73EC1DC43F235800C
SHA-25637BD139C4B4F502BD7AA75CA2634AF1C2DC659C177731D16A167B6A7105C931B
SSDEEP3072:4lUSN7dC/GwD/IP75cT2w6lvhj200OYcVzNqoJnJrwJ8zGX4nbl2lSAhLegPEph3:kNJC/xD/pn6lM00hcVpJGXal2AN0zlPC
TLSHT1214419737DA38E13C0B5A23095AB43267D36CE5EE1548B1F7B60291D6F88A4036DB6DC
Key Value
FileName./usr/lib/coq/lib.cma
FileSize126874
MD5D5CE3EE8F567B431861129F4B1B371D6
SHA-1277FF9E3A4567B7B81559DF3B3D90AF950C49AFE
SHA-256171990043BC18D34CCC7FD7D222F4AC5D2D394347E892269BEA0D24B1EE70029
SSDEEP1536:Q68H0s0PNy8Sf4BUkZnmjtLClCy1FoHSU2tWCGqjf:AePNtcXfNClCWFoHSU6GKf
TLSHT1CCC3EE06BB018E52C5EA4AB6CAD3C7991335E6669F03070F315C975C3E83F6F6A85398
Key Value
FileName./usr/bin/coq_makefile
FileSize89364
MD5C1FC960F016DD2008C08519B1E0B8A76
SHA-12B77A68CA5BFAA2014A87493DAA655819CB040BC
SHA-2566901D8E746E3C9C07A3EAD76B983FC3EB31C8CA1B81C6A4AEFE874B14E7B420A
SSDEEP1536:8i3jGcx8kJjzBnZgH0mpzTmGAcDVBbLYqrrZyThg:8i3jfx8p0ujpBb14hg
TLSHT15893EE0AB7048E92C2E54EB299C783552379E666EF03071F304DA75C3F93B5E6A8578C
Key Value
FileName./usr/share/doc/coqide/changelog.gz
FileSize19686
MD56F44197376B04CDD14FA37920E171A01
SHA-12D7F55D9C2AFC3E051E87F871C43D4C7D8D5BE8C
SHA-25687041121649BD2391642634D93A4BB9923503187F17ED62F56C71D9E0492CA04
SSDEEP384:XZQCi2/9wp1ocwjaXU0pn75sfGSuA7umcN42bM96qQ/s8DZW:XZQ/e+p1HwbU75sfnOmggQbDZW
TLSHT17D92E195D05BE29A7D0891DA89604394C0582E8CDDEE94EF20CCA8D90C379DD4D27C5F
Key Value
FileName./usr/lib/coq/proofs.cmxa
FileSize21623
MD51DE5CA8100C78C6FE3495BC4C63A8A0C
SHA-13251B18513B6FFEB2F6242AB3F5F9785E0534286
SHA-256DBA1C6176365CDBCA57AFE4B6F42EBD1A8DC8360951C5E23DAB804C40835647E
SSDEEP384:DC0GPj6IW0CbtiAg06xa9M+jvUB7XLziUtFHfxc+mt:DC08j6IrctiAlwa9Xjv6DLzi8FHfxc+i
TLSHT1BCA2F995B200B22BE45785B5E64A201639E81CE3819BCC377BECAAECCD15DD31B87717