Result for 31749D7FADE9AE0642B8872E51A0AC9C980D8905

Query result

Key Value
FileSize6959208
MD5F3ED3D11BE1DEA5A6B01C64CAC4E5CCA
PackageDescriptionProof 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl1-5
SHA-131749D7FADE9AE0642B8872E51A0AC9C980D8905
SHA-256A262C186642ECA6CABD9381C9A9070481F4BD2592DD0377EFE8A85331CEF44F1
hashlookup:children-total39
hashlookup:trust50

Network graph view

Children (Total: 39)

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/gallina.1.gz
FileSize663
MD5B0F477AA88C698689C57DD59838BDEFA
SHA-11EF1DDA5FD621A75A61F5248751657EE6ED8D449
SHA-2560400CF75AFB6AE6A15A8235C226317EA0A7070E549D37484DB0B9CB3A3D9D2A3
SSDEEP12:XYzIlvZP9HnegRBW9AqTCE4TDX6HfxOcy0pqR14HEf7I0XwxuDBEkIn:XYsQguAWCE4q5/yEE14kzI0gY1EkIn
TLSHT1380183B6D4FD0D620BD97AE5209CB1723436EB81698BFD200E22BD8A93D4527DF08975
Key Value
FileName./usr/bin/coqdep
FileSize365962
MD5A60A415ED4DCB5BB043FDEA611F9B480
SHA-137CC246B244769491662CC0FA0FF339413DCF217
SHA-256D41D8BC74D2535F6DB0E7E18AFF1639928087162D05EE34A820E79EA96B94079
SSDEEP6144:ntNqAd4DUnV4RSP6/Dn8z8zU7T83jfx8p0uQozd6tJ:tNqAdMz/Dn8zOU7T83jfx8pvQozS
TLSHT11874F903731D8C5BC1B05D7084E7835623ADEE906E51438BB94C7A5E2FB3BD9661ABC4
Key Value
FileName./usr/bin/coqmktop
FileSize358709
MD5825F292EA7173561CC9295CB099B26C7
SHA-143A1BCF889AA4DF8697DFC321C5412EB0718EBF6
SHA-256BA3E0B53981463C814A2D577F9979ED3A98EC1DC9F5251BE92505FB0ACC4761A
SSDEEP6144:kNqDS1GVhgxVNW+NDiz8zzdM43jfx8p0uQs7Bs3:kNqDS3w+NDizOzdM43jfx8pvQs7Bs3
TLSHT1B474E803B7198D1BC0B05D7449EB431623A4EAE16F45470BBA4C7A5C2FA3BE9771ABC4
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize1193
MD5DF7B539147E10B6B5F8A369729EB0D92
SHA-144195FED0B575CCB70E83198EE85619DFD48C8F6
SHA-25643E2198CA07E5DCD95CA2D2695C5DBA2B77D8F9D637F5089C1EED1A9AEBB1D94
SSDEEP24:XRtHe9JUyAcemTbaHEV7+KrE13uCHVr+9Fb9hEbVcrTvISc15:XR02cemTbaH2E13HVcb9ecrLIX15
TLSHT1F321D7E23E6E1B2CEF6C186CE902868DA388D7106D2589F41239932531C2B46517C5A3
Key Value
FileName./usr/bin/coq-interface.opt
FileSize5686200
MD57C9A0DFEC6FAF4929792E02408CFDFDE
SHA-14A8A9CB05E67B16A35FB94B00E9902ABCD72C606
SHA-2568E783C3309E806E47089DF3F28D6969F5474BF30AA00A6ECEA22918521209584
SSDEEP49152:CKCfg0s6U0SKnoMxaHrc0EXqzRpSdMkvS1tO3WAjcZANblsKpL2rV/fdg1:CWJEXXcWKLBda
TLSHT12A46E8733C876D22C23AD230ADC743219A76EC66E6A18F6DA720663D5ED5341369F1CC
Key Value
FileName./etc/emacs/site-start.d/50coq.el
FileSize851
MD5FCB3EC2B3BF9C9179E9EBACF51758C43
SHA-14A8AEA0DB3B4015EB0293AFEB6A4D18D332ED548
SHA-25635D6C631AD317F1F0CE5735393D6C5180E4A96A8C26AB0BBDF54EA86D026E720
SSDEEP12:zIhzObelZsjFTPksh8jHpFD/FWkiFgqLqE/GPXmiduu7rzLaa+si:zwgenst5h8rLDtDWbLHOP1h7fYH
TLSHT108011EF39BC8562E2F0331371B454885938EE9D8A050A8843A2D434C23424E463E3E9B
Key Value
FileName./usr/share/doc/coqide/copyright
FileSize1949
MD56EE24E81D49226CD210BB491778EFB1A
SHA-14B7D8D71A9008BAD9912AB05179290DB7D314284
SHA-256C58996979864299CFB9EA311766F6E2FFAA423ED713A2D1CF6390BBD4EBF03B0
SSDEEP48:S8tqC1CjpRemziNCgsIT2kLmpGQaVffNPFcthQmavVT:SQqGCj50qk6NO9cttiT
TLSHT170418416DB5CA3321AA244C135069AC5A75FAB7B11546180F46C650D6BC2D2862F73CE
Key Value
FileName./usr/share/man/man1/coqwc.1.gz
FileSize320
MD5F9E72E6C4855B8042A0CF5D9809D79BA
SHA-152E7C6FC8DBDAEE8A13E93E46CEC275E87F063B3
SHA-25642ABBBC2590FC301F5DD41FE29162C9BDFA327C247A9C6C866F63FFA6BDA4BDA
SSDEEP6:X+nVScUrvnXewgH32WFPFakLXS1TLTf/r82ckYdP6bGPRRsR2gZXVbEmCj:XYcbnW2UBM7rByoCPRRQZFyj
TLSHT1FBE07D13A01623370C552CCC0808D04A678854AEA6A5EC7043988986A7D82C32AB51C1
Key Value
CRC32B6663230
FileNamecoq.el
FileSize7010
MD54C5493A16889E2B0F361F0A7AC971476
OpSystemCode362
ProductCode12661
RDS:package_id12661
SHA-156379A8A0E948DCB2D35095A4D4A5FBD24AA61B2
SHA-256FEB98955567535D5F09E8B48A0288CF06A1F82D358BA616E62632E59F2033D7E
SSDEEP192:zDC4mw54jeYiogp+bag6fF8hFmwsCbX30P2mq1:K4T55YZ6oagqFwFmwBbXEy
SpecialCode
TLSHT14BE161C22AF325A6674305D23E9DC0E1FB22C5FB2A812C28754F928C4F065D95F6DD2B
dbnsrl_legacy
insert-timestamp1648591848.314226
sourceRDS_2022.03.1_legacy.db
tar:gnamewheel
tar:unameroot
Key Value
FileName./usr/share/man/man1/coq-interface.opt.1.gz
FileSize376
MD510D10B29288599E07B3705EBF62135F7
SHA-15901AA8A44E23302D06BCFAB8E2A51FA0F868322
SHA-256372442941A2280F54AACE6A18F424B20D69BD9655317344C52480E2FC36CD2EA
SSDEEP6:XLVI5FcnZd0aA1KS2On/KJnf3ROC0GawHOaDtOBEE06FSDnwaVx3pn8/rOl:XLi5FcZdA2Q/23InGay3Bv37npn8/rK
TLSHT133E060401F074D08085723C309524DAEC02B2E0091FDA009BE4F47E3E69FC9F34B10A4