| Key | Value |
|---|---|
| FileSize | 2423032 |
| MD5 | E52025F7FDF99B4510B55571F6DE243F |
| PackageDescription | documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-doc-pdf |
| PackageSection | non-free/doc |
| PackageVersion | 8.4pl4-2 |
| SHA-1 | F131A33FB09EF3D18CE05588610D227143F9E979 |
| SHA-256 | 35C6FFB9E1009B0FA7F9A64D86CE2E9CE135382176CE6F1B593721DED4A33FBF |
| hashlookup:children-total | 10 |
| hashlookup:trust | 50 |
The searched file hash includes 10 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-rectutorial-pdf |
| FileSize | 690 |
| MD5 | 5BF61F7D80EE6603EFD9ED21941E4CBB |
| SHA-1 | 401A4FEB659A4343D2064033724FD40CD2DB5985 |
| SHA-256 | A53596B93EA53A40C75AB3281796D554A2D96EC4DDA504BBEACECE3F62029459 |
| SSDEEP | 12:YMh/P7oReRLsBkLetIiUwyqWF8KqetJS72oh/i5VHsgDIPajXjLRVhxiNYihA3Fe:Yw/P7kBkLQ5zGJSSUKjz0Par3zTOYihr |
| TLSH | T1D401CB02B341F358C6330CB162FBA3C01751497AB3241EB6702C807B1195AEC63B7BA7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/Reference-Manual.pdf.gz |
| FileSize | 1514366 |
| MD5 | 4EAE90D86CF9A04851C49E987333C1F9 |
| SHA-1 | E46CB8C0DB3A20C03DB10B108666C2234FED5886 |
| SHA-256 | 32A96FCBF96A6129BD1F7C12D7889D479EEA06692C7EF86BB061B0ABDE1A1528 |
| SSDEEP | 24576:osOvKMJGDPfAx5Jme0iDdHqCmqtsdvWjjiieb+wdEkfFuZ/Ecu:tYKMJsApJ0QH4qydvWKixwdExxW |
| TLSH | T195653371042DDFA49F889141F5298DF13228393292EACC10BF72A700ABA6FD756539F7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc/copyright |
| FileSize | 9735 |
| MD5 | C5150521F7D622EEACC3E1F06EC000CF |
| SHA-1 | A66F615E0F4B14B28FDBE7864F16DDAC0EAC85FD |
| SHA-256 | 0A7472F4BCE12F02AF4164FDE7A3822E3224DCDEA8B32AD92A439A567674CF2E |
| SSDEEP | 192:VG3YtPwWtLnzCs1vtv6GnRVzp1DdPyVZ5m7487erxWxMiniT9:VG3YtPwWtLnzCs1vtv66RVzp1DdPyVZB |
| TLSH | T1C212A76BA644037327D332E2FE4A61CEE727985E32391495704DC09D2B57E3493F62BA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-faq-pdf |
| FileSize | 474 |
| MD5 | E752AE65B7AE1FAC4376AF22F390060D |
| SHA-1 | DCDB946929284693D06C61BCA1A2CAD57E418BCD |
| SHA-256 | E140027DA1BEF754859B76D0CCA1A82B59792661FF447846EB435FB8FA5FB86A |
| SSDEEP | 12:TYnZnThFDLezZCPKz6QBPsGKE+/ErnpSWsFS3n:T8DLoZCPKTaGKE+8rpSPS3n |
| TLSH | T1A2F0D410E61B33D951D2815ADF5F27316E5F521C71B12734347D0360A142C9F936F559 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/changelog.Debian.gz |
| FileSize | 1028 |
| MD5 | DECFAE7C7A1561E860DFC9B20A23500F |
| SHA-1 | FBE037B659B265FDBC2009C41CFA7C4C8A4A8659 |
| SHA-256 | 704304843AD8A6CF6BD83B766E0CFEF75DD5D6E4AD83DF991B1A69B87C59844C |
| SSDEEP | 24:XsMfTnCkRMmA/4+KgjCRAjm3y+93sBFFBWxH5dKVTMrbjsyVO:XhTnCDmA4aLy3y+93sRckVQrbjsf |
| TLSH | T1F111B2AA4A8A08F34E06E022E4018688F547EC04A2622824C92A04308EB8404B6FC83F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz |
| FileSize | 316066 |
| MD5 | 4BAB266666668D52BDCD34DE194A7DBD |
| SHA-1 | 70A365C3A48F693E8E5FBA1349826501414E8503 |
| SHA-256 | C4AE59BF52CF234CDB1047E5D24158E7E2251565E8E3479F7D4E80D0E5C10D42 |
| SSDEEP | 6144:Xo2IQC02rWsPrkuKlpjrz6SoU3ilupnLP/WFR33YCKIGzShlqJ6m:U/rkuKPJi+b/WFR3oVteW |
| TLSH | T1CE64233E701DE9817D16A269F3D0DAB0002778B447CB9C6A4EBC300E69D56EF535A89F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-tutorial-pdf |
| FileSize | 461 |
| MD5 | 36E05E44D3AC4F964EBBE022FC5DA8A4 |
| SHA-1 | 9C20D2CF369B2B05FFF2ADFFFFF289123856F7D8 |
| SHA-256 | D0201AF537FD455E715F706C3C9B3D1435669E77DC9539DD36110CECCAFE3B8B |
| SSDEEP | 12:Rn/P7Ui3f51LetIhDJvWFA8KoshtQcWai5K9DgduIJHuFS7:Rn/P7U23LDNCA8KoqWNiRmHCS7 |
| TLSH | T1DDF0DC43B152436D6CA36187A24D5AE22E2608629031A131C16C846864CBCA063B3579 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-manual-pdf |
| FileSize | 465 |
| MD5 | CCFEDC220C2754E2C169D29B961346A9 |
| SHA-1 | 4F42A678376E4A7201346346360310BF5B46675F |
| SHA-256 | B31D5231D97CD6C3DAC5FDABA752E90BD825B0A466B0C10DD53E32550F15A863 |
| SSDEEP | 12:KU/Aaz73XsaFK/JP6eKg9snfC/AFkaAFfrLXFSvNV:V/AQHsl/Jzzde8rJSFV |
| TLSH | T1F6F09E42E20102C8E5F3804149061EA54BAB847D16389530916F541C540AEE9A2EB777 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/FAQ.v.pdf.gz |
| FileSize | 385088 |
| MD5 | D5A773E8B9917D8B41FEE872E4AF4B9C |
| SHA-1 | AFCE15B1F13EFE203A121EBCE5250E0F738DFD72 |
| SHA-256 | A4FBC10FCC7C88906FEEF803FA02416AAFA8BEB6B83B4959697224546E067C2B |
| SSDEEP | 6144:0kAZ0mida7jLJYCGwcuNnjhfCS814gx0PM0Jz6UyzOBl/P9erWWMPgh0Cn6:rLmisBY2nNfJ810PJzHyzM9vP66 |
| TLSH | T1E3842360347ED1BFD7C6664A213E28E6461DDF4693AFC7FBAD60C1361689283198DCC8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/Tutorial.v.pdf.gz |
| FileSize | 197059 |
| MD5 | A419090FF348CAD7300A762098D9AD5B |
| SHA-1 | F400C413EBBF6F7ACDA89CEA95E93F9ABCB939AC |
| SHA-256 | 745EE7678CB24276814A41BCFB510E93D00971FBBC1BCEE7027801AEBBEA2AAA |
| SSDEEP | 3072:Ga0SaoKQngGFCOsrza/HcwJ+oYnK0/SskObBkEnUkrF7JalCmyzKc+xZ5:GaE2ng3Jrz+InXGEBkerxKNAKc+xb |
| TLSH | T1191423009B620045C5A9B8327179D9C5F1F27412A8BA4B87FBEFB814C9D36F73DE1A09 |