Result for AABF685B352EA808228B22204517063E8BDE83F2

Search result
Graph view
Children (1314)

Query result

Key Value
MD55257A46DF4C4BEEBE1F91374DB9137EA
PackageArchi686
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-1AABF685B352EA808228B22204517063E8BDE83F2
SHA-25666991D9968BA623BB538328E5C29B53E8D089C9BB8C3C18DDCEF352127064738
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/lib/ghc-7.0.4/Agda-2.3.0.1/Agda/TypeChecking/Records.p_hi
FileSize26048
MD5714EBA73500028524FBF990C8D47A58C
SHA-100B2CB5D921E4E057BB75C62C3BF08BDB000B18F
SHA-256005AFFDBD739D904C2336BED16B2DDF2558FA89C5A08792D25905B8ACBFE84D8
SSDEEP384:ZMqD1Pfj0jcyNDLuQ9Yzgrm1yKrixchHfaQnsBDgXGS2f6pTLJSTvKh6lv1s:ZZPr09Yzhyyga2fw5
TLSHT17DC2835D5F5C1D2BECC40D330EBB87142750A615D216E7DB3A4E76B24C8B8CE0EA7668
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/lib/ghc-7.0.4/Agda-2.3.0.1/Agda/Compiler/JS/Compiler.p_hi
FileSize45792
MD528B1C0B3D1CDD4D5F410D189D5D0C19F
SHA-100E7C323C9130ED0B0586633DE999F1D7BBC7721
SHA-256194EC96DD9E1755E562F935117F8304BF4784E993B78B897D173B9CE4C1F6C88
SSDEEP768:Z5n9GZNIhXKdgAgCzNL9EKNuz3HPxN+UQNT9FUNq5UNo450opSPHlqgAqNs7NlKG:ZVQGrcuZDfmY
TLSHT15623EB5DAF0C6923DCD50B3609BB4B103760E611D24ACB9B328EE2722D8B5CD5E677D8
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/lib/ghc-7.0.4/Agda-2.3.0.1/Agda/Utils/List.dyn_hi
FileSize23356
MD5D58B852E988D65B01ED1355969648395
SHA-101A688CD7B12137A1B22716E0F2C67DE9D9CC4C7
SHA-2568C6D08FE1003E608C997C4F75C72EC8F614831717F30E9787454F94BE0CF1B3A
SSDEEP384:Z6yQ8eXi+fvPuasQ0pri3NsDBd4+nP0BfrxjFx2BZXNgK6BAghDKvOTOYmrXzo8K:Z6yQ8+i5di3ydPKfrxjFx2BZXCK6BAgh
TLSHT13EA23089EFA27A39DCF4053784B607313724E592D266CBA3369E20391C4B6EC1F5B65C
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