Result for A626A6B6F98FCB192F0A50CCB254F86F6E5A9C8B

Query result

Key Value
FileName./usr/share/menu/coqide
FileSize139
MD5BB3ADF4C942E8617BC5A2663688DC641
SHA-1A626A6B6F98FCB192F0A50CCB254F86F6E5A9C8B
SHA-256CE46F0E26A4D2C44AB509167E409B5D965608F5A40A4EDAFB3B32716208B096D
SSDEEP3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfV1sgHv:GG0UnD4NWuj7lDc1BHv
TLSHT183C09B707125D535DE17EA31311102087395F1D14548BF5155B3874097515B057177CA
hashlookup:parent-total6
hashlookup:trust80

Network graph view

Parents (Total: 6)

The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize4914706
MD5B6795D306BCC8BB93C185F5B368C4DA5
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1BD2D17E776E833D956AB9421DF54C5B56606D075
SHA-256A517A162B0C1437FE7DA656BC2DB7D11880FBD3B4DF12DA2C24A8B1E7CA3E7F5
Key Value
FileSize5278710
MD5614BE9D56E790EABCA9D9C5545A34311
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1896550ECF1FF8E4BD9DD7A0AEE6BE113E060A5C7
SHA-2565CA838C9B5694C7B9EC9E0D8D312C1B967799FA373D1B7C51004EF049753E555
Key Value
FileSize4662732
MD553619C3A90D298E636FB6A9D62D04903
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-11213FEA99C542C929C4B5031534431A6C8CF0060
SHA-256FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29
Key Value
FileSize2338102
MD54DFFB017424101ACBBBDDEB8BECCDFDC
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-13D63B26CBAB6C88FDD4278051BA2DB5FE595134D
SHA-256F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B
Key Value
FileSize4649936
MD55DAE6EC59B98AC32E3228E9E5087B091
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1EDF7C6E2801DD483BB3C0245070508D1458E94C5
SHA-25695FB0FB13F5E3AB47DFD011969C30899CA79816A58581383D452DA2BAB240D92
Key Value
FileSize5209486
MD5F6CE0E4E19B7BB7B1D11971C770D6255
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1FDBA9B94F0A26D2013612BF9F38390F25B3FFE69
SHA-2566E51ADCC3D997921209A68986B5632B236DEEF00852564DFD794AAF5B92A6770