Key | Value |
---|---|
FileSize | 18375166 |
MD5 | BF330CAEB7162A89AF36CAD3C75F82D7 |
PackageDescription | proof 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | coq-theories |
PackageSection | math |
PackageVersion | 8.2.pl2+dfsg-1ubuntu1 |
SHA-1 | C93EE7A0210B0BA4A98A65BDB7C07890679DCB28 |
SHA-256 | B22B6499DEE238446522ED8880E439BFAF3289DD51BA1B5982F25657AF431871 |
hashlookup:children-total | 1015 |
hashlookup:trust | 50 |
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 |
FileSize | 196359 |
MD5 | FE4ED9C337124179660ED8A8B6D41AE3 |
SHA-1 | 0052ACFAEA0F4724271E188968487F4AECB9C640 |
SHA-256 | FBDCC1B5206DD0FBC4769BDAF612941277A0FCE01A81C193D6469260507A0B2F |
SSDEEP | 3072:zJJHbR+85W6Fj8CuHClCsgEAWZsV/4aKaFJPGM:zz0mF4Cm0vlZOzKaLPx |
TLSH | T16714732897638C6FD8BE9B71EBF28F877535D04D2B6B32932824C2586DCB3D415C518A |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Reals/Rpower.vo |
FileSize | 58837 |
MD5 | 960A02201CDC3F3ED9AE66D81D339D36 |
SHA-1 | 007611D349A83F4F6F9357194E841EEEC00FFE5B |
SHA-256 | 23A81F03FB7311ABEA517CF64D02762999B8E3666A6399DA5B6B1007410C032B |
SSDEEP | 1536:nhIKiyOlrZf27srC/jTokWUQ+s0OvdPoq4JLcp2BwF:SKizlrAQW/j7WUE0Ovto5bBwF |
TLSH | T1AB43199AD1262CA989ED28F9F6747085C502009ED1B7C7D78918C2FEFEDE32F0679119 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml-dev/changelog.Debian.gz |
FileSize | 6482 |
MD5 | DFCABC03B71EC2D77B98EA7ADB0EA647 |
SHA-1 | 007D8A20834B7F33E842178A5590F4DAD01F5CA7 |
SHA-256 | B9CDAD23CECE0D48E9927912894DB7FE4AA87959C3E530B55AE8AE5424BB5E29 |
SSDEEP | 96:AbzOXOXpXx53hWzmOrt5kRUbQaZaCiHPiPIbims0gWDroefYL68vnFz+NXYT797:xyph5YzmOJqREiHWJm4moa0PFcXYT71 |
TLSH | T1F7D1AEC3D0E691FF86E779A79A8161C1C8540CD375A8C3D6EE154B161C5D342240BA6F |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/ZArith/Zpow_facts.vo |
FileSize | 154618 |
MD5 | AB9AD0B6D9F0212D7C1F20B9A7413D2A |
SHA-1 | 00A9ADBC59543B71367F8D4363A345525DD2F9C6 |
SHA-256 | 0B62A704F26BEEB3CDCE6979943C7E026E6C6F500FCF4ACAEC081724934303A2 |
SSDEEP | 3072:OYMud07MLaeX+BhB1v7KYKNDrasRXdNvs3hEH49GrN:OYQMeeaXvHKNDrasRXddsymm |
TLSH | T1DCE3F6DACA1A1DD886ED64FCF2787008D546008DA179C7EB8548C2BDEFD23BE46B854D |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
FileSize | 269 |
MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
RDS:package_id | 182052 |
SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
insert-timestamp | 1679425887.2617948 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-theories/html/index_lemma_S.html |
FileSize | 106742 |
MD5 | C40676BAA65A7199610C794F8B3DDDC5 |
SHA-1 | 0199C21FBF1D860013809C770EED62F27879C77B |
SHA-256 | 35ED141DFF2DAEC2C4262B281E6C4FEAB53E5805CFBFEC95CE69C95D89138040 |
SSDEEP | 384:HVH2PaeOCTURoT4aKTwUPCOGMnJrzhaUzLc4yCEpWekofrhFHjJL3h8KNhzPhi29:HEaEOGUE4yCUWekos2ag |
TLSH | T1F4A3151600C2116F8BAA167809A83D693AEB17F24E447C48EE5F7C2FD627F5E256D0D3 |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-theories/html/Coq.Reals.Rcomplete.html |
FileSize | 2464 |
MD5 | 0B503AE53317538F8CB0F702E7DE6584 |
SHA-1 | 01B619540C36BB1313C3F6757D3FDC2281A6EB3A |
SHA-256 | 814CB0DB7A5036F514174D00212C292FA3CBC7031A07A1B4A5D003AD8DD29382 |
SSDEEP | 48:dmIDEqJjpE5bUbqKG/iNGfm5GYGT55bUbNKLbTPJdRfVPefO9aPe4f:9bJjpE5YWKG/iNGOGYGt5YRgbjJdR9PO |
TLSH | T150511BA05292D92F85B389D716E95F39F4E0C60ED6890C40F2ED56F7A3EDE8030156E7 |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-theories/html/Coq.FSets.FSetEqProperties.html |
FileSize | 106594 |
MD5 | F2C6CD1A71F1DE2728AA8AA7D1B73853 |
SHA-1 | 01C9BB7A4AB834E55C96BD2FF3E30060074C4585 |
SHA-256 | A917B22DDD3C5750E3520A4F6FD074AEB1AF86AB7E5F5955BC267C274833DF6C |
SSDEEP | 768:HGFHbRnCXCeCFXfpAqFQPIdMk997m1N/sKBcVagsEBQiiLEey9D13:OHbRnGCeCFXfpH2PI+EBQiQEeS13 |
TLSH | T14DA3F4D291A29C3B01B78DD717BA5F31F4E0596DD6644D20F2EE42F3A2CDE8034466AB |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-theories/html/index_global_W.html |
FileSize | 222720 |
MD5 | D5BF27E106D28311912D8C87A6DF796E |
SHA-1 | 01FFBF4CBD853AEA67C6AC2E4A384FFE0ACD92F1 |
SHA-256 | 97584E20CE5E51F1A4733DA16257E35A6CDD3E82975367C68B8CB1383390DC27 |
SSDEEP | 1536:kaw3sM8DpMzTnT3WSq+nt0yC+iSieCgYcUE3wB7B35B5DSUSQeOe5uyag:q3sM8DpMX |
TLSH | T148242ADB20C2192F4BDF823309553EBDB9D642F39D716C28BA1FAA5BE506B8911580D3 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Sorting/Permutation.vo |
FileSize | 18832 |
MD5 | 2791153475E78FF30675983FDE7107DD |
SHA-1 | 020C349D8A866C77E0491319550303152D122975 |
SHA-256 | 57F2BAEA4DA18546370ACC04A77F0F2D2AF22652E7D604DBC4B735333436B4D1 |
SSDEEP | 384:8hwF91V+MIVfDsWfyNDZ6NKs6RonHVpqWn7q7pW3Yu58b:8mVAs+SDYN6Ri1pj71c |
TLSH | T14A82F925C6186CBEDCFE4AB0BE34D396C513015D65B7E3DAAC08D37CACE955B81BA084 |