Result for 14242DE44D800FCA990368C2A367E60EAF6D2553

Search result
Graph view
Children (52)

Query result

Key Value
FileSize78456212
MD5162CA15E163087832C4735ECB6D4CB76
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 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.14.0+dfsg-6
SHA-114242DE44D800FCA990368C2A367E60EAF6D2553
SHA-2560F6B3AF9AB6B8D6482F576BEB3100B9A889B3B85B6B588C22E4B77913EC0F458
hashlookup:children-total52
hashlookup:trust50

Network graph view

Children (Total: 52)

The searched file hash includes 52 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/coq-core/tools/CoqMakefile.in
FileSize30455
MD5778A9C753746CB7BFAE9961A6F3F943B
SHA-10013F802BC093B54134DB3C8F2E2E100FEE2F9F5
SHA-256021ADDE047E4F48AC80075213D68C3BF1F455F75D53BF315EB1CB758ED6C0F16
SSDEEP768:Hbn5hFb5aZHeHwmZZUxRPFP79paLOrqTn4rhHYeGboAhIlh:7n5hFFaZHeHwmZZUxz5paqrqTn6kk
TLSHT10ED2B739B71D2A6F5B8505E470EC5188661F00D6AD13B4B170BD8C39E37A4EDA1B6CF2
Key Value
FileName./usr/share/doc/coq/CREDITS.gz
FileSize3195
MD5BF9ED26E961C1BF3051690DD0C0831A1
SHA-100870119B2290BF14884CE165A49DB362CABDA83
SHA-256564D4FAD3AC4D75A76D69170CC5E7232383C509AB5B329FC762A3A114A2D7B6F
SSDEEP48:XXTJNxWzdF+Xnhi1oS2g12cWM63d8mb8FRncaHF0pfxf8GEpDKp26ea+Fznqc8uW:THxWzdF+XqazcGIcCFofx4Op26LImo/O
TLSHT19D615D555E0781546FF9712754D8820760671823888E8EFEE2E3FF64788F7405B2F918
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.1.gz
FileSize863
MD5501627D1169CF3D54E42B97EDFE1AE1B
SHA-102F6FF4F8850C8B80971C71D31917D267C422BA9
SHA-2561DB04ADA5967E3A6CCCF4834F6183D7F62A72917AB603CCAF78B3CCA319E057E
SSDEEP24:XKjy6SPm6dY4MATKxyXLGj9dGLAwJvRSMaaXL6ox6Qqf7I:XKG662zCCj9dGLA6vj6yqf7I
TLSHT1D7115B9438D458FDD785A3F340ADF81C708D69E590D15B115E571B7594C52610C5861D
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/share/man/man1/coqtop.byte.1.gz
FileSize258
MD5318FF26B3C204EA84E366135DA8A44A5
SHA-11443F6270D477A4891745ABB401BE302B82D2ADF
SHA-256816E2E7FB833056644A27F13A5431D25DC700D5C1F24E9C8CC8F36C17565D4F9
SSDEEP6:XtsDLNanHxDlDQyBW5SyvkC0M6hbUKMcTIm:XWDLIHVNDBgSzjM6hb8Qh
TLSHT1E7D02BE247C37A525409C87641113E544D6ED8D6AE15616BFE8584ECB9444114551AB2
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/coqworkmgr
FileSize1253128
MD50BE74F2619BEC8DA62A2371AD896A431
SHA-121F50D2ACD5C6BBFE172872C4E964CBF796D779B
SHA-256B6CE3F9F1B9C460335FD7818C7F92696061E6232780B3B1CC4440681208AA892
SSDEEP24576:vRUKMuceeh3+DKOMCAEztA2xV3Xsv7VpP2w:5UKMxe+EztA2xV3Xsv7VpPN
TLSHT13745290BF999897DC1FA9131855B46F9BB71B41062627F3619C0FA301E23A9D4FAE7C0
Key Value
FileName./usr/bin/coqwc
FileSize761904
MD516DE4F8570B81E4E86D901BE805D2C3A
SHA-12253D37D08B0724EF84A01FCEBB93BA53F4D2EBB
SHA-2561179475F1E9D1A39D76EA99407F2762FFA15CBDEEE264C782A2E234B5D7A77FE
SSDEEP6144:qBGLi7bztwlZk9BRJucY/zKDVL6h/CPSjzYSObD9vuHlVth8BEumApAqrMJ:NqlwlZkzP9D6qPXSq9vkleBEuEqrQ
TLSHT12BF42A0BFD5A4C3DC9B68631857742B1BBB1B8A41661BF3729C4A6302E3399C5B9D3C0
Key Value
FileName./usr/bin/coqc
FileSize19677160
MD5FD1986FDC65FE564D015595F66EB3BDB
SHA-128DBF97AD4BA47795031A3CA8F6CC3AC8B5ACD04
SHA-256A3569FDEDCC80CD0706ED880C2E1231C4E1965CA8CB067F37FC5E916317DC130
SSDEEP196608:ONr9B7WESo+tBGJraU2mWun+Tv+wUhR6S6sJMcR3Khti:OFYUpjwnpop3Khti
TLSHT13617395BBDD998BDC6BBC239C5660676BB70B4241A50BF2328D063251F139EA1B7D3C0
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1404
MD5892DDF7E8BCCA7593C3CA15CD76CA755
SHA-12E2FB1614090A647FDE0008BA6F91567A1350F91
SHA-256846306461130257933B91B33D09E8FB6EB34231BA15597E2E5603D50FB008820
SSDEEP24:XWnUYWuzaDo8qx1jzajwBVOfLvNrgNHwizCXdSza8miwozTqVpbtQ:XWUYPMo8qx1jzajCODvNrgNHw/dSORi5
TLSHT1B221E6C5933CC0F1A4534A7857A3CA3985B2DBEA2489C37903FBF6B28841C1E13B3856
Key Value
FileName./usr/bin/coq-makefile-make-one-time-file
FileSize697
MD50E3866029534F261350AB8D8CF6102FE
SHA-1300BF5FB8E9776E0491F580648C06BDB58D2A312
SHA-25686B6917762ED3B0D67A972BFBC390D5FA28D73DABE2520B9B6B4ECBB2D4D6744
SSDEEP12:H5X3hkrTPO2UF2aHYWuS0wyjF1FYtIaAZk1+y77MCLkafZRZajC2XZRZmpHYpdu:Z3eGua4rZw+1FYtR77bLkasjPUpHYpdu
TLSHT1F601DD5A852CD81007F35A7A1C2E70609422326B0B0A5D71288CE5E1FF39EF8F11BF39





metalookup is a service from miwakeru.com