Result for A7B1F771821D0FFD91F07B29854B1553ECFCA0E5

Search result
Graph view
Children (216)

Query result

Key Value
FileSize18716716
MD5FD3FB1B2B02FE189864DB4AF440A25B8
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-1A7B1F771821D0FFD91F07B29854B1553ECFCA0E5
SHA-256B5959C5B73495D3B58101A1E64EB49BAB5201142E04B76E628ED38046DDCB29F
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/Compiler/JS/Case.hi
FileSize15297
MD57743F0FD1F1ADFBB144AED3365BF67FA
SHA-10244BA9A5A3DD0886EBFB0AAB1E548B4A13E86D3
SHA-25667F27EC5E1133924C156A4B72B5126D6EBA770CB30C9B8FF7F6E5BF286A751B0
SSDEEP384:ZPzSyyH3kwA+SfM9dh5Hei1hnSPYhNDEJzf6TXVwPVzitFG:ZPmXP4f8XV0VzitFG
TLSHT10162F04A9F15C823ED3859B3C8DA17847B22EA126701DB5B72CCA0326E531D87C73C5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Irrelevance.hi
FileSize14389
MD50EF3128647E9A34CC43E391F7AEB4382
SHA-104114688521C37E40AA98341C940AFFEDAA45530
SHA-2564E971DEF54830B4F6E952F4070B534B0659777098C8630275D2BAEB7C7E1F697
SSDEEP192:ZbX86zio05kCMGXzRzLn9ZSSvZDzROQ+2SP3J+qytXrtTjWwU72q/PQ51FlKDq+p:Zb5Go0qCMSjrdSdf6RIf6wEVMVT
TLSHT1015275D98D195915FE24057BCCFF8F100B54BA4AA241FBEB82D8F1B76C4B4DE1CA2924
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/UniversePolymorphism.hi
FileSize7874
MD56F247A58872A352107E1FF606BF8B3B0
SHA-106B01DFC5BF0F0123F39A6B7200EE31FFFFD8360
SHA-256F5C6782AE54C20B539E285AB278E34418FAA9DF513CC8C0E817B00D9D1255DDE
SSDEEP192:ZENzSpavNzOgFA+qytXrtTjJWwU72Gi/PQ51FlzuEDq+f6kTp6i:ZQQavNFFyf66p6i
TLSHT1D1F1ECA5664C09B5FB710D7B5CFE8B015B906A129283DBEF21D6D2B3158DC4E0CF2A74
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Encode.hi
FileSize20312
MD54497C23BE30CE84F65AD3398B932EE1E
SHA-10B97D96F127D2211387E85422F1627946039D60D
SHA-2561FE9C442EF739B288E37E981D6D20596549973F85D349B7D2F18A3705E627996
SSDEEP384:ZVH4+a9PAsn1xIpexVxczHaUytf6IKp+/MlqOHtsGc+k:ZNXa9PALeHxIytfXKp+/MlqOHtsGI
TLSHT143928299670C6825FF74093A8CFE9B002B61A9126283D7FF55C9D2B3250FC9D2DA3479
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal.hi
FileSize199765
MD55CAE0E82100B83544BCA3A72D42A2469
SHA-10CC90196F297CDA3BEADD07279DED62BEA334D8C
SHA-256E2B95EFAB286BC06D58E41A088E6BA294F98F369ADC55A60D80F55A875910F67
SSDEEP3072:6jpEeKvReU543aWVGuKWyz6BjpGX9NOEiuzxL2fv/IOmLIhWgmpTUulTCXqFIPx5:KEczyIe9NF7xLC
TLSHT1C2141117AF1AEB0AFE640A31CCDB07013725E5D37DD5CBABA1982312BE430D26D9598D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Substitute.hi
FileSize138692
MD5D3B127E060E7DFC0BAAF641A005B3BD5
SHA-10CF78859382B06D51E41B32C3EA0449F4FE9ECCF
SHA-256BF9F532926186D382260A83BAEF751F620F2B4091E1F03C802EF74F657C82BDC
SSDEEP3072:IomMbohV614oWVTE90gsGQPZVopIgKA2Rzc4bwCXq6f13:WZcut
TLSHT18FD384076F95ED13ED340732C4EB0749F323D9D52536C36F2258A566BEA30D42E236AA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Name.hi
FileSize77002
MD54859A26705E407ED7D0FF39159F85D31
SHA-10E697C56B4C80178FC343C7927DF22337DD60941
SHA-256775CDAC00620648819F2A7523F36A38400CC433EB1955ABA8987FE4BF361C61D
SSDEEP768:ZL6QB6D5j+8lON3fhynBtUjvFVowgGoZtNul5qKdWzPv8gsDZS6+02Zbdi8+MJCX:ZsjUmQjJPl88L+36pSPDUff9
TLSHT139736342AF14EB0ADD391976E4B74746BB23E9932A02DBAFE058B1A57D130D53D230CD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause.hi
FileSize32451
MD5308166AD8041482BADE052703474CE90
SHA-10EAF50EFD6A1E954BA7CAAB7A8157EF9DC0AB315
SHA-25644B4A93040B0DF9D69A30242937014C77394AB0A6DF61B1E26C3B8E2923789AE
SSDEEP768:ZR29IvJ2DXtOesChBfCvS3hbrgFHgqfWiX:Z/vJCdRfAfX
TLSHT1E3E23057DF1AFF02FE3425BEC46687453B20D9433E86C7ABA9AD72207C630D42D62949
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser.hi
FileSize11117
MD559E56387A0EBF12D33A58E341A104D10
SHA-10EB7FE1AAB1B6562704252FBAFF419767127D153
SHA-2563ACD7397366FFA288DA322F614D4BC6453EED3D6CCBC397466D99CE811D9099A
SSDEEP192:ZezhxoytFcjS//SRxWTlrpAzFrzf1z/A9PP+qNXrtJWwU7N/PQqFSDq+f6Ipmrkf:ZKhxPqS//iIPAFrzdz+pf6WmQXhMi
TLSHT10D3275948E188A01FA74097ACCEB0B416B30B946FD42D7BFA5C8B6D32D135DE5C96C6C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Record.hi
FileSize13478
MD5141897B6E6FAC95D1996830B88CA54F0
SHA-110C475FD8DAC7252E4DCF3DC04876CFAA5C2965E
SHA-2568B5B30C7D4196AF7F589BE8F19698FA9145DED35DE788A75DEE84F6EA9D5F74A
SSDEEP192:Zjv5D/iE0SxlmFANfHbOCrR4TyR/WKycAZOkj91+YdqROtXrtTjJWwU72Gi/PQ5S:ZjxjiE0krBbOCOTyUKycAJj2f6SvkOFQ
TLSHT12852A3A5670C05B9F6650D771CFD8B115AA07A229287CBEF21D6D1B32D8CC8E1CB7A34





metalookup is a service from miwakeru.com