| Key | Value |
|---|---|
| FileSize | 18925312 |
| MD5 | 9742A3C359048C889EC6CDA2FF68B681 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | 23BF7B5362A29DB6028187BA7CDC610712E441AB |
| SHA-256 | 605B477E56A01E4A387C515771D2E25DC846A475FA4A3F2D13D4B3780D8E89CF |
| hashlookup:children-total | 39 |
| hashlookup:trust | 50 |
The searched file hash includes 39 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.byte.1.gz |
| FileSize | 275 |
| MD5 | C85D082EEF138584A662D850DBF002E0 |
| RDS:package_id | 182052 |
| SHA-1 | 02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE |
| SHA-256 | E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A |
| SSDEEP | 6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc |
| TLSH | T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834 |
| insert-timestamp | 1679424703.0916345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/README.Debian |
| FileSize | 765 |
| MD5 | 46CFC23E949D8804D5BF066B264448B7 |
| RDS:package_id | 182052 |
| SHA-1 | 02CC6F38630424B025BD78BFCE1A21D68CB87434 |
| SHA-256 | AD8C03A1BB73F99D02F6B49C755D098E65F6C40B461DAAD3E023BD0A7BAA8531 |
| SSDEEP | 12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGof9dS/pokUzJw6F:LoTjpYwEFBwXPeThrSd0iC9OnQ |
| TLSH | T118011079DD4D1A18A090E4D2376748EAD36C243D7381C0B2907D02283157FA042DF0E1 |
| insert-timestamp | 1679424703.063793 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/CREDITS.gz |
| FileSize | 2675 |
| MD5 | 2F784E72ADC183728C1FE175B396D998 |
| RDS:package_id | 182052 |
| SHA-1 | 12D9FCADB6F9C386FD1234DEB5BBB68C32132791 |
| SHA-256 | 719D6E51575B8A7828A48CE68FCD33FFE05152ECE1DBB7AB42173EED85EB73DD |
| SSDEEP | 48:X8EMFugrFz1gaUEuf6JxdpYrSrPbgIGpXGExnqdQ2BcV9nzNpNfU0L7es+:4ugrNwAdaIPvUWExqO1VXUDs+ |
| TLSH | T1F7518E203FD27C2128F1190C41D9312C1B815ADA87F2F08AAE47734D0C31576E1EC5B3 |
| insert-timestamp | 1679424703.060886 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/emacs/site-lisp/coq/gallina-syntax.el |
| FileSize | 45137 |
| MD5 | 20211434EB5DE1549757B60667FBF4FD |
| RDS:package_id | 182052 |
| SHA-1 | 1F5AA6AD2565A1884CE21B8C537DB512707F2266 |
| SHA-256 | 29359F3C3E92E3776A48E9F5109B6044290D65DE9942251B1588774400A17EF7 |
| SSDEEP | 768:ML/boDxPVcxiqa3SaJa9P2MSJrk+d3LyGONLuJXoBxysFwwLWarEFEr8rhAnpwZs:MnaSaJAP9FBxy6LWwEDKz/VTIXKilh8D |
| TLSH | T1F4137432F0910D2617CB0A916A9EE5113E70E69F12C40E1D7B9ECAD80F5DABF4236E5D |
| insert-timestamp | 1679424703.096611 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqc.1.gz |
| FileSize | 543 |
| MD5 | 8B28B858F2B73937DC9C8E5E7EC065C8 |
| RDS:package_id | 182052 |
| SHA-1 | 2398BB2A5488D5E45FEF7013F1713FA321C7E92B |
| SHA-256 | CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D |
| SSDEEP | 12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a |
| TLSH | T193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154 |
| insert-timestamp | 1679424703.0865602 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc |
| FileSize | 2646767 |
| MD5 | 983D0EA7D4D7C1550BC30D193909FA7E |
| SHA-1 | 23A6F177FC9F23208513B54FF633985E26D9E826 |
| SHA-256 | 94F75A5EBE384193F8611DFF462A986CE67B359F96A58A2C00F5C2BA6E491004 |
| SSDEEP | 24576:tDBthtX13dGGv0JuYsMHUJIwUyzhMcXLZNqD14PJd5bVCMpdxF0wROYYWB5u3eg0:hxtXqwrYydMcN4e5b0MX08sue6 |
| TLSH | T138C5D50DAB78F931C8A918BFD8E5CADB82158D7FAB136FF70048061565C721D6F44A8B |
| Key | Value |
|---|---|
| FileName | ./usr/share/texmf/tex/latex/misc/coqdoc.sty |
| FileSize | 5494 |
| MD5 | D81D07C2738BE88569AC158D76B4A72E |
| RDS:package_id | 182052 |
| SHA-1 | 3C009E4BFA0A7740FD7F721C7B38AFE4883C9434 |
| SHA-256 | 3C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617 |
| SSDEEP | 96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN |
| TLSH | T1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F |
| insert-timestamp | 1679424703.1018066 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/csdpcert |
| FileSize | 2664802 |
| MD5 | FC15A5CE19F157D161DB8420B5249ED2 |
| SHA-1 | 3E77612D06A3B142E70BC44BB072E956E5CD2601 |
| SHA-256 | 92BC614281CF38A5BBD5D180DECCEEB6DB738834B6FCCA9C867E6FCABB749A66 |
| SSDEEP | 24576:nQKj9cx4L/o7lUU/iBmNOKz4pdvF0p5OIYWB5u3egF5hIbisdQ+Zyru:n3WxtCZ0fUue8 |
| TLSH | T1B6C5D60DAB78E931C8A519BBD8E5DECB82148D7FAB036FF70048061955C771E6F44A8B |
| Key | Value |
|---|---|
| FileName | ./etc/emacs/site-start.d/50coq.el |
| FileSize | 853 |
| MD5 | E20518A79D774C5CE506ABAF04602D1E |
| RDS:package_id | 182052 |
| SHA-1 | 488DEA1B7A0D585C54728232F00882ADCDD8F677 |
| SHA-256 | E85DE0E9929223BE246A64ED27BC967B79DD7F1A3D174B68B7B67A1A62E9C440 |
| SSDEEP | 12:zIhzObelZsjFTPksh8jHpFD/FWkiFgqLqE/GPXmiduu7rzLFa+si:zwgenst5h8rLDtDWbLHOP1h7fRH |
| TLSH | T1F5011EF39BC8562E2F0331271B454985938EE9D8A050A8807A2D434C23424E463E3ADB |
| insert-timestamp | 1679424703.105724 |
| source | RDS.db |