Result for 8716F7513F9E716A9D984CDC0477A4FE53CAEE83

Search result
Graph view
Children (254)

Query result

Key Value
FileSize9793172
MD5491833EA297562972B90FA4A7235AF2D
PackageDescriptiondependently typed functional programming language 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 provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.4.0.2-2+b1
SHA-18716F7513F9E716A9D984CDC0477A4FE53CAEE83
SHA-256458F57944C6B8A7E01C5ABCE3172BA80497F96EC466C61FBB32685D02607497A
hashlookup:children-total254
hashlookup:trust50

Network graph view

Children (Total: 254)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Syntax.hi
FileSize39050
MD57C3ED8300F436EC444893B4A8D5A7968
SHA-100748174DC6714751D62C76C7428410A40A2D298
SHA-2564EA1CB55EDB665605A2792ACD5CCECBA3517A227B7418188AD230D18D8E7AA03
SSDEEP768:T2jCdpGJOB5oNRDofULOsGJ4TmUGpr9Q3j0cAdH99ArSPVGPU:T7foHDofJArS9L
TLSHT16903FB6BFF48C711E829C37D94B60701B721EDC26A22C76BC90E2612AD636F55CF21D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce.hi
FileSize189172
MD59A21B93900FCAF24D7C94BB30079663C
SHA-1011D93B8F89C9E212E0F0A03A5C37058CDF78426
SHA-256DB2429F853C793D5810D4CF895A40E38AED22F654BC4414A1D84E9500BA5B928
SSDEEP1536:TB/BVN5ZpLMGh2DJFAiz9fytt9JSbmrvz9JITPUbmBF0HmH0:V5VTZBMGhmXAizgxo0
TLSHT1DC04DE79FF24451AFA161B75C4B77710B754ECC336538B5B264E126ABA831F01CB20EA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Position.hi
FileSize204216
MD5B4E2EA72B7EBD86DD847AFE22AF88B80
SHA-1014C671372D3DCEF916DEBF302F2E7382C013D59
SHA-256CD6F59F8DD2789EF0EADC11D5152675D5FE198E04B0470DA0F59144AD1FD70CC
SSDEEP3072:P0Pj57ECiDZjVnXFe7jEawdKOpA8uyu/RwX8ocObwnbLxQvz7XK/08yttmP4ylsg:Pzncu2
TLSHT16B14FF25DF06C71AFC39437A44F607007B20ECD56A22C7A7664A6D217E638F41CBA5EE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Literal.hi
FileSize13251
MD538BF24178EFE8F753E7B91554DA2E95D
SHA-10179DDE437DA65A9BDE5F48A885F4C44D16D78AE
SHA-25616E6DFE6B62364021BEA4C2FDACB5ECA52F27E5D482394E86CD0B04036829A97
SSDEEP384:TNR4CzmlyBTKuyZBkPCAdxZUqeCu+O1Vo8HZfXisoL4KA+kNlF3btlUf67Bk4Ylt:TNwCfMBk4Ylb5
TLSHT11952425ACF08CB17D82C823294B64341BB21EEDAA7038777964D521AFD633586CA15FE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Pretty.hi
FileSize10339
MD50467C82D212F083AFEA843FCAEF9A730
SHA-102F8A49812839DBA1BBFFF19306B6E233C03BF30
SHA-256CDF2BE7DD00565A6F3982CFDB139B6D3B0BA0190FCDB90A26BFFA2F41312F1F0
SSDEEP192:TPf3B6nyzMd5wZo1uwLXvP5g/v+s0qNTG+qHgPnxrtTjS0nk/HU72q/PQ5F1FlvP:TnRoyAn4IdXnO+6WZf61JBJe
TLSHT1A3225321DF488A26FA510E768CFF6B012B50FEF39142D7CF1189C147298E8AE5CD26B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Misc.hi
FileSize30883
MD58CB9B78C56838F0E158EC5091669A484
SHA-104B4E3BD7E04880E9232CE754C7B3DD8E63BB5D4
SHA-2560FC8FCE08E27106C104E1497B930D861DD990BD6DABDBBC1041E4D917AAFDB49
SSDEEP384:TYjcAG7+qNQZNQZ5NToZN8fEZxVAquJFuUme0rhmYvEvHTUihiTbTQiNaN9wSy3r:TD/7sLuJGCuJWf5iqa
TLSHT178D274A6EF0CE717EC2409368CB72B04B720FEC65926E3CB588E91722D674B51C715DA
Key Value
FileName./usr/share/doc/libghc-agda-doc/changelog.Debian.gz
FileSize3789
MD5608AF2E3C4C9121245F1C95EC4A41B9E
SHA-105F5AC0E30F290C146A9A04C6B4FCA4E14A934AA
SHA-256936719ECB3E53418EE55FD8895E1794305710E11CCC1A72675DC454A2B10D1C1
SSDEEP96:N2NRBH+9n2i0I8x9WYoSlVl6xWv5vLoNBS:KLs2i0F9W/KloWvRLGS
TLSHT127715BBA5089C4FB16EBA5BA01E30319E0C7A76FC856199A3663417FF60834CB0A585E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Views.hi
FileSize27416
MD5D7D6338F295B152E6844AC1B865C57C8
SHA-10701E02AEA3595A9E309E639C680BCB82442023C
SHA-25687792F12E0DDFF5BA6C39DBF43727BE6E73CD89E683CA3320D39D61EEED2B5CF
SSDEEP384:T82lexqEVwBaMe3RNyj3GCcmMxjBl9NZ8gTQWGeq2Nd8f6Pc49Gp1y1hNjsewcmI:T82Q4+GeYc538gT4i0fo50jrlQX
TLSHT121C20F56FF21C306D92C0B7158BE23543701E9C6AA72C29BAE4E6D017F179F92DB14CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Options.hi
FileSize62164
MD5008AF9C93C6884028F256091CFE400AA
SHA-1074E83D4ABB5118F146D100A409BBBBEDEA6B565
SHA-2569F8C0167BFA52987BFDFD40AF9240C699DBCCCEFDA12798B5A88EC557AA53348
SSDEEP768:TTPfHG5N2F9i5fDyMjUHF+wDfdiiGP55VTU+R93DGbbBzZDq:TTW5N2F9i93ifRGPm+R93DGbbBzs
TLSHT1BA534075EF18D716E451493280BB0B00B710FCC685B9EB93298E59B3BE675F05CB28D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/libHSAgda-2.4.0.2.a
FileSize51771776
MD5BC8181FD0502D47BD5C237F857B6D0A6
SHA-107A2829D49DEF5C897488C11352F5F47AAAC84B3
SHA-2566A1FD08D8774029D268B5631AAD01140D23712C5A3D78FEDBD62DC3A08870CF8
SSDEEP196608:R2p/3opOL95v2dU40gMnkmaxFApBS1VeFaVG5H2VVlglQzK:R2p/3opOL9V2dagMv3pBS10FaFVlM3
TLSHT1FBB77360BB56AABFC43C823076EA477C37B5ED454F0B6B17159832B81C777882DA7620





metalookup is a service from miwakeru.com