Result for 81F38B2CB3BC6989C91BAC0BB4E6917FEE349871

Search result
Graph view
Children (4300)

Query result

Key Value
FileSize32170552
MD534248DAAB687324BA1F85EFFE05008B2
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.6-5build1
SHA-181F38B2CB3BC6989C91BAC0BB4E6917FEE349871
SHA-256C4E02265CFDE9DE7A5363E42D94A554DCB39E0C04198FBF8FCDFEFF6306434BB
hashlookup:children-total4300
hashlookup:trust50

Network graph view

Children (Total: 4300)

The searched file hash includes 4300 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
FileName./usr/lib/coq/plugins/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_polynom.cmxs
FileSize250376
MD5463BDA25F5AF8CE51731436E49F83A3B
SHA-100246A636F4DC366DA501F5D4EAF228DBC2865B7
SHA-2569ABDD53C65121A777A2469BDB0B8992B003839F716E4584D26615BB326733555
SSDEEP3072:tFJJwtUmrMzppXXq444X55JgmFpL4OgwQKtKK2XouMtvmOjjDcIKr3uZeWjJU:LM67tLbZJn67ugWjJ
TLSHT12C348381E9EB4CB8E27A5EB14CAA4B3BDE3086091F52D7C1E118657E5F673440F0A2DD
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/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/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmx
FileSize6994
MD5B241256B1DBC8EF66AF525A660D2B238
SHA-10067F054C7A8CAB78AB18E1CD1ECE1CE9147FBB3
SHA-256539277DB732073D923688F1F0BC1D82AD4010B6958C41BB31419B9BD6F1C6DC7
SSDEEP192:UTHAzwn1PXkMBuDKcBdowyDHcgYRHXJC/iLbD82BzAqy9KYtQ:IgM1PLuDKcow6HcgYRHXg/ebD82BzAqL
TLSHT104E1A5DA938D70519AC784E582BD8D25D4528101876A50FCC7EE433EBD92D8C83AF3B3
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Structures.OrderedTypeAlt.html
FileSize26319
MD5A0B72F9A569EB1B0CA81EEBAE3CAE069
SHA-10088FD41CA4E750A73ACC90675DAC9D303758DFB
SHA-25611620637A3F2DCCA8F081F8FE4B85DEDCB309926E2BB5DF2F37891F0DB4DCB6B
SSDEEP192:KpEQMRk+Qky1QRx0xrx0bCprqgCvb6ed9Cc6om2atzKtxE3blE3HA/FDr2wRY5QZ:0EJ5Qky1QRx0xrxuB0omemDr2wRq8
TLSHT1ADC2EAD863A158374DB78AEA17F96B24F5E08949E54E0D40F1EE47FA42CDF20B642D23
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/NArith/.coq-native/NCoq_NArith_Nnat.cmxs
FileSize14548
MD509053DF68BCC49C99BC3379546F7472E
SHA-100A5CDC4DDC16C600A5E171BF8F7CE7D17591467
SHA-256E70F544BDB149D11FCED6BB8A4F6842C6640D0D7765648CEDF1046F1BCDDE10D
SSDEEP192:49I8M5YC2THAzwn1PdjcBdowXDHdgLL4ouEZo+oKR:2JgM1PdjcowzHdgLL4ofQm
TLSHT16162940B7386FC7EC6B79C75C48B0B22A0B2C155A173B6678E3B01691D47B454716ED3
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
Key Value
FileName./usr/lib/coq/theories/Logic/Classical.glob
FileSize154
MD5C8E5E93EBB946F8F1B6D5724D3761B26
RDS:package_id182052
SHA-100BE1DA50BF7A7E36A7A2DFD404283D85EDF0249
SHA-2561C7A60F589FB57015783B70B248CED5AECE1D9F01AED3C2FD5E3C4DFEEF6D81C
SSDEEP3:JhH7gUd/MhBc0E91GSJEWWkhTPfc8GSJEWWkMenFZkrXL1GSJEWWkM6mbgP:b8US3cx1GSJ93c8GSJUeFaNGSJU6mkP
TLSHT1EAC08C32EA0424F83A9308300C8402F022312104EF09C972A1AEB88D0AC8E4CB4203AE
insert-timestamp1679425915.3505614
sourceRDS.db





metalookup is a service from miwakeru.com