Result for C93EE7A0210B0BA4A98A65BDB7C07890679DCB28

Query result

Key Value
FileSize18375166
MD5BF330CAEB7162A89AF36CAD3C75F82D7
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.2.pl2+dfsg-1ubuntu1
SHA-1C93EE7A0210B0BA4A98A65BDB7C07890679DCB28
SHA-256B22B6499DEE238446522ED8880E439BFAF3289DD51BA1B5982F25657AF431871
hashlookup:children-total1015
hashlookup:trust50

Network graph view

Children (Total: 1015)

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

Key Value
FileName./usr/lib/coq/contrib/field/LegacyField_Theory.vo
FileSize196359
MD5FE4ED9C337124179660ED8A8B6D41AE3
SHA-10052ACFAEA0F4724271E188968487F4AECB9C640
SHA-256FBDCC1B5206DD0FBC4769BDAF612941277A0FCE01A81C193D6469260507A0B2F
SSDEEP3072:zJJHbR+85W6Fj8CuHClCsgEAWZsV/4aKaFJPGM:zz0mF4Cm0vlZOzKaLPx
TLSHT16714732897638C6FD8BE9B71EBF28F877535D04D2B6B32932824C2586DCB3D415C518A
Key Value
FileName./usr/lib/coq/theories/Reals/Rpower.vo
FileSize58837
MD5960A02201CDC3F3ED9AE66D81D339D36
SHA-1007611D349A83F4F6F9357194E841EEEC00FFE5B
SHA-25623A81F03FB7311ABEA517CF64D02762999B8E3666A6399DA5B6B1007410C032B
SSDEEP1536:nhIKiyOlrZf27srC/jTokWUQ+s0OvdPoq4JLcp2BwF:SKizlrAQW/j7WUE0Ovto5bBwF
TLSHT1AB43199AD1262CA989ED28F9F6747085C502009ED1B7C7D78918C2FEFEDE32F0679119
Key Value
FileName./usr/share/doc/libcoq-ocaml-dev/changelog.Debian.gz
FileSize6482
MD5DFCABC03B71EC2D77B98EA7ADB0EA647
SHA-1007D8A20834B7F33E842178A5590F4DAD01F5CA7
SHA-256B9CDAD23CECE0D48E9927912894DB7FE4AA87959C3E530B55AE8AE5424BB5E29
SSDEEP96:AbzOXOXpXx53hWzmOrt5kRUbQaZaCiHPiPIbims0gWDroefYL68vnFz+NXYT797:xyph5YzmOJqREiHWJm4moa0PFcXYT71
TLSHT1F7D1AEC3D0E691FF86E779A79A8161C1C8540CD375A8C3D6EE154B161C5D342240BA6F
Key Value
FileName./usr/lib/coq/theories/ZArith/Zpow_facts.vo
FileSize154618
MD5AB9AD0B6D9F0212D7C1F20B9A7413D2A
SHA-100A9ADBC59543B71367F8D4363A345525DD2F9C6
SHA-2560B62A704F26BEEB3CDCE6979943C7E026E6C6F500FCF4ACAEC081724934303A2
SSDEEP3072:OYMud07MLaeX+BhB1v7KYKNDrasRXdNvs3hEH49GrN:OYQMeeaXvHKNDrasRXddsymm
TLSHT1DCE3F6DACA1A1DD886ED64FCF2787008D546008DA179C7EB8548C2BDEFD23BE46B854D
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/doc/coq-theories/html/index_lemma_S.html
FileSize106742
MD5C40676BAA65A7199610C794F8B3DDDC5
SHA-10199C21FBF1D860013809C770EED62F27879C77B
SHA-25635ED141DFF2DAEC2C4262B281E6C4FEAB53E5805CFBFEC95CE69C95D89138040
SSDEEP384:HVH2PaeOCTURoT4aKTwUPCOGMnJrzhaUzLc4yCEpWekofrhFHjJL3h8KNhzPhi29:HEaEOGUE4yCUWekos2ag
TLSHT1F4A3151600C2116F8BAA167809A83D693AEB17F24E447C48EE5F7C2FD627F5E256D0D3
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Reals.Rcomplete.html
FileSize2464
MD50B503AE53317538F8CB0F702E7DE6584
SHA-101B619540C36BB1313C3F6757D3FDC2281A6EB3A
SHA-256814CB0DB7A5036F514174D00212C292FA3CBC7031A07A1B4A5D003AD8DD29382
SSDEEP48:dmIDEqJjpE5bUbqKG/iNGfm5GYGT55bUbNKLbTPJdRfVPefO9aPe4f:9bJjpE5YWKG/iNGOGYGt5YRgbjJdR9PO
TLSHT150511BA05292D92F85B389D716E95F39F4E0C60ED6890C40F2ED56F7A3EDE8030156E7
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.FSets.FSetEqProperties.html
FileSize106594
MD5F2C6CD1A71F1DE2728AA8AA7D1B73853
SHA-101C9BB7A4AB834E55C96BD2FF3E30060074C4585
SHA-256A917B22DDD3C5750E3520A4F6FD074AEB1AF86AB7E5F5955BC267C274833DF6C
SSDEEP768:HGFHbRnCXCeCFXfpAqFQPIdMk997m1N/sKBcVagsEBQiiLEey9D13:OHbRnGCeCFXfpH2PI+EBQiQEeS13
TLSHT14DA3F4D291A29C3B01B78DD717BA5F31F4E0596DD6644D20F2EE42F3A2CDE8034466AB
Key Value
FileName./usr/share/doc/coq-theories/html/index_global_W.html
FileSize222720
MD5D5BF27E106D28311912D8C87A6DF796E
SHA-101FFBF4CBD853AEA67C6AC2E4A384FFE0ACD92F1
SHA-25697584E20CE5E51F1A4733DA16257E35A6CDD3E82975367C68B8CB1383390DC27
SSDEEP1536:kaw3sM8DpMzTnT3WSq+nt0yC+iSieCgYcUE3wB7B35B5DSUSQeOe5uyag:q3sM8DpMX
TLSHT148242ADB20C2192F4BDF823309553EBDB9D642F39D716C28BA1FAA5BE506B8911580D3
Key Value
FileName./usr/lib/coq/theories/Sorting/Permutation.vo
FileSize18832
MD52791153475E78FF30675983FDE7107DD
SHA-1020C349D8A866C77E0491319550303152D122975
SHA-25657F2BAEA4DA18546370ACC04A77F0F2D2AF22652E7D604DBC4B735333436B4D1
SSDEEP384:8hwF91V+MIVfDsWfyNDZ6NKs6RonHVpqWn7q7pW3Yu58b:8mVAs+SDYN6Ri1pj71c
TLSHT14A82F925C6186CBEDCFE4AB0BE34D396C513015D65B7E3DAAC08D37CACE955B81BA084