Result for 85DEE0C08B906F3723DABBC90342BFE292F201C4

Search result
Graph view
Children (1314)

Query result

Key Value
MD52FF65416ACA9C96F52961E40A7F726A2
PackageArchx86_64
PackageDescriptionAgda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. This package contains the development files.
PackageMaintainerFedora Project
PackageNameghc-Agda-devel
PackageRelease9.el6
PackageVersion2.3.0.1
SHA-185DEE0C08B906F3723DABBC90342BFE292F201C4
SHA-256A34FDA2897890918457F0B5E724ABDE641D9550EDAF5E591A57E53D51A62648D
hashlookup:children-total1314
hashlookup:trust50

Network graph view

Children (Total: 1314)

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

Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-Compiler-JS-Pretty.html
FileSize39389
MD543F5605FC306168A0D00725EC49A8D00
SHA-100728B98FFB600ACEF7965245D18F304E53B736A
SHA-25693947E8A91D7CF57AE86A4EB87AC63881ADD9342B386B6EDB7955ED9BADFFBE1
SSDEEP384:mm9AQvW3U54fLjJOKErG+hRxxtV9Cu4oSbB3dRgek0l:jHhRTtV9Cu4oSbB3dj
TLSHT18C03ABD4C2F38A672433D0D264EE6FE3B4F018EDD986196896EF83A55BFDC14B816811
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/Agda-Compiler-Epic-Interface.html
FileSize18843
MD529CB3AE271B045E869454EE84A3573BB
SHA-100D7CD7F59CB6DE4A323E0CD158FCE6B412F9C25
SHA-2567E2E142652E2C11F3ABF28D5A3FB00E9198C19E1351C8732A99697665BF46F0A
SSDEEP384:GcTGTJMRKqlH5EdwFvMUTkKRT3R+YiQ1KXExTB2DUW+T6TaqOTaTJtFwlvE:XyiRblH5OwFEUvRAzQ1MEx0DUW++7Ouf
TLSHT1E282F0A523EAF677A37369C9A5C03AAFB5C398F4C101480835B81D57CBC9FE92017667
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/mini_Agda-Compiler-MAlonzo-Compiler.html
FileSize4073
MD5090AB534DCED454C756CFCB18A1A757E
SHA-100FAC1882AEE9378E5D1A0B51B986FD1A9D04F27
SHA-2567A7F01A06D76798F09945BAF768EA94137F6D1AE3DED99E444C1109BFA1BE59C
SSDEEP96:lT9kMqixKkoS8Ql8w7rM6Ic1NC04YUMkywV:lT9kMqixKkoS8U8w7rM6I+U04YUMkywV
TLSHT1AB81983B539E78A342531FECE3F5D39B25D3E6D8CD020948BAA509C2FF84E92452B165
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-Monad-Closure.html
FileSize801
MD5BDA96C654761E1F052107C168B2D588A
SHA-101281486522DEB7BFA637FFBBCCC6E5DA464C94C
SHA-256D3B50A7542994980B101DE4B9E46BFCB9539623F13D3E38E43CE9EB04B925868
SSDEEP12:hnMEwuiuX4wRpk6QclfZFkDRQZgD0IcsJmIO4qJmTR+VPEirTokDRF1BSBzIQSAa:hMNmVpks8Rt1wnkR+VMiT3RfB4Aua
TLSHT1F301C2566825A59691736FD0F0F5F70445868346C38148CCB5D852D795CEE8EC403399
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/mini_Agda-Compiler-Epic-Forcing.html
FileSize1928
MD51466ED0DEC76AF40E8C1D51AA56318D9
SHA-101DEBA75A6463C75937DF328D1F7022312884902
SHA-2560AE87F51ED3CEEA70154465C8930DF0BF0122A6BE09EF89A77C5919C3D4DFEE5
SSDEEP48:Im3weTNBbm2EBbm2qBbm2jBbm2gBbm29KBbm2gBbm2sBbm2gBbm23mBbm2ZV:xTNOEpSaSeCYrV
TLSHT10C412D3B6BAE6C5351135DC9B3F5A75E20A3C1E9C8028D48FEA449C2CF89F9B45131B9
Key Value
FileName./usr/lib64/ghc-7.0.4/Agda-2.3.0.1/Agda/TypeChecking/Datatypes.p_hi
FileSize13426
MD5C053B8D9557DBC2B4D8D0F657CF7D847
SHA-1023EA17E570D95561436DAECE297CAD9E693D6CA
SHA-2564CC9DB9AA09B8469C7AD5DE336292451873372303202EFC8C838188674F5DEC5
SSDEEP192:TJoI3XyfyNU1TsTzMkWd0BjMGPvTzuPPA1+qytXrtTjWwU72q/PQ51FlUu4+f69m:TVyNTizMkWKBjDPvTziAYf6a9d86lF
TLSHT14C52315D5E48897AEDE80A3A4CFE4B102B60A610D201DBD731CDD5A3298FCDD7C2B7A4
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-Syntax-Parser.html
FileSize22597
MD5B2FF53F857A7D48E65CA40D3319AEEF7
SHA-1024DE319A598FE7A6192CC86CCDCFCFC71ABC57F
SHA-256A7837811F3B3046B5B09FC8D321E88FC9ABEF365F8927E159CB1EF990F5A23BF
SSDEEP384:mETG0JqMpSGRlJS0+wmM7zOY55AJHi9969tSQnrc9j9rk:dZ8IQnrkprk
TLSHT18EA2E7D0C6F385262173D0E369DE7BE2F4B054EDD9861528A6EF83A66BEDD10B807C11
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/Agda-Interaction-CommandLine-CommandLine.html
FileSize20736
MD5D226EC99DD93D82F58166ADEA584F790
SHA-10257678203A5D78CBB195530B783AB4706CF8F83
SHA-2569D455486DB74F32DEEBE4A0DB801F1C196D15BA0EDAD73D1D464B07A34EF3496
SSDEEP384:TcTmMRf/ljTNnA2gYcGCoVYXwtW5htrUJJ6JOY3qTjE:4NRXljxnA8cGCoVYXwtW5htrUJJ4OY3H
TLSHT1ED9211A1A3E5727AE2318EC469C0B71D32832CE69140CD6AB1EC5D1BDF8DB985477363
Key Value
FileName./usr/lib64/ghc-7.0.4/Agda-2.3.0.1/Agda/Interaction/MakeCase.p_hi
FileSize19459
MD5DDB273C41C524D2CD8033BC42CEB3038
SHA-1025DC53A61F8DC43D98F54F85611E248EC8FC73B
SHA-256829EFF8DB7F81D44663E2107254C83A19B1DA3184095CACA78D5D34815630FB0
SSDEEP384:T7/VFaHajQkounZuiNzNUbTwpAU2f6UJv8e6lgpo4:TIgQoL2fYn4
TLSHT155926499AF0CA962FAD00E335CFE8B1527505A11D186DBDF21CDD1B3598EC8D1CAB2B4
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-Rules-LHS-Implicit.html
FileSize993
MD5384E6097DFC1B046CCB8895D45E23F81
SHA-102C46E523481081708850068D395832BD7CF73BC
SHA-2566593A9E2D85269C3ACB7C08EB622AE6F81F14A07C6D6C7D4631D6BCFEDD1486E
SSDEEP24:hMNmVpks80Qyh1wnkR+VMiT30QyaeB/ryB/5N7oa:Im3BQseTEQ+B/ryB//Z
TLSHT16D1128156D14AED142221EE4F1F5E70808E3C3CED682494C63D841DBD6CDF99D907386





metalookup is a service from miwakeru.com