Result for B69A945DEC36078DC0B015B4A022AD4EAE10B07D

Search result
Graph view
Children (4300)

Query result

Key Value
FileSize33181580
MD5D56F2303C0CE250081DCEBC77D0ACD23
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-1B69A945DEC36078DC0B015B4A022AD4EAE10B07D
SHA-2560BB4C179E8A357BF57ED5DEFDEFA6F6D7D1B4247198602BE2BC61B089429429C
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/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMulOrder.o
FileSize2880
MD5888E55F308FD372662FD30AABD315360
SHA-1001C223CC5F46F1257C0DE1E1F2AE843E9B2F1A8
SHA-256570FCDA22362621FA3B621094FF8579C49A6DAA1F5B2B4D9E8A84EA41181012B
SSDEEP24:btKMiojFFCbvV0ytZidzb11KnaKSncRhVIPkmOfKTKyr9+8kRfLkf9iC6:bj8KcidzbOZSc+Xlma+8k5si
TLSHT1E451AC0737D7CAEEC52709B1928D52262269FE01ABA54317978233094F372C8FE66543
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/Sets/.coq-native/NCoq_Sets_Relations_3.cmxs
FileSize28792
MD56BE498360879AA75A758327D129A9F0E
SHA-100394EBBD216624854F3AEEC46FD4CC2D5468B25
SHA-2566E32607495D9246707A0E8D5CEFB30F0A8E856B8D52A5CB885C3D12EC61C7148
SSDEEP384:2RtmUdvDdAgC911dVd0EwjrnNQ7MyHV/iagM1PpcowzHk9VR:2RtmUdvDdAgCjtd0Ewjrna7MyHpdkHM
TLSHT11DD2A69BFDAA8A3FC777C3F9C00BC23164B4B4669642371A6540B71C3C05A98578F69E
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/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmx
FileSize6848
MD5FF19B6EB0452C75F01EF730A36D7CCEC
SHA-1006560CEBF9F4B5BF34428B9C857F8BB41B5CC96
SHA-25661C466C108789399812E4308A8B3BAA3C027E71BF4831337E626F7F53D042723
SSDEEP192:GQTHAzwn1PKKU4/J1VH0xW3JKcBdowyDHGIu5olI9HH9gPrQ9zJ9GaeI:G8gM1PtUul0xW3JKcow6Hnu5olIhHyPg
TLSHT1ADE11AD74B84B4465F23C1F22798111B5872505E0ABF89ECF72B075CE862ED8A35A537
Key Value
FileName./usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmx
FileSize3424
MD548198ED0E5BED76BA29F5E059D24655A
SHA-10080A6B1AC5E84DC0C9FB9190C0A7AED0DB9D322
SHA-256AD1698E1F891B917775AADCE3D2C2B983D62EE63E68EEDD89EEFD4CC531C803C
SSDEEP96:y9V+THnQxzYDn1vfPPbBGNcBzhfujWvr/Jdx1HMETGVI:y9V+THAzwn1PgcBdowXDHvGVI
TLSHT18A6129ECD280B467988BC0E384590639F4AC5443463BD4FD973353DC60B6E65AB2B92B
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/plugins/ssrmatching/.coq-native/NCoq_ssrmatching_ssrmatching.o
FileSize2704
MD52B3D3A9D4D776677D06867A3D644AD3F
SHA-100B7538B6BC28525AC93BBCCD1480780ED590522
SHA-256BE6FAF11EAE0383FAA2770C63C3D431E9F28309FE1BC673409063F47D6137E0F
SSDEEP24:bFCmgt8+49XCw1HafHhVIPkifz2rdeckRfYNcJ1kEA68:bFCSdyEGeckmNCt
TLSHT1F7518B679FCBDD79E5B921B9408D22212A9BFF486DE1D30BD10A71D88E375CC5D22843





metalookup is a service from miwakeru.com