Result for D6E95171CCC598D51CE5968E5878037A2A46083F

Query result

Key	Value
FileSize	24007056
MD5	FFDCB85C16CD00B4296EAAD0949301CF
PackageDescription	proof assistant for higher-order logic (theories) 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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	D6E95171CCC598D51CE5968E5878037A2A46083F
SHA-256	EB6F867523C4A2D4D1D0B65D836D38C36A723F49805F838983B951BF6CA44278
hashlookup:children-total	2301
hashlookup:trust	50

Network graph view

Children (Total: 2301)

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

Key	Value
FileName	./usr/lib/coq/theories/Numbers/NatInt/NZAddOrder.glob
FileSize	27187
MD5	E41A8C255D66CF2EB11ADC356C81F263
RDS:package_id	182052
SHA-1	000A712D1D4A59A039832844D466052406FB72C9
SHA-256	F41938427CA986351192E3169980081FAE5B4C27231D4381A796D571F94DCC5D
SSDEEP	192:Cdmz/C0KrdLuLSjtrUjE1dbkYzW+mLoh9zeTwhlhLqJ:1/C0KrdLuLSjtrIEnAYzW+mLobSwlhLE
TLSH	T109C2D77F2240827496A70EB96F8C5DDC03AE4F96995E1068014FB9C17FC791EA386F93
insert-timestamp	1679425910.0569463
source	RDS.db

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_constructor_I.html
FileSize	52373
MD5	FF06A978F55FE3A5DF1CCE0AAE617346
SHA-1	0023150BBB823A4F015ED4A24578221D35C8A33E
SHA-256	D03F8062FA98B9A232363A9BB855644913175B26389B1BED55AD5FDE1B75BACC
SSDEEP	192:KpWEMf0jsJPgGJV7HXQsQJLeVYhV06CEM8e3QxcMVZWfykJA3kSggOmEMf0jsJPY:0CgsPctFckDg+gsPctFcS
TLSH	T13033790115C2207E9759B66E86B53D9926F35BF70B103C649E9FBC7FCEA27A0021D293

Key	Value
FileName	./usr/lib/coq/theories/Sets/Ensembles.vo
FileSize	24056
MD5	1FDBD3842D09285D4359FA4EECC8E841
SHA-1	0038AB7F9DD2858AA5291996B5C513B298CBA657
SHA-256	AE57022F6A8CE9712368178DFF67E4B0293884E947DBC014C4201A2B3A4A5F58
SSDEEP	384:9zZDtCM7MlJfBQEL6F4/hMtsV7l/MkTw5KDnhh0I:RZDtCYM7BQ2hMkl/hTwQheI
TLSH	T177B2D8ACE3C4DE40EADA1DB8DAF8BB82231615ED353AF3D34748A3358DD568B914815C

Key	Value
FileName	./usr/lib64/coq/theories/ZArith/BinInt.glob
FileSize	254399
MD5	F58B32ED1FE4480AFCF1BEE59E4C0A08
SHA-1	003F580DEF773D6C58B8CA74B7744D17E75300C7
SHA-256	782C9D3AB53BD11DD34D45D7D9D49B4A75ECE37C23EBB70B82C2E92080773D5F
SSDEEP	3072:vnCh2hcbaYZ44449LtLkkaUqq0brHieeeeejtuAq8Um4NPhfmDuuBq511111111O:PN8g7
TLSH	T14C44A928912601BD606C1C74A77123A562F57CDAFE6A22B0BD8E475DBFF1A1C033BB45

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.micromega.Psatz.html
FileSize	18458
MD5	8E212D91700281133F7C17981456B243
SHA-1	0061E62956372298A9FE0D97F4741E58E72CEA24
SHA-256	EA70E2D5FAC5F7E533118C5697D4C8E312178E6A3FC41A65DA24255CC14B2733
SSDEEP	192:KpElyK0S0vnkq0vnk2mC0vnstMCv8U7pAIPqOwWs7pAXzMCvI591S:0EM+0vL0vV0vKMCJ7p87p+MCl
TLSH	T1BC82B9D843A2783749338AEA62FD5BAAF4E00A8DD4C94940F6FD06F706CDE647152873

