Result for F482ECA74881861E457F09F6C3C0B9891A45C9BE

Search result
Graph view
Children (1107)

Query result

Key Value
MD5047E053618F122DD25F287F061E1540E
PackageArchppc64
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-1F482ECA74881861E457F09F6C3C0B9891A45C9BE
SHA-256DF92C4445AAFBA5B0FD36E1272FCB4A309ECACBF3F26854B9310EBC0EC104DB3
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/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/lib64/ghc-7.0.4/Agda-2.3.0.1/Agda/Syntax/Abstract.p_hi
FileSize152678
MD5A570F367DB1DCB5210535FFCF1C0FF6F
SHA-10074C141BAF2821AEFBFA8EF50B4A697965DEAB0
SHA-2566C4B107968831949BEE34AEA14BF3ACA305FF4554E4B275869F304CFC6619CCC
SSDEEP3072:Bzc3xc1E1NXPo4JS/c111OcwI8/AKB6mnp:mz0
TLSHT193E3DD23DF646912EAE4467720F20714B352E1929225EEA7368F3432BDD71CB2D276CD
Key Value
FileName./usr/lib64/ghc-7.0.4/Agda-2.3.0.1/Agda/Syntax/Parser/LookAhead.hi
FileSize14263
MD59A36DC81E8AE610A5F7A342684E13B8E
SHA-1009422D37DDDC7A98745F1A121B8E56524F77B82
SHA-256485EB7B84AAA376F105D2C32890166B66DAAF73D15769514F17FBE502E3688A5
SSDEEP192:ThozhdN/QBac9tIXPmALn/hLczvubYkYmckDSacOBc5oOgxOXrtJJ7cqFciD+f6a:TWzhdEtI/m8n/OzWnYEDNZff6/TRg
TLSHT199528B0FCF645A2ADCE4097544D313216B38E621DA62C7CB764D603E5D9B8DE8F237A8
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/lib64/ghc-7.0.4/Agda-2.3.0.1/Agda/TypeChecking/Rules/LHS/Instantiate.p_hi
FileSize9608
MD5F1A80DC22A7065596B400C7C5D3DD523
SHA-101D4EC4157BF0679488A13C8EC114EC76FE3129A
SHA-25666355527CA8FFD9B572070F35F91A14934A9706425D7AF9E80C01A200053963C
SSDEEP192:TQQ06IXVw0w8lHjbC7oMc4WOTF9Z5+qytXrtTjJWwU72Gi/PQ51Flzu6u4+f6EsA:TQQ06Lpwjb94XFwf6EsOoK
TLSHT1ED1240E5560C09B5FA750E371CFE8B1017A02A12C686DBDF65DAD1B3284DC5E1CA7B31
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/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





metalookup is a service from miwakeru.com