Result for C3B96D073EB7A33FB7862053605AE5005C1EFE5A

Search result
Graph view
Children (198)

Query result

Key Value
FileSize13880400
MD5D5EE9755CD752433D6BC43A50EF18A23
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.2.10-3build1
SHA-1C3B96D073EB7A33FB7862053605AE5005C1EFE5A
SHA-256F5011AD1480DD38FC966A37DF4652E48BAADF53F6D661B56DEF78A2BE21881D1
hashlookup:children-total198
hashlookup:trust50

Network graph view

Children (Total: 198)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Syntax/Parser/Comments.hi
FileSize9770
MD504B5819EEAD3F8E5452DC9B0923123C5
SHA-100EE7DAEFC81FA5804FBF94DD6C0182F4E29867C
SHA-2562B8023653BEC64F15F09E521B165C7B0C54FFC6637F0319937C7B1E04472EFBC
SSDEEP192:ZPlfPObNh+7zlVpR7lci2hPJBGVoHcNOeVV0VHqNXrWFU7N/Q0ciD+f6Z7TIqlh4:ZMbCXphJ2hPJAoKVW7f6Hlh4
TLSHT16F12B4A5CF745C1EECC04A7A8CFB07213BA4F79AD112D69B164CA4261C4B5DEDC86B18
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/Base.hi
FileSize437954
MD5EAD765EED35E6138AC5540BFCBC86087
SHA-101544D38B58934655EBB4C517072411D9366C2DA
SHA-256E824B13B29B15ABDED8D11A1C7F09784BC4796582CA442DBE6C51AE62E90566D
SSDEEP3072:ITgwRabzhk+0S+tjyLP+drWEDdTKJ3D22aF89+jdo7jkdTMjpykJB/Ff5pKBnGjP:6t9Xcom
TLSHT102941D12DF509647F8E0077594F28B023374E886A247E7BFF94E31AEA9871D11D6378A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Auto/SearchControl.hi
FileSize27369
MD5528D91D027875E266AE9521DDA67F3EF
SHA-1021635DEE44CF09A33B5D4B2D8396161BA7BBB9E
SHA-25663397FFB43E0B7C9A0E2D4FB76918511F64EC1CA6B9E809D67A6E4DC0C21DADD
SSDEEP384:ZOBgeUEys+8fJj6GZfVB0NxZnZY04YxsREPqXi:ZOBgEyIhj8n204YxsRo
TLSHT1CDC2CB4A9E59AA07F8CCFF7248AA07653330D842EE15CF43369D7234AD533E91D96E09
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/DisplayForm.hi
FileSize11153
MD54FB9F089601FF80F88B7F70176ED2E20
SHA-1028DD526F90681224962AF8DE482C42F1588B836
SHA-256B18DF7241113F60303BCDC606EBF9530A2EFE144578B0ED8D77248D43814FEAE
SSDEEP192:ZhTJ6pEhr/3y9bAnwWNm/+XPgx5+qytXrtTjWwU7N/PQ51FcuX+f6Ok3NZapSkaa:Z+oT3y9knwWNm/Hxdf6t/E6lA
TLSHT13732FDA9DE5C1865EDE00977CCFA4B021B68A659D106DFCB25DEE0632C8F8CE0D93764
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Interaction/Imports.hi
FileSize24974
MD5272304D4602E17630B26839E387BCD80
SHA-1038B48D8F7924B3623CF4B38949CE5557D9861C8
SHA-2564CEA4952E3CBAB6E9B844538A2C8769D29EADF043D8515FF0E046C31D8B17C39
SSDEEP384:ZnCBSIlHM4uLwPPCERTBhPIJUXDu/xP4WSG4UdJf6xd4NTtCffB7QZpE+jF2av6D:ZnEOLwCSdhPIJUzu/JdJfm0e
TLSHT1F8B243999F0C1966FDE00E364CBF4B042BA0A661E543DBDB31CDA0B6580FCDE1C97669
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Positivity.hi
FileSize45958
MD59CD88794AA412C09E44C89B520B0D59F
SHA-1041AC9495749A1578E233434C3C5129DD4F50430
SHA-2564247F1956F1B4B9A862CAACEBE5A1EADE762A3824F9FFF716431E6B22C1D3819
SSDEEP768:ZzIaBAsvQSqikn25rGZuUGXQ46qpJGHbAQUMwGZjEPsEfbRZ2l7vTDBxSRaCfpK2:ZU+AsVbQPbAQUMwGZjEPsEf5fpK2
TLSHT160232C56EF682C17E9D40B3B48FB0B143728D644E303DBAB218E20721D8B6DA2D57BD5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Syntax/Internal.hi
FileSize179680
MD5ED4B96916CC21FDCB57406B1141090C1
SHA-1050057E55E6ADD6F94ECA0D16F7F4120424A5C1A
SHA-25609153E0E70B52E9E3BA92A884E1CDC586695F682A11D1D4A51ED2DA5BCADFA0E
SSDEEP3072:C+r6LqZREnkjIEUUL67gOoTn/8iPoSk5IlKihg9IV5BY0mupTUulTCXqFIPHykmT:C+r8qZR9
TLSHT16B04DA43EF685A17EDC806B700FA17107725EA97D016E3536AAE36217DDB0E22D632CD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/UniversePolymorphism.hi
FileSize13564
MD5E6CCEB8FD99E46D34323C655ED84C3E5
SHA-10852827E28205AEA6DEBBD11BA1F93018E7C752B
SHA-2566C544FD6598782F98FFA38296DF9BF694C08794FC13D08EA6397FA35888D5874
SSDEEP384:ZY085VAYpLvYAYMYn1uYWIhS4Y+eqeY1Gvi0zejp+pY1IiwGANAnf6iNQmv6leE2:ZYtVAY1vYAYMY1uY7hSYeY8vi0zejp+Y
TLSHT1C952426E9B481827EDD04B774CFA87102770BA11D343E7DB229EA173184F99E0D63B68
Key Value
FileName./var/lib/ghc-7.0.3/package.conf.d/Agda-2.2.10.conf
FileSize9912
MD582AA5E400CEAC386DBC3D6F16CB7F0B6
SHA-109AEF6CA870CC1A10BBBFC71029A23A23BE7A40A
SHA-25687E4BC6315774DD6AC4931F8C1C14636B4EB1183DB38E765DCC8E3BF83F9F760
SSDEEP192:BZ8jXnjqNscyuNMQlcSd8s9d9JdI2Nj0F7FKF4z7g1zAQEcJZykjcRTX1:YbnjqNBfXv6F
TLSHT12412B524B65E15A03BB10D67EDDD8B140B909A0BAE41D7DE349ED1E32F0ED5EC0AB630
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Utils/ReadP.hi
FileSize28859
MD500AA686206D7F8FD07FC4EFAF9ED84B4
SHA-10B1A986DAF31A37BCB5297F8CBD97C3C719833B4
SHA-2565EC77481C3D181391FFAA3472CD47CEA5AA21E0AC4413EA4BA3E4B7BB11F45D8
SSDEEP384:ZkxbORZjLTxuLQC6u1bgIFUpJCgEbvr5nRku1ter9/o3M0LC4bc1b:ZkgEP6ulWCgEbdnK9/o80Vbc1b
TLSHT1CAD2367E9A405613EDCC0D7D58AB1B487B24DB56D10ACE97F0EEB2207C833E49C52B89





metalookup is a service from miwakeru.com