Result for D23604342C16B4A191DDBD239E37E04138CCB3AF

Search result
Graph view
Children (4302)

Query result

Key Value
FileSize30400702
MD5FF41F0C9C999441EED93E757B6D05FA3
PackageDescriptionproof 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.6-4
SHA-1D23604342C16B4A191DDBD239E37E04138CCB3AF
SHA-25661BE90F61C45BC3D4CE5660746D7E3D518512ED086C69444444255A5D461D141
hashlookup:children-total4302
hashlookup:trust50

Network graph view

Children (Total: 4302)

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

Key Value
FileName./usr/lib/coq/theories/Numbers/NatInt/NZAddOrder.glob
FileSize27187
MD5E41A8C255D66CF2EB11ADC356C81F263
RDS:package_id182052
SHA-1000A712D1D4A59A039832844D466052406FB72C9
SHA-256F41938427CA986351192E3169980081FAE5B4C27231D4381A796D571F94DCC5D
SSDEEP192:Cdmz/C0KrdLuLSjtrUjE1dbkYzW+mLoh9zeTwhlhLqJ:1/C0KrdLuLSjtrIEnAYzW+mLobSwlhLE
TLSHT109C2D77F2240827496A70EB96F8C5DDC03AE4F96995E1068014FB9C17FC791EA386F93
insert-timestamp1679425910.0569463
sourceRDS.db
Key Value
FileNameCyclic31.vo
FileSize597827
MD5641FD15B24E1E98A9CE8BBB85B724040
RDS:package_id182052
SHA-1001B09CA3AD183472F97B9807E7055AC5DFEFCC7
SHA-2564FBB627C1992670498945DCFAABBE4EC3AA7FBDA6561A686046E1C372A809E78
SSDEEP12288:33/T5OpsUW8L3+Kux53CqpO7LIZeBgpxMVPZZ:33/T5OpsO/uxtCqSdZZ
TLSHT1B5D47C7C96C9CEB0D9DEADF1D738F80D264305CF217AD1922658A73C89CBA8CA41D85D
insert-timestamp1679425902.9586284
sourceRDS.db
Key Value
FileName./usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Program.cmxs
FileSize8816
MD55DF9016F080B87E0568603F2E538DED1
SHA-1001E481444048380A9EC275EC0F756879AEB1C8A
SHA-256574FC4E22B690CF36017F8126378D708D2B9C2D39ABEA8F78C3A98C107079991
SSDEEP96:s5MBWBPU7JzrCnd8ke/Cy9CIt1erLvHh1etUB9WCQfiAHhD3jUi2h65OSLhMqW+6:P8pIwBe/ChUyzf1QKAZQi2Q5x96
TLSHT18E02FA0FB385B27AC85395B5805F0730ABB8EC0276B7C97AA740115C9D12BE8672794F
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Numbers.NatInt.NZSqrt.html
FileSize108246
MD5503740521B79B66F004A723B157724B3
SHA-100248382FDCACBFC2CB0327F90412728BD0FC257
SHA-2561FD78E5F28E9B3B3BE7823A2AD9CA5EFE574C391818320ADB912DB3785F89525
SSDEEP1536:yNSK931+neP1/bIC9mUlSX1YKjt8mYK8VO6u4w7T4Y6u4ZE95+QsCDz8en++HDD5:Z
TLSHT1B4B359E943E1153B4E7386FA17F96B28F4E24E14D4454C10F6FE42EA568EF257A82C23
Key Value
FileName./usr/share/doc/coq-theories/html/index_abbreviation_G.html
FileSize19869
MD53E16325C6AB8417C541B1F91A18CFA0D
RDS:package_id182052
SHA-1002B4D1D28B35B9CF1CFCBE3717E939B7D77B98D
SHA-256D4816C9239648AEA49FFD8E03187132CC6949378AF4847F24AB1B801B84FF2FD
SSDEEP192:KpWEMfhjgJPQJV7rQs/JLqVYhV06CEM8/3QxcMVCW+ykJR+UqGUqmUqWUq6UEJ5Q:0xSTxRmcKJ5Q
TLSHT1DC92FA4614C2646E46597A3E4AB47CA922F31BB54B203C44EF9FFC7FCAA2791124D293
insert-timestamp1679425892.7810118
sourceRDS.db
Key Value
FileName./usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CMorphisms.cmxs
FileSize85984
MD55730FC197A7E080CD13361885B5DB5FD
SHA-1005C394A37843E466DE39B2B3B04FC3BF518F150
SHA-25621D1188A196BAD1166AF5953D212D037461C356D8054C4C12016EC4ABA3A3434
SSDEEP1536:PGM3W6Htfl2F0Wpv5lIouFMuC3oRy0FEJcORa3iKUZKO:PGWObpv5uoIMuC3oRy0FEJcORa3
TLSHT1E483FA9AF78AC8B9CA570FB844DF9B723E31C20E0E565A14B51EFA4D2F453890B517C8
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Init.Peano.html
FileSize54136
MD5CABCD16AFB5AD8F96F99E47A29526E68
RDS:package_id182052
SHA-100625B45DDDCA69EB57997658C3FD331B9CF7F60
SHA-256B7CB5F390034E5FAAACF17479E86319FA0B238611B5C4D6DC336B399017C43F6
SSDEEP192:KpE8VSIp+fxpHUE24Yvw/5Xo7bX8/0ENnBmsTJ5YrODJWGu0eeCoYwrPIzuCB7CE:0EgSI4fxpHUE246w/ZjQ95VAtXCoIz
TLSHT13733DAE853A22D774D738AF607FD6724F4F04949D4C64A00F6EE5AFB068EE20B951923
insert-timestamp1679425893.0914357
sourceRDS.db
Key Value
FileName./usr/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/.coq-native/NCoq_Numbers_Cyclic_DoubleCyclic_DoubleLift.cmx
FileSize5557
MD5B76A560ED77B46F7B6572288E0EBAD1A
SHA-10083685FE831AF0E0C609B18DE5634D82976840C
SHA-256E0B8EA02A0F922BC5F672098CB994B18198F4C01D8C7140826A3466A6D8C76CA
SSDEEP96:X5Cy9CIt1erLvHhtOBkADMhhovNetUgD9WCQfiAHhD3jUi2hs9gPDhn06lgH2qY:X5ChUyzqBkADMhhov1gDQKAZQi2GuPM2
TLSHT1A9B1504D8142F0520B43C0F9854D0952ECECCFA14B33CC7CEA541A5EDB5A96CA99FB9B
Key Value
FileName./usr/share/doc/coq-theories/html/index_axiom_L.html
FileSize19336
MD5397A9AD33159FA2BD791D41E7B2D85D8
RDS:package_id182052
SHA-1009E0B73461E505C11A968F64B0189809D289A30
SHA-25699A25B500640B8ED4B0AF4141C831DF85F797735263480413384C21C47446F42
SSDEEP192:KpWEMfhjgJPQJV7rQs/JLqVYhV06CEM8/3QxcMVCW+ykJT:0xSTxRmc3
TLSHT18D92EB4614C6646E42597A2E4AB47CA962F31BF54B243C04EF9FFD7FCBA2794120D283
insert-timestamp1679425890.8832495
sourceRDS.db
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.glob
FileSize27575
MD545ACCC8E621B40BB8740FBEE959D807A
RDS:package_id182052
SHA-100BD085CF62FB331A6A8087D81BC748E9BF81E8A
SHA-2561AC3EF556B972F70C1C833D6B3D19B08A3E524638D955ABE86D2910BCFBF03CC
SSDEEP192:r7RrKvUqOZrjaWgZeqXZfsqq9d9d9vbvG7:IPOZCW8eqXSqq9d9d9vbvG7
TLSHT149C2907932D7C3F14396183068DB14FF88A9C74266DF00EB6A4E568ABAF345E60BD711
insert-timestamp1679425907.4292421
sourceRDS.db





metalookup is a service from miwakeru.com