Result for BDA3B6A748E92E4260C9327088E4D26501A3B8FE

Search result
Graph view
Children (658)

Query result

Key Value
FileSize25980740
MD542D270793B255BFB0CF0954A7D0EF4F1
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.5.4.1-3+b1
SHA-1BDA3B6A748E92E4260C9327088E4D26501A3B8FE
SHA-25660023B083DDAB512FFDDFF8B990025C40E75A0692B7169499C687D9201879860
hashlookup:children-total658
hashlookup:trust50

Network graph view

Children (Total: 658)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/ProjectionLike.dyn_hi
FileSize28762
MD5E54AC65B0A65DB2F756EFE0F2D14A281
SHA-100005D31033496240B59FFD1A587DDD43A37E8A6
SHA-256C600273EA55CBF5BBF17C491EFE344CBE9FEF2E79B167665DBCD6D9151746BF7
SSDEEP384:YKxRPF5nB7iiSYPp2BPN/mtRMcX0WhDyit4jM2HVA2EaS3G1bJf6t+c3sop:1kiSYhk92hDJt4A2HVA2jSW1bJit+c3T
TLSHT1D4D2A599AF085422FE700C3A8CFB47006B60D552869BFBE71185B176CCDF9C82E569ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/AssocList.hi
FileSize8328
MD59F59328DF3D3A5A525C7BD2EB609E237
SHA-100D7943F2D624F27960851D972D4A47F936F82E5
SHA-2561842937ECD6B1ED6E77AD0438FB2D46F09CCD2EE76F56549ED603A325F0DDB4A
SSDEEP96:HSfFt1WPpJWObq5Omkrv7Bh3wSKLdpW9/mCPLnNGHnWIzI1LDqHi9COOJWOvmFEr:ytrWPp/lBh3H2g3T4WL1LeHSuJWOCwD3
TLSHT1590228D7DB49C63FD728867065A64B042F35F8406AC9AF4F202DB17CAC3B6843F15A95
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Rules/Builtin/Coinduction.hi
FileSize37440
MD5826F9619B38C374F55A0A3D469CA5CF8
SHA-1019184B245451B2D80070E640A936F0316C8BAB0
SHA-256A42AA3DE925E627DC3EA75B49872FEF78E8A033663C9EF7854CCFDC63119DF7F
SSDEEP768:YcHpRhDV2cYsMOVKldNk9Kot46+2MVA2jSW1YEmP12f4:YcHpRhp2kvKlMt46+2Mu20vP12A
TLSHT1EAF26561EF08D823E8781D398DFE47103320C9D24647EFDB1199A179D8EF9C81E62B68
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/SyntacticEquality.hi
FileSize51530
MD5C4392575C2A23364F1C2449ACA18F1AF
SHA-101BAD536F33F1A4F12DA2F838D847A57D53DF2FA
SHA-2564CBC32A2B9A81FBE6F9E09F4331A8AF52597201F4D8F832C0941418A590D9234
SSDEEP768:prhLtYonF3/Nxt4A29VA2VSW1MFpegvc2tzl7T:prhrht4A29u2aFp7vNT
TLSHT124339A60FF445722E8B809748CFA13147F38D9D09703BB5B112662F9A8F7A982F9B5D4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/Options/Help.hi
FileSize11913
MD5023FE53E3FDD09E2D558CC15BDA5671E
SHA-10201B71D060569CC75ED6952E3FB40CED8577771
SHA-2564C03C711699697E3950C22D73273CAB77FEEAA9754B3262CF9831CD723A01193
SSDEEP192:IvCWPpjwa8WZdep7niDkwGbNnWbfIi7zE5oV8zo5tL9SSm0xG2dfTeHNyB3:IvDPpjT8ZYfIiHmk9S3adfTeHNyB3
TLSHT11132002FEE489123D6294739C4F603407B78DC81A607ABC36045717ADCE73D8AF66A6C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/EmacsTop.hi
FileSize32264
MD557E215E59D61969DA5977B060FEB1592
SHA-1026F6338CF187F77A83326AB98ADEE262785664D
SHA-25608123916A5C971CA25EFBB782FE659ADC11464DE8807091EAF2FD764D0063A77
SSDEEP384:Ip62BATQkre4gb5n4rcUit4WG81Ls352jS3G1396h6Lwo5XKkgylQb:OBa0l4rc5t4Wl1Lsp2jSW1NSkgyI
TLSHT15BE28564AF0C4922F9640E368CFD87043B5096915A43EBDF12D9E0B79ADECDC1DA36B4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Rules/Display.dyn_hi
FileSize24504
MD5C612303FCF32448160596569D7D200B1
SHA-1027F16CE766D6637DEB3D8BD7779EBE9B8E5C728
SHA-256F03E66896356A19F63FA771E42BEC1DB973525AB3B0E4187F2521393D3357070
SSDEEP384:Yy3Tt+LkP3PK14ZON/8qzut4jM2HVA2EaS3G1+AQ+/zNj/96cUQzEfl4C3u8:d/vPZq89t4A2HVA2jSW1Gp3L
TLSHT14BB28261EF080412F9245D7A8CFA47005B20DD919583FF9B22D4A5BBD9EFCD81FA36A4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Internal/Pattern.hi
FileSize74904
MD50B83DF3D1C70131C4686B5D65C801970
SHA-1027FF7C57066019DEC4CF491850C51F39E7F91E0
SHA-25632BE33A873AA6249FEC988FBAF350A36000D2892065C6F782F4D4BB0F4DB78B3
SSDEEP768:k2hXSUd5ihkz0nuAaJinOOQCZP9m2g/K/dnIQL20GtGWE/wko0DGpqfISkeAL+eS:k21ieiJXiYIx+e2b
TLSHT1B0739C65EF8A9212DA1C057496B807086F24C8D5BE59BF432135B6BCFC33AD43F12AD9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Auto/SearchControl.dyn_hi
FileSize67351
MD561DAED8CBB154CA53AB38D0DB4F7E9E4
SHA-102AC912A411008374169BD5388F87AC0B2EB944A
SHA-256E0A6CC0EF07CFE80AA37CCD120707B29EE0CDD334140895EC3ED492CA7AD9D86
SSDEEP768:bz+h8tz/NFBUQTwXyD72bSa1S1IAqq8IHmIzb:bz+aZNFBUsj72C17iw
TLSHT16E638812FF8A9507C86945B1C9B923326B38ECC1A6867B933214717CEC776943F92ED4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/libHSAgda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg-ghc8.4.4.so
FileSize103625528
MD5DF38E6794AF4173FE49B3AFCE0E15D15
SHA-103949C1791FC04A49AC15228F2D1966412D399D3
SHA-256361833B9BC17658704FA640828896AEE817C54E303C52AA634E4F285B07F909F
SSDEEP393216:Ezc9SQRfglEgCVeXtkLy56eLytOkSMhA/L0nQWn2EPm/U4/EfNyVutB51HflC0g+:5LAlMJpIk
TLSHT13E38FCE2D111E254E4B9AB30FAAAD710F337975327ED335EEE5AB6323C1037441964A2





metalookup is a service from miwakeru.com