Result for 7490314056012763DAEC8EE67BA32D325F5A563B

Search result
Graph view
Children (628)

Query result

Key Value
FileSize23942348
MD5F4C41E1F4A2550E2CF0C257ABCFFA546
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.3-3+b1
SHA-17490314056012763DAEC8EE67BA32D325F5A563B
SHA-25637DFA5E80432153BA61F888650806096494EB15F3B99287A7B3042F6EB6487F2
hashlookup:children-total628
hashlookup:trust50

Network graph view

Children (Total: 628)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/TypeChecking/Monad/Imports.dyn_hi
FileSize28974
MD572DF1AD400BC942E5ED4455994C54F8D
SHA-1008BA3BC9ADBB7D53411FB5BDAA835D4FB7D6804
SHA-2567BFB6F149395B23A81C63892DF22BFA4FAD9F72308481DD9C2B2FF30288E2154
SSDEEP384:CXiBc7BpSuDClpl9lMBQUSi+pfZSa5SQaRSUrSm2BQfSU+F27SX+JS++WmSS+JSY:ci6lkbv7CHZohJ7jYeMnfSSp7h
TLSHT195D23D29BF04D526EC240FBA8DFB03047B75F9D14663DBA7018876B1DDF61E81E621A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/Auto/Syntax.dyn_hi
FileSize89980
MD5D33D26B8AD662B4B284B79D20D954528
SHA-100B908E9100573B0039587F9BD84ED39C94F9596
SHA-2563FA098BC8B50F0AD461DB8E2592A98C5E119EA20430629BC0E8ABE649D2AF560
SSDEEP768:1VrZ4zFuXpZtSaY77MKOPj5ZiHFYKZGdbOBxnifSS+It52+XWHD+G3dRzxSZXb8i:1K0AB7rOPDdbOBxifAFGgGWWmBO
TLSHT1B593FE56FF47E36BE96A8A76C4B91709B739CAC123329F83405920309CB33C55EB525D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/TypeChecking/DisplayForm.hi
FileSize48321
MD5AF3CCF4C44D8536C94FB862FAA90FBB2
SHA-1019CD6B3A3B6C66ED9CB748AD2AEEAC050C04E6C
SHA-256CC9C78785482935BE57FCD69388751F4D1C9F823EABE8B817C69D85F41C39021
SSDEEP768:50BVvuGAcNP6jx5h5o2mAw8kDhoE4t4QeMnfSSdDC6dxBLKBQRY:8y5hWWt4QeWffWws
TLSHT146231B56BF15D521E8280BB2CCBD4309FB28DCC626529753614DB131EFF66D82DB32A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/Syntax/Internal/Generic.dyn_hi
FileSize52682
MD5231D17B432E89E27CEFCD801AFBBD361
SHA-101A0B30F25FEEC85F6FB7DE1D770C4983E41FFCA
SHA-256E954B77AB14A5DF7B5A354E39FE656A405DCB7271514E19AE83544BA52FA49BC
SSDEEP1536:NYT9eiDgF7oY6oJYDJoAw0oFyqbxfZY4k0F:NYT9hLYDJY+AWFyqbw4k0F
TLSHT1DA33EF01EF87F32AE92A4A329C7FC70E7B31E9C156658B1750063435ECB27C96D7225A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/TypeChecking/SizedTypes/Utils.dyn_hi
FileSize7814
MD5E6C6F9B54A70AB7AF5D27AB7EBE31B1C
SHA-1021C3C4D534A14FA2DC72C75E43A5B40868E8D8B
SHA-2566CF2BC818CCAC92127F9F28D9B918F62320936C1D414C99470EA61160649E81E
SSDEEP192:tjbs2IYRXuX4hMqpkhnsAwSXSxWrBlct0VRgTQGyn5AR:RY2HM4hMqpujwSXSxMBlkKR5AR
TLSHT1B9F1446ABFC6E23AE63E8775C0B64301B734DA412222DF87509D6134CCA33C96F6915E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/Syntax/Abstract.dyn_hi
FileSize692693
MD54EC635C1E5A717D626B3E7F9C4E884B0
SHA-102FFE83BBD01BE8075A72D55D42DE5ABB967A996
SHA-256E055DB3233F03F8D22E3036A89CB8D8F55DF524BA7601FE17DBC5BA299504821
SSDEEP3072:cJq6dKtHdh3rIINuzFaNZvljh2xJnlW4IKx6RFYhTsYaIEcUXne84sFcSo1R6pbn:JXenc4D6RFYDhwXncAjw3Q
TLSHT1BFE46812BF8BD317E42A8731C8F9830C7B29D9D526628B1F51843179E8716EC3DB169E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/Termination/TermCheck.hi
FileSize67289
MD5E4063B9A54651F9235786CF4A5BED5BF
SHA-1033118D8BE4FFE28D50567FCEA16942601E26357
SHA-256285C65D8CE4E0C32959A77661957BAF7CC1DCE1D04334A63120FB548D5A4509F
SSDEEP1536:9z1C+l+AgzMVCDRTDpJgNZVjOTBLiIosv3vrdH7a86dqoM6MBVB3lmIbnoywVGth:9z1PVgzMVCDRTDpJgNZVjOTBLiIosv37
TLSHT1BD638054FF45C727DC761B32CCF91308B730EAC126526FAB218820756EB66F81DB6269
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai
FileSize2264
MD569992600C2F3EB198848D4F0ED614906
SHA-104A92CE5B1573B7EE69F37E5B02D6CCF58814F32
SHA-256CD3CD26AEC2D52D1B205936CD857CE5D60840460B0CCB8D2A772F4C0F14D0765
SSDEEP48:6OWK1blpNPaysm3Px1Pes+/qMbqHYCqKAC6kYjQ14q4sN5O0n:6OvXtP1fZ+CMbGYCq1C2jQa5j0n
TLSHT1DE412B08974150EDD4261E2D984CCF01A7D44AC5810AC1D7FFBFD2531C28D8DBA4E422
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.3-3uWTit9Gy0pFt60EMl2f8Z/Agda/Syntax/Reflected.hi
FileSize33733
MD5D3F7987EE3A3932A1CB98BDC828B06F7
SHA-104BE88F70BB62A120AB238B581DFBC3C32552DA0
SHA-256A81E5989A52D2D90B6F3582E2A94A2CE17666788D74C16DB49D0036DA3A96915
SSDEEP768:jgxSw8zccdgT0pkHVuKrcvDrpsMUF3VifSSrFYqHyeTR6vL4VweBCAU4:Rru1XKf3Xr8AU4
TLSHT175E21F26EF45E232E93A8775C4B6138BBB34E9C16313DF8780496130DCE32D5AEA516D
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdai
FileSize2791
MD5CE42F296DE58419498E5AA84C162CEBC
SHA-10554F2A6848BA22B17EEBF03DCB9EB622756EADA
SHA-25692C46FC74EC6F2F608CFFBD941DF6D8C3A8424ADE388146CA0150A6F9E380BEC
SSDEEP48:NORD6fp8K4lXlJMXGOUoON3151e0EjOSfLKuMZBzoy8koHtz7rSExGLTH:ocmLMXdUNh1eZjOS5qBEyItzGLTH
TLSHT1D1515B3F95428CF7400709ECCAA7CC20171BAFE431D6E0F88340086B765567BE0A686E





metalookup is a service from miwakeru.com