Result for E53510882EE52B2FD0701760B04DD766A8E5F40C

Search result
Graph view
Children (1107)

Query result

Key Value
MD5584B3D527B66EFB62F1A995EC4BE24FC
PackageArcharmv7hl
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-1E53510882EE52B2FD0701760B04DD766A8E5F40C
SHA-25641B425B97C7331A5E16D67F2FA54746FAC98734A95C2BBB273188D42E74E3CAB
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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Polarity.hi
FileSize23945
MD5B0E95C88CFAD9313A1B67E759F237059
SHA-1001B6F3C1808D5CB841F1C881E4B9E1A9B06FD52
SHA-2563DCFE8631FB174F98E6D5097A8F2EFBAF0359AFDFF92A8AF35FAF4AF6659636D
SSDEEP384:Z44wqtQjRZabjqAthe1CJ5aobGKLNLcJG8n1k5VS+N/6iyGVvU9gSaof6MGx5fHz:Z426jRZavqAtheUJcQLIX+RhyGxUyofK
TLSHT11FB283D6AB048A26EE650A37CCDB4F00171095827797EFBF8398D2936D0F49DAC2B5D4
Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Empty.hi
FileSize9901
MD52822FD6BE12CCA67187461BD0FC1EE2D
SHA-1001E3DDCB9F878BCDFE180A103CE48416D1B7375
SHA-25646B9426F9308726C0616F4EC6649564DDEA38F80F48AC1ACF78FDA6920C01750
SSDEEP192:ZvupBiWf3gxLOzY91Q+qROtXrtTjJWwU72Gi/PQ51Flzu62L+f6Iy6Hi:ZWpBiWeUYwf6Iy6C
TLSHT13312FEA8260805A5FB710D3BACFE8F011BA06A139687DBEF66D5D1F3254DC5E0CA3634
Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Syntax/Parser/Parser.p_hi
FileSize23840
MD5E05C3749E264EC8BBC1BBCA39C0D04D7
SHA-1003B912D2F14BE9A12FEF41578A323E673A8BF32
SHA-256215B74F606E9F185D3856DFE0AB9808A269D9299E7E8589D47963DCEC7D56F30
SSDEEP384:ZTQf1AtWZdhBayX539pFzVWeUnKu1UDhsgf6OMm7/zq/ZXft5X+YQdc1/N:ZTQDZEgtXzVWlMlfLMGq/vkcRN
TLSHT190B2B4AA1F09AD70E476297BC8A317122731F2217B49EB2B658C01534CD286E7F675CF
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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Coverage.p_hi
FileSize25363
MD56108AD060B6E25A23E2D7C72A4F416DE
SHA-10191126178E3FFCE3782B39B47C1C14F0814A39B
SHA-2568E11CDDC42918D86358F1ECECCF07CC8E0396A6411F701108622D4712DC45516
SSDEEP384:ZiTNhJ9thxGIoz6QrSugTGRKxi3onYwf6d02sM5bwhnz5ugsm6m:ZiTTDxGIozOG31wfswl4gl
TLSHT1C4B276926B088865FE650E36DCEF87042790EA129747CBEF70D981A35E8F8CD1C631A5
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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Syntax/Internal/Pattern.p_hi
FileSize7321
MD51FCC108587258349498A72E7B771C400
SHA-101F20B26FEADDC8BF3D7A964460598EE93D2DE24
SHA-2560437230230D02D13A9434E5F8A7DA892780A45AFA6459B99F1CFEF34C76798FE
SSDEEP192:Zgxh3r9wof0Pf1vYFpJyTh8A4+vuSFqw1HOsJmbykgeCqNUtJWwU7N/Qqz2L+f6s:Zglr9x8ZYFpUTyA4+WSFqwN8f66zU738
TLSHT1D8E142AA8FD0DC61FD39097FC8C3174A6B31E963AA49CB9F67C891526E430CC2C5195E
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





metalookup is a service from miwakeru.com