Result for 85946C31F8467BB4679DBA86F4F119F3792A74AD

Search result
Graph view
Children (1107)

Query result

Key Value
MD5DF81965D04F6645EB10049093D3C66AF
PackageArchs390x
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
PackageRelease10.fc19
PackageVersion2.3.0.1
SHA-185946C31F8467BB4679DBA86F4F119F3792A74AD
SHA-256F8E9A112A126B4F50F3C5BC3FA79356CCF41511862D6C125FD818C2E6A38C9DF
hashlookup:children-total1107
hashlookup:trust50

Network graph view

Children (Total: 1107)

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

Key Value
FileName./usr/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Compiler/Epic/AuxAST.hi
FileSize34234
MD5EF140CA74DA2DD95A4DE3CA677A4315E
SHA-100117F57F0C3BC885AC6294B61BBDE2A07B3C0CC
SHA-25660A8A0C2B68432FF65AB51C41131788CBF154B893C1798831B229E5B2AA89741
SSDEEP768:TXXREiRiViBiHikDRfxFvsn7QJQWl5i4CARIZUB:TXXwDRfeAF
TLSHT1B3F252099B56EC16DD3D6936E0E78B027F22D94226039B1BA20CB1317D335953DBB28F
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-UniversePolymorphism.html
FileSize973
MD5ECBBBE98C9C9EFA9542C40468FE78B67
SHA-10042301AC1C2E7E0CD3F0C087702B8E80C154F4F
SHA-2564FCAA1B1C2B199667E3C48DD19317EAAABAC15B0AE24B15F223B47721BBE73BE
SSDEEP24:hMNmVpks8zQQ1wnkR+VMiT3zQaBTT9BTy8a:Im3GLeTj5B9Bi
TLSHT1DB112526BD65684382339FC5F1F9E30520D6824BC2C10D8CB5D094D7D6CDEDE8546148
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/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Rules/Term.hi
FileSize48787
MD59BC15EBCF9DBF41F9212DCB43104C2AE
SHA-1015F9DA91AF121B10AB17B867CABB150E54DE6E2
SHA-256737B0A4B0DACEAFD14829DE4DDFDA27FAAEC5011C064320A55CF5835A3D90804
SSDEEP768:T24ofbukFjrrg7XB6uXvdfpCzKyzAoNUKfwx7TCbUPqz24dRRasqlwDbO0hpr:TabueIP/3GzAoNUKfwxv0hpr
TLSHT1D023D9D42B045BB3ED240B7AC8EB5F403360B5127F42DAFF51D822971C4B9DA1E63A69
Key Value
FileName./usr/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Compiler/Epic/Compiler.p_hi
FileSize15905
MD54E3AA3404047FF585D6D2A8821543AA2
SHA-101B21096F8734F87156D0AACE31C098D2BB74E62
SHA-2562F190611145ACB7988FEACB0EB5DD882BAB81818EA5EEC665F9789B84DD20F6B
SSDEEP192:TBV4L69Mza1nY61jUxoTDZLg8UMFWUZ/1djYdqe+fOtUXrtTjJWwU72Gi/PQ51Fg:TYzf6SOxDUJU4Etf6/4noXQ9LLbw6Z
TLSHT13E626EA86B080970FA600E7A6DFCCB015B90AB229543DBEF15E5D1E3264DC9E0DA7635
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-TypeChecking-Pretty.html
FileSize53105
MD5043E9A88864C024AF7BEFDAE03B297A6
SHA-101B77BE76A5F3277A0549E3A0AA3ACD540E8EE43
SHA-2567AE95B21D422859AFEC826B355234C6C0461796C180365BC024CE88AA2E33486
SSDEEP384:mhCyRsUHL7awT+t8uglDLS55yu0mvBt1KUGRi034bfeQFLQKnD5QL0gj7SEeFz:eMklni
TLSHT17033E2E0C6F38A222173D0D365DE3FE3F4E014EDD9861568A6EF93A657FAC50B806911
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-TypeChecking-Coverage.html
FileSize102851
MD56F2E47DC104848F6EBBAE1D72FDBA97A
SHA-1020F6681D95687989A0A5A2ACF6BCABF91197EF6
SHA-256DFD6BFEFD898E136559085F0BEFB7701B0C0B4B8A9F8E53C9A61FFD8F1DF17FC
SSDEEP384:mf6mMpK343ZaQsDf+b/p6QzC6/957DrZ1G/4HLHrvFXWbMugVctJWEnRO7pEUnpD:IN/or905nMu+RAJaKniOni87pkiaB
TLSHT1B8A3CFE0C6F38A262173D0E365DE2FE3B5A014EDD9861528A6EF83B657FDD50B813910
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/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Monad/Env.p_hi
FileSize10199
MD557BBEF773666D15E39B1C4B8C385EC45
SHA-10291BC879F4AE781E6BFCFFC615C0DDC61CEA202
SHA-2562645722FD25975619D277D54B69F67BE9DD84507A5529451211C0B0E8311F7F3
SSDEEP192:ThbUnWBRtVrQMWg/bHELhGTt9pikcaSrqesP9+qNXrtTjWwU7N/PQ51Fc2L+f6Qj:TKORtVrQMr/bkLhGTHpZcaahNf6AzW1K
TLSHT1B92243EA4F44CE65EA51087ACEB75F502B30BA66B8C0D7BB52DCD1839C8B4DC1C52869
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