Result for 754BB2D207644A949A4265645405C6C4BF7E9211

Search result
Graph view
Children (216)

Query result

Key Value
FileSize13034196
MD57F9831011453F89FA2EE92AE8216C4AF
PackageDescriptiondependently typed functional programming language - development libraries Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised 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 normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.0.1-1build2
SHA-1754BB2D207644A949A4265645405C6C4BF7E9211
SHA-25699763CB396A7BF99FF3D9DBF82FC51A7D7E50F5F8C968CA201840DE4B949098A
hashlookup:children-total216
hashlookup:trust50

Network graph view

Children (Total: 216)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Datatypes.hi
FileSize11016
MD58E74977BAE3A6D728170629EF72CE30C
SHA-1004F1AB13BCC3BF660059767038865A993096D69
SHA-256E0FDD4604564034D7A135F232F980C1EDE5BFA2C7A8AB99D90548240760A13E9
SSDEEP192:TcCJa9qptQz8+rn7q/YfdTnltl/mPPA1+qytXrtTjWwU72q/PQ51FlKDq+f6Edok:T7K/rGwdTnltl/KApf6WoIb6o
TLSHT1963243E86E085975FA680C36CCFF8F045750AA11EA82E7FF51D8D1E3294E88D5CA3935
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/List.hi
FileSize23940
MD5FCC62CDDEE54835D4E2E070920D1E033
SHA-100B0E3CC9A7D63295D0EE862701C1A56656C6D75
SHA-256F0E3A1B917C2372221B0DB0E765EEF4BE4172399C612700B60FCFD86262854EC
SSDEEP384:TuRGYloYup55rbNBlyVkFTMRKic7fu6x2BZX2kMhDKvOTjrhXV9xOZQ:TuRIvlbF93fu6x2BZX2kMhDKvOTHhXvJ
TLSHT123B2659A8A04EA66F976003A44A30B5077F0FE716E01DB77715C66236DE38F81DB690F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Constraints.hi
FileSize34155
MD5BDC9EDFC807F589D11C70EA99A84F680
SHA-101B47084262EE14C0B4AF7A99953EF59F4E9CE68
SHA-256EB4874E96659B2C3B8061841119AB3A6E5734E7D5E90F22E3BC487EE3D192028
SSDEEP384:Tf8NOGfpl2fObhUNggGfZl7PdiMg7IGgA1iI95R1Pbda2lG/8XBonyPGivZvIVrw:Tf8NVRgfjCn8XQfyQINWincx2
TLSHT1C0E2658B5B05DA32DA2054378CFB4F0413606E512AC6E6FF61DD52A3A5D35DE0D328ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Tuple.hi
FileSize1675
MD5E195D862D8186DB66EAC134D21443BF2
SHA-1056EE8963FCF4EAFFC765416C63E46F11D8E43AE
SHA-2569B1F88E6E86265C87575D0857974E4B30F880B7F3AE85237E54AD0A24D1D43CE
SSDEEP24:TKnN6nyECNlYdW59Z+/7UGUgdbBoPfbaydIHzlrdJJy6t230O76Q:TKniyVl4q3YdbBoPfbb4R7JtG5L
TLSHT11131668E8F419717CD790AB5C8E94B841729F68B15B2CB8B10C5B231BC436A89E30C38
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/QuickCheck.hi
FileSize7388
MD59BD4736E19CC63B25ADB97E8DD7A1D96
SHA-10741114461E39AE014F5B393554397774CC0638F
SHA-256A8889C2BA014B5463E1FE7A46718D7DCA9673990EBBA7DF4D684C6EFE2723C13
SSDEEP192:T21zc/IuHvZb74r+fy49ftr8d4OTkxrp9YBkfeVOUwT0b2p:T5/IuHvZ5f5NpEwT0e
TLSHT1DEE186D54B045E3BE9A40B70C4E98D4B3B31E7716B13E6672AD094111D0AFAA3D2363D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Record.hi
FileSize13482
MD5EEE8C0B7C06597A6E8F01262B96B1BD4
SHA-107676CC800D707053057240D8341B7C11DAC53A2
SHA-256D637F22869BE4EAC167B6D1CC9EFEFBC0BFFB29F584DE09FA7C33B5742D6751B
SSDEEP192:TPGbLRAUuCYO1/oBbDkyBAnVCrV/BTzKSAHhOkj91+YdqROtXrtTjJWwU72Gi/Pz:TPG+U2BblAnVCldvAHhj2f6SvkOFQ
TLSHT1B05293A5574C15B5FB650D3B1CFD8F015BA02A328683CBEF25DAC1B3198CC9E1C66631
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/AuxAST.hi
FileSize25413
MD5BC095848E99E3A9931E5469E64485623
SHA-107CD56BBA405E80DB2FB5906ACFDA2ACD45B86E3
SHA-2565B4092E33290117C4007ED25DCE33408A9FE58778BD882F54EE6B5E5D6A9FE29
SSDEEP768:TfogvD8my7FSmNZ5dOXO12UKO6RvOGZxMSgKcQYhq38ZI5aGjc5V+WqH8yeyfnfn:TQcD857FSmNZ5dOXO12UKO6NOCqKcQ4k
TLSHT1E3B22F6FBBA89C23DD690376D0AB4740B732E6523B03DB17515D712A3D238F86C6318A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Info.hi
FileSize95211
MD5C8AB1576FB75DBE23E9917E832288397
SHA-108EA7C510C6781D1520C997E47972C217EAD550D
SHA-256E552BD5CB98E87F5CA02B961E9581093BB27BC921480E1A609AEFDC3B7297849
SSDEEP1536:TqP/Re0eX7th6a992sX0YiZSiafZbog1rep/kf2mCIb6JmefbBsxxcmAMSl0f2:udJn
TLSHT197931D57BF85DA02EC2D0A70C4FB17007F57E9C65E0BE39BA58C72503D932E1AC26999
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/RecordPatterns.hi
FileSize29651
MD5B3EC55CB5193FF2C67107172668E4765
SHA-1094DA5929AE2C2FDB7BB290D23E98C2D00C2D722
SHA-25658B2EA5CCF2003C035C0329C4798F7B1961B941C14C55B0B93DA3EA647A0E595
SSDEEP384:TaHxomh+DG+6SeACUetGQ3CaABf6LOq5sqxMblUE7ZlU:T4imNACUeGBfAOq+qxMbK
TLSHT1C9D2EFEE5E0C1607F6700039A5A7DF9127907F32BF62D5BFB19816933E868984D73826
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Eliminators.hi
FileSize7647
MD5B953E5A25A112D3CFCE183FD81A5F15E
SHA-10A1D55372830982AFBDAC07F7FE50F3616247E72
SHA-25621EBDD7F2C9E3D990035B189FEB6900005850341B8A9FFC6566C992F9BB9F20F
SSDEEP192:TtRheC7HuS3P2A5+qytXrtTjWwU72q/PQ51FlKDq+f6HWf:T5FLoAtf62f
TLSHT19BF155B51A0C1975FAA50D3B9CFE8B006BA0A612D683DBDF11D9E1E31C4DC5F4CA2A35





metalookup is a service from miwakeru.com