Result for 932B7C7B31C8D225F147B04420E47867055B6540

Query result

Key	Value
FileSize	9448954
MD5	05D48A58A7EAE1953C6934B8E4610F61
PackageDescription	proof 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.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	932B7C7B31C8D225F147B04420E47867055B6540
SHA-256	205E0CF13A1C880A792A1A6A4FF0025640DCFF8A8609C147E028385B44559AFE
hashlookup:children-total	64
hashlookup:trust	50

Network graph view

Children (Total: 64)

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

Key	Value
FileName	./usr/share/man/man1/coqtop.byte.1.gz
FileSize	275
MD5	C85D082EEF138584A662D850DBF002E0
RDS:package_id	182052
SHA-1	02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE
SHA-256	E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A
SSDEEP	6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc
TLSH	T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834
insert-timestamp	1679424703.0916345
source	RDS.db

Key	Value
FileName	./usr/bin/coqdoc
FileSize	521726
MD5	53E704FC0140B01D1FEDB247A4AFC5FB
SHA-1	0EF71B753BB07BEBA250526A9AC5F2A716B88489
SHA-256	FBA7F8BC735217793B5444576E7EFF345849A8A36A2C4795C3A34A6FAC2D603F
SSDEEP	12288:IH1klHSK+Pmj3z/rzHIWIU3QFac3nU/lQfmUqY5:IH1QS3mzzXHIuQfmUqY5
TLSH	T120B40B03770E494AF1E20E7449DB43D15369FE527E42C20F700D764C2AB3FAA6A5EB99

Key	Value
FileName	./usr/share/man/man1/coqc.1.gz
FileSize	466
MD5	6FD3A11ADFDA44881AEDE4E47543C899
SHA-1	1063A00F507FBE10DC4791D80816D8F9A134D090
SHA-256	A802C392B33B40BA899818BBA1A57BC141AC8224843AC376B01366E607C9B17C
SSDEEP	12:Xni4uO7I4QjW85IqgaBaGrKlPFDB0bmCDIzRIMfWh55CTu1s:Xi4uO7xQj5X/Tr6FKyflIMWUi1s
TLSH	T1D1F02351110D2D4B9B9423395B9E038289CD8F5D8650A4B322E1DFAE07336A59DCDCDD

Key	Value
FileName	./usr/bin/coq_makefile
FileSize	292327
MD5	EBC98762AEAC871F1068F8221CE7F722
SHA-1	1CC7D9147322EF24E4C096E711CF1E20A4BA3459
SHA-256	7A14540726AF4FB7F3EB1FC68994D7E4ACDFABA274BBEC881B9B19FBD6374C3E
SSDEEP	6144:4jHxAWNVh0xfSCpvtfyzhpkY2HMIac3QFa055+OV:SHxAW+xf//fyzhp+HMIac3QFac7
TLSH	T12F54F90BB70C494AF1A30E7009DF439113E8EA527D95560FB04DB90C5BB3BAA5A5FBC9

Key	Value
FileName	./usr/share/doc/coqide/changelog.Debian.gz
FileSize	4854
MD5	FDDB17689F4077DB21E2670073208B8D
SHA-1	22224097BA5197508FD78BE33A7D15477171EBD3
SHA-256	45ACDCECF7ABB67A6BD0C027A8FDFDAE7A1B4A131FAF23BA9D268C9BE6CAEA18
SSDEEP	96:i7pQq3qpu/ce2+EAbTnNq2ykMD/toTa7XXxp9JYnkU6ioFGnBH/1IQYDuDQU7:0za8r7bOkMLnXXxEkjioFGngaDQE
TLSH	T1AAA16DC45DD2CDF8AE318DF8BB9C53D08999E5A4446532DA99881588C3BD2AC4D8F309

Key	Value
FileName	./usr/lib/coq/grammar.cma
FileSize	845386
MD5	FAC6A6AD5DF54BCF8AD14237926126B9
SHA-1	284DFF618626916148599849E5393854B8F77488
SHA-256	CCC6CD062E6B4E64A0B1351FD34FCB4123BFC162D335B70B0FBC8EBE1CFC078F
SSDEEP	12288:ZNyBUOXfYYP7GX9Jd3PqmlRGImm4yHnnNcSjeXk5wlJlaTSM9o2coLzK:1nnNRjeP
TLSH	T17405EF0BB7414EE2D4EA8AF1CAD2C7C81326E6769F43071F294C566C3DC3BAF1A54A54

Key	Value
FileName	./usr/bin/coqwc
FileSize	272622
MD5	BFF986D064D2101633040D8064003863
SHA-1	2AFB7E3B9876E3D521E264E86B07A87EE689E6F0
SHA-256	4CD842ED1D40212C1A5F6E66650869E3316BB0D781A7001C3B3A06519F57E9C4
SSDEEP	6144:4jHxAWNVh0xfSCpvtfyzhpkY9HMIac3QFa05e02:SHxAW+xf//fyzhpVHMIac3QFacq
TLSH	T12C44D70BB70C494AF1A20E7009EF139103E4EE527D95550FB14DB90C5AB3BB99A5FBCA

Key	Value
FileName	./usr/lib/coq/kernel.cma
FileSize	315848
MD5	535B8817E81DC0A284B6DDE3E4FF1E49
SHA-1	2B46B64FF45E8B8A1754017A23CC5B6C2E90BBF6
SHA-256	2452E55902C4C66AFABB3070A620222781EE8C3D0560CF4968C04BFD6A31D9C0
SSDEEP	3072:pm2c4UOXf51fk/YB41IFMfukOv4Tpkvhkal:64UOXf51fwYSWFlkwgO
TLSH	T14764EE06B7004EB2C0F986F1CAD3C7891365EB769F430B1F268C5A5C39C3B6F6A55A58

Key	Value
FileName	./usr/bin/coq-interface
FileSize	5813140
MD5	254B54A6B5FDC99FEAD3C04831AB5073
SHA-1	358CB10115778E76E6043B5931E22D8599A73763
SHA-256	18D3FD4397E8BB280B7F43457ABBA2A644EDFE856A56A41D76038949CA32987B
SSDEEP	49152:jVYyrHoBEhNNR1K7Ag4e8yXeUNA4vCr72PW:jVYqHoBMNNR1K7Ag4e8yXeUNA4vCF
TLSH	T1AD46EC0BB7104EF1D1A60AB2CAD7C3811326EAB5AF030B1F299D5A5C39C3B5F6B45758

Key	Value
FileName	./usr/share/doc/coqide/copyright
FileSize	1958
MD5	A13A2E0102010E581DE099F43972EADB
SHA-1	37ADB099BFB6B10E1B5DC8FAA33D731368C458C6
SHA-256	BEF0DB6CCCA033C02780A22C74468DEFC27422A03FE208987C3E3E65ADF12F40
SSDEEP	48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVT:FAGqZCjvwqk6NzvcttiT
TLSH	T18941C626DB5CA3311AE204C16106DAC5E76F6B7B1294A190F07C650DAFC2D3462F73CE