Result for B2A4C2FE32C5537E0A781B8BBB8E0ADEC7DDD8A2

Query result

Key Value
FileSize3437032
MD5513FA7795B1C138E3614792E666CE70F
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-1B2A4C2FE32C5537E0A781B8BBB8E0ADEC7DDD8A2
SHA-25647872A13DE9010FEEC1979699A5B93F66A94123EE3D4CB8EDF331B0E796A8925
hashlookup:children-total48
hashlookup:trust50

Network graph view

Children (Total: 48)

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

Key Value
FileName./usr/share/doc/coqide/changelog.Debian.gz
FileSize4396
MD5E163443F8E35205B8230FE39ED3028AB
SHA-110831496E5C84E705F86096154A79B4D0AC3DAA8
SHA-256DC228191FC106B5522D3A2CF95B4DAE1058122FB817066007213E6A3372A2F70
SSDEEP96:CVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:qkkA17o9uPg+L8JYEDj6XM0GocG++
TLSHT125917C7673679E820AE0AD3924E617A91F35D9CC380008C0B6581ECF23281FA1DA4C7C
Key Value
FileName./usr/share/man/man1/coqwc.1.gz
FileSize320
MD52F1059B72E05DF6EB76B78881EFA1CC6
SHA-11233FD5101A128FECA26158DF6304D2DF2D8755D
SHA-256A2EFBB9FCA07DA3A66CE07B499E1D54B5A3BA85BBCF9394E22EDC10EB84AAD90
SSDEEP6:XaMUBUrvnXewgH32WFPFakLXS1TLTf/r82ckYdP6bGPRRsR2gZXVbEmCj:XaMUibnW2UBM7rByoCPRRQZFyj
TLSHT1BDE07D13601623370C551DCC0808D14A678854BE66A5AC704398898563D82D326B61C1
Key Value
FileName./usr/lib/coq/parsing.cma
FileSize241403
MD55707BFC4C325AAC4C6F98F3246828DBC
SHA-1164EA2DD466E86344B6C0B5A4476D63E37142E9D
SHA-256BE5109480EA2685ABD64DF2E0FD873258EED536D23694F3EB744A4FBEAD874AF
SSDEEP1536:n7GnmIHDbZ4ZOsmfp8GHeC8y5111kIn8F444gCJC2gWnqdS2qovJJdClsuVE6tjm:iVZ4xIA0zkmgWn2vJLsrDUGm
TLSHT1AB34100667024FB2E8DBC9B3C5D2D3C81729E7676A060A0F255D9A5C7E83FBB5F41248
Key Value
FileName./usr/lib/coq/lib.cma
FileSize126874
MD5D5CE3EE8F567B431861129F4B1B371D6
SHA-1277FF9E3A4567B7B81559DF3B3D90AF950C49AFE
SHA-256171990043BC18D34CCC7FD7D222F4AC5D2D394347E892269BEA0D24B1EE70029
SSDEEP1536:Q68H0s0PNy8Sf4BUkZnmjtLClCy1FoHSU2tWCGqjf:AePNtcXfNClCWFoHSU6GKf
TLSHT1CCC3EE06BB018E52C5EA4AB6CAD3C7991335E6669F03070F315C975C3E83F6F6A85398
Key Value
FileName./usr/bin/gallina
FileSize80231
MD579A5D85E26756407BC3054AE2CF7779F
SHA-12B1D7309EEE165713B33C35004E64410787E808B
SHA-25641E6FF409DA385B536BD22ED38AA5893C8401EFECC054EAF0439D189F5859133
SSDEEP1536:8i3jGcx8kJjzBnZgH0mpzTmGAEMDLdbzzL:8i3jfx8p0uDOLdjL
TLSHT1AC73CC0ABB048A91C2F54AB599CBC3561365FE65AF03071F318CB75C3DB3B6E6685388
Key Value
FileName./usr/bin/coqc
FileSize103486
MD5EE3614F409130D705E40A3A7BD2F1F5C
SHA-12D1DE15C3486F3433A1C5C00AF5F6045E3FD45EF
SHA-2561BB271F8040A606F00A49CE7A313C51FAC52AD2597146CAEB187975705CD5874
SSDEEP1536:8i3jGcx8kJjzBnZgH0mpzTU5f83twD+tytRPhl4uDLN3QquZafr6g5sG:8i3jfx8p0uQcILNY4
TLSHT11DA3FE0AB7048A92D1F54EB599C7C3562378E6A5EF03075F314CA75C3E93F6E6A84388
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/share/man/man1/coq-interface.1.gz
FileSize372
MD5706BB486F0FBC2FFCFA8E8CD45EBB4E9
SHA-131A6E9AFFCFDCD727B6AE503BF38A0396DE972F7
SHA-256A92B39FAAC85CC5DC8EB3F84FA914501C3DFCF58472EB1D4B2DCB52367118F11
SSDEEP6:XaMUAnZd0aA1KS2On/KJnf3ROC0GawHOaDtOBEE06FSDnwaVx3pn8/rOl:XaMUAZdA2Q/23InGay3Bv37npn8/rK
TLSHT130E0C0512F574D44155723C309524E6E815B2E0451FD9409AF4E47E7A69FCEF34B10A9
Key Value
FileName./usr/share/doc/coqide/copyright
FileSize1958
MD5A13A2E0102010E581DE099F43972EADB
SHA-137ADB099BFB6B10E1B5DC8FAA33D731368C458C6
SHA-256BEF0DB6CCCA033C02780A22C74468DEFC27422A03FE208987C3E3E65ADF12F40
SSDEEP48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVT:FAGqZCjvwqk6NzvcttiT
TLSHT18941C626DB5CA3311AE204C16106DAC5E76F6B7B1294A190F07C650DAFC2D3462F73CE
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1522
MD552346BEC602BDC3BD83BD8B9ED145F4D
SHA-137E55E0C7C61E317D70709A473CEEE5AD4CA29AD
SHA-25622F9D37E11DA67A4F46E444D3E6236B04601E68424AF3E4E7B42F2FD01C82497
SSDEEP24:X263diRCburbPk5V3ihB1p8tY8nMOei48whA3mEQMC8SqLSwZEo/TLO2kGfprDEb:XbiRCbq7wV3ihfOtY21kAZXNOkbK2kkm
TLSHT141310755707AA085645E376959208A846ACA6AA6E03F9C0B392C274CA3C3533C30F621