| Key | Value |
|---|---|
| FileSize | 2421008 |
| MD5 | 086F9D8B37809CB24F8D4C2318793A45 |
| 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.4pl2-1 |
| SHA-1 | 9FAB80AFA5D4C0D54967D91EA4B17A00DF07472F |
| SHA-256 | 13E2A245247B2711DD72ED846A5C095D342E02C7FB2898D5070C9F1977F95F2F |
| 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/coq-doc-pdf/changelog.Debian.gz |
| FileSize | 984 |
| MD5 | B883DF8E5F06CFAD1EEE81B770C26555 |
| SHA-1 | 75671FFBBCDF2907014C73A8DFE93528F310679A |
| SHA-256 | 4A186E73BAB9C834FACBC61F2F8116279C8275B0C84B912D245BE14B10B0ED1F |
| SSDEEP | 24:XYAvFyop9gKROc2Z+2mqR39Wp/TDWmSBuyzG+AjH:X3vFXgaOca5mqRNWJ9Iy+AjH |
| TLSH | T18F11C814A859133CD56EAF3068D442EC15A05A7819D2EAA6CB3EC69A02885271A6820E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/FAQ.v.pdf.gz |
| FileSize | 383628 |
| MD5 | BF02A9CC37E826BA1A2D3DAF65A4E38A |
| SHA-1 | 36C55390860E9CD82A9F8954A97DDF0BBB6A4FC7 |
| SHA-256 | 37F55EE46462DB7BE007CD213BA866B89D5ACD4F0CCFEA62419F697BD5C59F3C |
| SSDEEP | 6144:LVXwo88YDCLPQaZ2SX4ACy4uzZWCeWNN6mGEi3wlUOqGITuhxr5V9SUXWRm:LVn88YioEIinwCeWr7GEimqGIT8xr5VP |
| TLSH | T12184239556E4B1CEA1CA4B23699DCE025D272E6997C97ABD7780448138EF033E0FF670 |
| 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 | 1512953 |
| MD5 | B698DCACF3D9BD8805DA2638BF930D95 |
| SHA-1 | FE0F9D24FFBC47B7CB77F716CA2796847B64CC3F |
| SHA-256 | 4AE5A740A5DE13AA83C1548EE075AC4A9C3495F5DDB160CCC87FA62A196CC2C8 |
| SSDEEP | 24576:aZcJ2GYVmfosHRhCGKkf1S0h9kWS/MuEl1jwRUt1rbyBqedWxStDCo4De:aZ2/focrOzUr1jRTrA3kxS1ODe |
| TLSH | T17D65334F5FFF54646BA4626B376760078F83EAC64A05F0D91602C5598FE2BC38533EA8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz |
| FileSize | 316144 |
| MD5 | FBB57A2339E4738EA80FC26FE630A30E |
| SHA-1 | D41450CA1B3422DBBB2E87B29EA1F826EF9EFD4F |
| SHA-256 | 85B457F4E1844517D582E157C0056FEF4397672CFA03E8529090BAC36246DFFE |
| SSDEEP | 6144:pAfPBTBbxJ3NM+TFuah/5mPQzZL5jlap4adIRjBV44d9juy1cEEnDJ:kzNjFuM5mPKZLdSZIRjfcDJ |
| TLSH | T13B6423C05833976628C28CABBEC5D862E787987C55E4E3347E133170FEAF95312A5B25 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/Tutorial.v.pdf.gz |
| FileSize | 196912 |
| MD5 | F7E1EB2761C0B1BAFC14CADFF14138FC |
| SHA-1 | ADD742F11A6486876D3575FBE5B48B56826CF706 |
| SHA-256 | D6522C3E6BAB46E4721582DB8B6E07816A404D8B8418547D6561B4EA5F901ADB |
| SSDEEP | 3072:aGnwGus8iZR1gIe/vg8RvUs8C3Eu12JyVHeNymvyfDZjmRlrcNvpkDJz0iAmc+S3:agKTipgI7jsh3ELnLS1j0rcVp29m3 |
| TLSH | T1A21423F8CFBB3223139F42940D59DD113BE82487B6F61CC2DA1D0638D88AB9956DA177 |
| 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/copyright |
| FileSize | 9966 |
| MD5 | F76F7F0B38BAA006C8E6405E71042904 |
| SHA-1 | 0409C68547277EB2DA5F685DAB152B185B9EF07F |
| SHA-256 | E050C0F2BB586152608A0970B49701146F245ADB503E3F747EC2DB7E917BAF17 |
| SSDEEP | 192:Hr+sksZX/22EIAt4Hzgfzt16uJcnzfqtjbG0PES0TqxMWZif:Hr+sksZX/22EIAt4Hzgfzt160cnzfqt0 |
| TLSH | T1CF22A7AFAE04037327D3D1A6AA4E55CAE31BC86E313A1495704DC04D2757E7493FE2BA |
| 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 |