Result for DECFC7705E38178E73B635806FA23242FC0CCE22

Query result

Key Value
FileSize3187830
MD5C2DE55022CCEA3636CF1F08E6913CFAD
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.0pl3-2ubuntu1
SHA-1DECFC7705E38178E73B635806FA23242FC0CCE22
SHA-256E234626FE594D886B5CD1C164069994B45C1D0B4167B68F53D5CC93F11A4E988
hashlookup:children-total35
hashlookup:trust50

Network graph view

Children (Total: 35)

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

Key Value
FileName./usr/share/man/man1/coqdoc.1.gz
FileSize325
MD5C58267CCFEB22C8CB2CAE4D934E1ADAE
SHA-1023ABDBAD71F74985B8BF7D42F5CBCA2DBCBEFB8
SHA-2563E31CC18FD0B59DAF85CA1641E81F33885B79E8D5EA5C148C691D0F53773535F
SSDEEP6:X4dU8t1UJG1i0+5zVmGipi6nWjRsA1lYcbPa7wBxt/4sOE:Xr8tiJf5zkrxnWjaQWcuwBr4u
TLSHT16AE0260766180E9A2BCC04135A508A5A0A48CA8BD46D53239A8CB08D983245AE3A96A3
Key Value
FileName./usr/share/man/man1/coq-interface.1.gz
FileSize372
MD5E3D717F44E5C986ED2423ACCC9E7E6CC
SHA-107D85D2DD44472D900D0180EC27BCB12A4A1C0B2
SHA-256BE023C1693CEC439947881033458BB04054B210FC603AD93B99A71148431051D
SSDEEP6:X/UAnZd0aA1KS2On/KJnf3ROC0GawHOaDtOBEE06FSDnwaVx3pn8/rOl:XcAZdA2Q/23InGay3Bv37npn8/rK
TLSHT187E060002F070D04049723C309924D6E801B2E0851FD9409AE4E47E3A28FC9F30B00BA
Key Value
FileName./usr/share/man/man1/coqtop.opt.1.gz
FileSize292
MD572D68F185C31711925A7CBF37180A7F1
SHA-12B6E5B0150717F90D23BAF575D464A84EAC8D090
SHA-2563357A4F87DE443BC8357391F8F79C32A8245760BB9FED621606D125C2A310172
SSDEEP6:X4dUrRgiQByuq5lluZRGgl7aiKuF9zy13P0b7C8jpAv3sqs1/U8n:XrrLQBslmRT7aiKuFtyx2Gn3sqs1bn
TLSHT1A3E0E72749652D9443D1785F32D1F1D4111323C9F544D55650457C0E5F04C07588F045
Key Value
FileName./usr/bin/coqc
FileSize542350
MD5415BA3766B98D19B5BCDCE90D973D29C
SHA-12F04E26AFC3D0F05B3325085760165EE43C97E70
SHA-256261622BE0D4C394FA4D84DA8AB7BC748931EF0BCD22069DC31CCEC8165F73EA8
SSDEEP6144:yVUB3IP8pMEFZbFwMv/m3ntiU/Gon3jfx8p0uQca:aUB3IPKjwMKiU/Gon3jfx8pvQh
TLSHT144B49283BB054AAFC48A077285E3432433B9F2A95F538327935856393DE379E9F25784
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1431
MD57DCB038851536E3A72BA6266E881D192
SHA-1300D8612F9917C268CC55A9B2CF6DB09D0D13399
SHA-2560166EBFE9215D2E6EC152AA972C8AA605797C456D5C78381ADC4F598E6151869
SSDEEP24:XwHePeVOrFQDYnvwszNfmKBY9q5aY62ABuMIW6cDVj/+ruMP6XJ4/UGq0viKMnW:XyePeoiEnvNM9qE+MIlcxj/+r9Prs1Kj
TLSHT19521E921BD365725C92A11B85EB4BB2EE8A295F4420D941A99F8099FC8A860C51AD12B
Key Value
FileName./usr/bin/gallina
FileSize425890
MD5D2BC79753691E4C31A9928AFB44AF11B
SHA-1387E1CD554D52DCAB980B7737EDD1E536E5A5060
SHA-256BA969DA4713A9194084C94B7B9951178467EB434080DB5C3AFBACAB4A90A6B8F
SSDEEP3072:X77UpjY6VOrzrBjw53zEOZ1i738t/pUeUpzQLi3jfx8p0uDOLdjm:PUpjY1rZjw5JSuyeUpzQe3jfx8p0uDWm
TLSHT17E947093FB0A4AAFC44A077285C7832533B9FA255F5343268364A6393DF379E5E21784
Key Value
FileName./usr/bin/coqmktop
FileSize580766
MD55346B639BB9AE4C5CB123E36D0118DA8
SHA-148D2EE3F863806F72B2717C22E75E041AE468D12
SHA-2560533F579FEE05C8E8F67380202E947E9AE543E07CB96A2B104994135B6AD1B17
SSDEEP6144:9PUBj/Bvwwh/KS3wPVqGBLU/afZ3jfx8p0uQs7VuXQ:BUBj/B4uwPHLU/afZ3jfx8pvQsJuXQ
TLSHT1CFC49183BB050AAFC48A177285E3432533B9F2A95F534327936856393CE379E9F25784
Key Value
FileName./etc/emacs/site-start.d/50coq.el
FileSize851
MD5FCB3EC2B3BF9C9179E9EBACF51758C43
SHA-14A8AEA0DB3B4015EB0293AFEB6A4D18D332ED548
SHA-25635D6C631AD317F1F0CE5735393D6C5180E4A96A8C26AB0BBDF54EA86D026E720
SSDEEP12:zIhzObelZsjFTPksh8jHpFD/FWkiFgqLqE/GPXmiduu7rzLaa+si:zwgenst5h8rLDtDWbLHOP1h7fYH
TLSHT108011EF39BC8562E2F0331371B454885938EE9D8A050A8843A2D434C23424E463E3E9B
Key Value
FileName./usr/share/doc/coqide/changelog.Debian.gz
FileSize3334
MD5DA7521EFCD1A71066072D65E30647BCD
SHA-14B7E764BFA1A7BCA04ADB80143BBD10C3C2BBDBB
SHA-256DE162513C157F0956EBD6DD4B6BCBD500863305BA8EDAD961A9E5534C306402D
SSDEEP96:ImhzVTkTBZVDzuKIhYngFy2RM925uLcgvMJq6uX:nTABPzuKIjFZ29MuItg1X
TLSHT18C614EF0FBC76AE05CC01CF849A7338856457DE54D11C8EBAD598AFA9B71B014187A23
Key Value
FileName./usr/bin/coqwc
FileSize415013
MD57A5C7D5725CD5E49D1F329CD3B6FEB13
SHA-14C45AFF04D4F655BD323218BA96A177597D64EF1
SHA-256100A719DEDC088211C216D7FAF37D43A33415F3E03D8E55A32484EDFFC072163
SSDEEP3072:X77UpjY6VOrzrBjw53zEOZ1i738t/pveUpzQLi3jfx8p0uCsF:PUpjY1rZjw5JSu5eUpzQe3jfx8p0uC2
TLSHT190947F93FB0A4AAFC44A077285D7432533B9FA255F5343268364A6393DF339E5E21788