Result for 7513F2387D12E1AD5982EBB7688060E9D48199D9

Search result
Graph view
Children (2325)

Query result

Key Value
FileSize22532000
MD55F1936C0C42BD985CF8B196DC895B269
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-4
SHA-17513F2387D12E1AD5982EBB7688060E9D48199D9
SHA-2567F7247554453A245000AA40284A9AACAE35B9F193B2C589D0BC9FC67F72E5A09
hashlookup:children-total2325
hashlookup:trust50

Network graph view

Children (Total: 2325)

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

Key Value
FileName./usr/share/doc/coq-theories/html/Coq.FSets.FSetBridge.html
FileSize215635
MD5FDC5C3CEBDC03F5DD3A5533E3036D08B
SHA-100058790C76EAEAE1B840DBD4C9D7802F7653952
SHA-256E303F997C05421FC427CA2F6119D88161088F3EDC0DE72291DAAE60AB2DF8FD5
SSDEEP1536:I38khPxpyo0oSojy1BTv4TU0MawoGP7z4odW6oIVToaF6F5ofVomoJyDm:I9
TLSHT16724E4EA43A11937497B8AFB03FD6B34F0E10D99D4854B10F6EE46EA12CDF2479458A3
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/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/plugins/micromega/ZCoeff.vo
FileSize62515
MD543B999CA68400B19659DD1566DE20F33
SHA-10037DD35F5AA176A10BA796911112BE15BD67678
SHA-2561EA2EB0A2A338D361D54C5EE43931E3C22057334EA428C30181FAB2F4901FFDD
SSDEEP1536:Jkx70ZgCxIT6F5Ip0gwOZAnj18UZ4Y7ukZo:Jkx78x6OgwOZAjTZNub
TLSHT19953A632C6C9CF91CCE68970AB6576D42140AB8E6275D755092C037ECACABEF6D6034E
Key Value
FileName./usr/lib/coq/plugins/extraction/ExtrOcamlString.vo
FileSize24558
MD52CEBEAD11DDE2D8FD491C484EA589592
SHA-1004FE8EF233C8A24864AB804100745327E33F740
SHA-256E8135BF27F60531244B47455774FB0223A085F919CD08CCE4BA16B4CF4E587D0
SSDEEP384:g9KKlof6WA+lL2qP7Jfha10K+iStYUNpmHxQJs2xNU00vB7YAqq5Z:gL6fl7LvP7J5a1uKUNpzeMNUOATZ
TLSHT18DB22E32D6D0C79208B1CA306AB4748CA645EF475359E728153503BDEB9FBCA2DB069F
Key Value
FileName./usr/lib/coq/theories/FSets/FSetCompat.vo
FileSize233918
MD548ACDDCEE13D48F31ACE408B57DCDE76
SHA-10060211FE061032F9D8B1ADF403825C9E9CA8E9D
SHA-2563ED6DF46F4EB5EE48C1C15A796F76DCD88915491F134D74A64899F6AF720D9F7
SSDEEP3072:hhD7Z53vPWkLqdKKz8ODiCk9pSx4z4BYNFfZ6anNTZApAw:hNP3vPrOYU95kPxNFf0qWd
TLSHT1D4341865A7C3DEB4DC96D8BABA617C87E16087CD3129D1E28709833689C7E123C641DF
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/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/PArith/POrderedType.vo
FileSize196981
MD5D5F35A0C038C7CEE1408915A8BBF8EA9
SHA-1009F91BA49A636BFE6F4D0FA2AD187561093C176
SHA-2562E5A6E6FF4A954661EA9A268D61706B42E73175CD4E66AA01443F68F5A682146
SSDEEP3072:FUjqC2TnLVM4CCyaO15uM8ZlSKsrboqs/RZSIxzEFe:FlCCyaoQCvrboqs/RYEie
TLSHT15014A625EFD0CF2ACCAB8970B5E17E477124DB992663F2B71284C3755D9A68124823CF
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