Key	Value
FileName	./usr/lib/coq/theories/Reals/Rprod.vo
FileSize	329407
MD5	DDA068BF89223234B81A5E3D3A4868D6
SHA-1	0065364769589906A09A445C3C0062583CF7CE2E
SHA-256	1926D344C05C3E29D995575085DDFDEE09231A91F00C3D8E248B4BFEA92D0605
SSDEEP	6144:p6OQLnAxmT5yXuAbaF02Xz0TMM5IT6n6JJraqoUAv:UOQLnZT5SuSGPXz0I3S6JlaqEv
TLSH	T1C9646CB5E7509DA206ECF89CE5ECF09560428D8E50B985BF9AF1433CADC929E0C1D94F

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_global_P.html
FileSize	397384
MD5	8E493717DE832AC25E0B35D9CD76C219
SHA-1	00BA713A2DB2324DEDAD6113BA493E17D0CF823E
SHA-256	D71DF37B87D56D430A7671D32FBFD874FD143AD8D0EAF617095B65C4402CED15
SSDEEP	3072:Xw0wdygy3yhy/aWzXvtvSapm3UsfgqNBW7x2sylA5:qygy3yhy/aWzXvtvSapmvBW7x2sylA5
TLSH	T155846AD530E1425ECB5A623A08BD7EAC716345E31C812C98F81F7957F967F0E22A91E3

Key	Value
FileName	./usr/lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.glob
FileSize	27575
MD5	45ACCC8E621B40BB8740FBEE959D807A
RDS:package_id	182052
SHA-1	00BD085CF62FB331A6A8087D81BC748E9BF81E8A
SHA-256	1AC3EF556B972F70C1C833D6B3D19B08A3E524638D955ABE86D2910BCFBF03CC
SSDEEP	192:r7RrKvUqOZrjaWgZeqXZfsqq9d9d9vbvG7:IPOZCW8eqXSqq9d9d9vbvG7
TLSH	T149C2907932D7C3F14396183068DB14FF88A9C74266DF00EB6A4E568ABAF345E60BD711
insert-timestamp	1679425907.4292421
source	RDS.db

Key	Value
FileName	./usr/lib/coq/theories/Logic/Classical.glob
FileSize	154
MD5	C8E5E93EBB946F8F1B6D5724D3761B26
RDS:package_id	182052
SHA-1	00BE1DA50BF7A7E36A7A2DFD404283D85EDF0249
SHA-256	1C7A60F589FB57015783B70B248CED5AECE1D9F01AED3C2FD5E3C4DFEEF6D81C
SSDEEP	3:JhH7gUd/MhBc0E91GSJEWWkhTPfc8GSJEWWkMenFZkrXL1GSJEWWkM6mbgP:b8US3cx1GSJ93c8GSJUeFaNGSJU6mkP
TLSH	T1EAC08C32EA0424F83A9308300C8402F022312104EF09C972A1AEB88D0AC8E4CB4203AE
insert-timestamp	1679425915.3505614
source	RDS.db

Key	Value
FileName	./usr/lib/coq/theories/MSets/MSetGenTree.v
FileSize	31497
MD5	ABCE78757D0E6CD30D675FAB08CC4DA7
RDS:package_id	182052
SHA-1	00D327D3D9319BFF3D4DAF82B047832C83CC239C
SHA-256	3430D14933CD4D11405CFF634CE6AA8590D25A3A04B6B92BCCB2046620A47D84
SSDEEP	768:6fJqRc+uP3Z8MTMwMYMCMSrR3PPfz4J/t5Jx+BhMpSX2fdPmB2JyoJw/xz+kOemu:6fJqRc+uP3Z8MTMwMYMCMSd3/z4J/t52
TLSH	T1ABE2840034A54A2337DEA87BFEA750E2E52DDE9846F5C364B0DC613C1B2EB7C6172A51
insert-timestamp	1679425933.8511324
source	RDS.db