Result for 7DDFB1E2A16980B7C6F67C4F9FB76C3397481450

Search result
Graph view
Children (4313)

Query result

Key Value
MD5C8475056B6D513AE51E758781D57A218
PackageArcharmv7hl
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-17DDFB1E2A16980B7C6F67C4F9FB76C3397481450
SHA-256DA5E344B0E07B82B25960E9430780B8529D60C7A8B672433AE134494E6B40D27
hashlookup:children-total4313
hashlookup:trust50

Network graph view

Children (Total: 4313)

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

Key Value
FileName./usr/lib/ocaml/coq/pretyping/recordops.cmx
FileSize3112
MD54CB2BE96ABD82EA6DEDA6F9D7E3F7660
SHA-1002BCC78DCDEEC4BC66C2370C00EBBA270023172
SHA-256881C2AC50882D9E27069A93B2BC815079401F75C337250B02CC99DC11C570622
SSDEEP96:zDe4Uvx27iQSFA+tq9heOIQLrBJhto636:86Itu/XBJhS06
TLSHT17F511956B2903586B623D367DD6E502B12B0155B46B348FC43CD16CF0BB025B86FBC9A
Key Value
FileName./usr/lib64/ocaml/coq/plugins/tutorial/p2/tuto2_plugin.cmxa
FileSize7488
MD58D1DC2048F75839395E6493E5EE1E929
SHA-1006B335780141B27D06067A9E18D80385989CFF5
SHA-256C6772B659EE9F66C0A2872D9D82790D4937C346FB35463E98F62ACBC3CE15CCF
SSDEEP96:kgxh0vdUvx2cWEpODNTRQLt5dDrzzrb9CIhetldUvx24vCQSFbPm+bAhePeUrzDZ:PfZp5pzrbRFHv+P5biGxbBdzYSd
TLSHT101F13944B295369730B2D3279D8E80A7C174628B9A73D0FC42FA02C918A5DBBD5D7CDD
Key Value
FileName./usr/lib64/ocaml/coq/plugins/rtauto/rtauto_plugin__Refl_tauto.cmi
FileSize3709
MD58431F33F98D2CA8C04C6B29AC1FBB5A2
SHA-1006EECF8A60F0C9BB98C59E394D9FD20FD5F8F35
SHA-2564AECEEC49F54D404B97946F1F229408B6281C39B770F331033F01BBFE043D564
SSDEEP96:IJlMDy6hveyUvx2iiQSF1f5xhe7bLrB5d:IJGDy6sDGxvoXB5d
TLSHT15571D75A73647581FDB1629B5AAD002B0230526A86F65C7B42D84BC8099412E93EF5DB
Key Value
FileName./usr/lib/ocaml/coq/stm/proofBlockDelimiter.cmti
FileSize19439
MD5451B0945B69CDA0DA1F76B6F253D2A8E
SHA-100781DEC4B9E2160DEE74044D0323DE849CFBEBD
SHA-256F96C910D7DA58C25F37C95025D232435A0B6ADAE5FAD2046B589DA7C1D331D02
SSDEEP384:WuTbt5btyfdqtm1hihtqCEDEBaAQiWnzLZ5g3:WunsfdqtuQtADEBaAJWzvg3
TLSHT1FC925BADF2985DB1F992622B5D4D40E352B0242B85FBCCBCE0CD32C5926E80E939655F
Key Value
FileName./usr/lib64/ocaml/coq/pretyping/typeclasses.ml
FileSize10542
MD5B493355F63B674A8195D2EFB55D398F6
SHA-10083B74F4FCA3E68AB078808441334818AFFFDCD
SHA-256030311AFAB6C337F9C36E88E6464473C4BC23EC8ED135E9A9F247FD0EECEAC77
SSDEEP192:2CzNLbnsd8fplSrNMjt3qupaNjE5zR8tKzJZaK61qaKl1C4JAjo27Z3q+ysoW9tT:2CzNLbnsYt3q2adE5zR8gzJZaVoaK44i
TLSHT1E822760647A40C369AD74859868BA0D37A42C35FE642299C78BC752D2B4F22BC1F779F
Key Value
FileNamesnap-hashlookup-import/coq-platform/2022-01-0/lib/coq-core/lib/cErrors.mli
FileSize3136
MD50906289DC77AD0C516457C5295EF785E
SHA-1008ED452847DE921D76272B78831B49385AB8CEC
SHA-256713A04D7571A55D99A2FEB838F6A3D0583FF47797DB75F3D3B8E6B77505905A0
SHA-512205B735DDB72A78E412A67B6FD09FF5A76008D6AD985743CA73256B122CDF7E86C0BD9381EF9D56CF377B28EE0785067660D71DBB41C9225AD28F687A34396AD
SSDEEP96:eDCzPFAGHuQsdlOW3icDyZSAjZUw+WJQ5aKCOFbGH2xiuVHgm:2CzNrHtsscD8SAVUGQ6RMAm
TLSHT1ED51532741840F3745FB5405A85B44C55A3ACA6E32B5B288F1DEB3B4270E879D2BB791
insert-timestamp1650070157.8143806
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
Key Value
FileName./usr/lib/ocaml/coq/vernac/declareInd.cmt
FileSize87772
MD5EAFF0E05813B686C4323A66AC9928D05
SHA-1009B762632EF0D8248F58015CA95A44721A4E9EB
SHA-2562FC1FD7A529FF2C78357DDF956420139A333A238B1FA232FE3FA480FAD07AA58
SSDEEP1536:6j/cqn9dI0IGU8ZR87nbom5MGGSQhbTh0FIoqiVdzjR:6jxI0nQImWjpLo5Vhd
TLSHT1BF83E66ED2236F25FE543DFE4AA803973A62483D49E2DCBFD54A16C5406606C0312DFB
Key Value
FileName./usr/lib64/ocaml/coq/pretyping/coercionops.mli
FileSize4197
MD5616D4874482001D7C8711C4530FD781A
SHA-1009C897C98A85D188B22F17285870671580A009B
SHA-2569FC9775B3A58B5C0C35AED15AB0997E724374E48246402DE6A51AD30793986B5
SSDEEP96:eDCzPFAPhoLkTo57cPqVupiRHGRpIZZ/Qx7x0ufUna0xsIxN836on8W2hvQ8/ef:2CzNR957cPqKCHGpIZilnfirTM58WWIZ
TLSHT1DA8131D124E4FF33C0B9511416C708E5D373CCB87A360C5872BE76685F9C961A3AA667
Key Value
FileName./usr/lib/ocaml/coq/theories/Init/Logic.vo
FileSize106689
MD549F70E7DA562E9776C355814C4A6F802
SHA-1009E94B743AC0AB1A8631713A6EED7859BC5C033
SHA-256A0B4A662407850E86A79CE540207508DF37ABBB7AF7EF489B7AD50EA215DA3D8
SSDEEP3072:Xa8y/HoMdePUx58GGi4HdDEvwK8ajRH5D:fsHoMQGHqDEY6jLD
TLSHT1EEA3E7A9A7296C74C4D61DB8DB57A30573E02ACF72B3E366410CA35448E43EBD15B38E
Key Value
FileName./usr/lib64/ocaml/coq/engine/nameops.cmi
FileSize6686
MD5BF9A92BAAFCACC75758334CD0498DA54
SHA-100A3FA52A7C7665D15C05E4474FF0AB8144846A5
SHA-2565E676F9B1AA5CC7FD21F55E2356A7B8DD183E1DB76A356E1686DBA3572746988
SSDEEP96:Bfv1vMADpFSZZz7p/d9kYm9S6x8HteyRHCQZIg10MUvx2cW/CLtck:lyr1/o/9SNH0yJjAfrpck
TLSHT1BCD1F99CAB31AB49DCA836AD6FEC42AB1B108B3DC5F18CBBC5841BC9255501D13BB0D7





metalookup is a service from miwakeru.com