Result for 0D3B508F1EF6229068DB0C391CC8449FF7F2EA49

Search result
Graph view
Children (649)

Query result

Key Value
FileSize20088990
MD5D22E39459C9CFF3A7710448BCF327384
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.1.1-3build3
SHA-10D3B508F1EF6229068DB0C391CC8449FF7F2EA49
SHA-256E5175A8CC7EF93C0EB56E2DFB750E9AADF0D31C8547A1E83CFB2516A342CF409
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

The searched file hash includes 649 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.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/LHS/Instantiate.dyn_hi
FileSize17952
MD514AACF049C2D445EF9EBD6B845918964
SHA-10067DEF427A5E61B3C7503A9DE929DD7ED99C24A
SHA-256EBD3FEBECA2E2D5EC02F855EAF110DF5307B288FDF31D343FC93287E36BCF66F
SSDEEP384:JV24ELUoDRtopNXwSNvKVuIjDnf6fJzj1ZAunoVa1p:AIkRtWXKEIjDnfSGkD
TLSHT16A82CA996F088529FA600E7B4CFD8B006B506A52D293DBEF028590B35ADDCCE1DB3575
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_hi
FileSize23999
MD58DE93EA76AE75A5B6B715055DD2E6309
SHA-100DD948D47D27EEAB40D73B63AA0A45808FFF283
SHA-256D0A1623C85E0356FF3BAE6FC5394BD761F09C13FFA8B9873A5A9B67940EB98BE
SSDEEP384:ivaC4QHBKtBS/N7bkjL5B2HmoymjjeuIRDnf6fJvfHDeRm3a63xeIhQN:LQ4tBibkjL5B2Hmoymj9IRDnfSBHFGN
TLSHT1ADB29690BF049610E9210FB69CFD8704377069D25682D7EB718CB1B3878ECE91DA76B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Parser/Tokens.hi
FileSize59944
MD56C75AFBC92328B7DAC079AE2FA6A35B6
SHA-101F9A9E936ABF179040F22C5C7C8B07CEC371D2E
SHA-2563F3C551C0C108E7455E60B7710D3641EF7D0CCAC113F28C4E624AFAF36EE37A7
SSDEEP768:NWFyYVTWJgLQLq9kWR9NJP8ND0osfS5qzTaV5bLE17XuTH31bbCOOuFcubr+a1JV:SaWekvP1fPeeYvTbisnn
TLSHT1A143A26AFF85B037D63A463AC4BA2342772D95817313AFC7A14D52258CC32C6EE9D06D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/String.dyn_hi
FileSize9711
MD523CC1D75A4AF1F3D73CADF652544541E
SHA-102525406BF669E16995AC772F940AF831743BAE0
SHA-256E280B4ECD56669BD68E02FF43303FE35CB4FBDF0945246DDC8E49CC14040C1DA
SSDEEP192:uK8VmjRHEox4iGwDhoaXgEO4O1CuUN5t87cq+s+f6fJ/R1m:uJVURHJZG6TXgEO4O1Af6fJ/R1m
TLSHT1BE121D299F00D337D4780FB184BA0308BB34EE821B569F6751497832EDA78D87E716AD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Monad/Sharing.hi
FileSize15525
MD557296A11A40A1DE904098956ACC5EBB1
SHA-1026403F65CF930E2D1767CE42C640DDF7E3F391B
SHA-2562F127B0063FDA614AA2F1E2B8966E9114808E58B12DE0D8311958EA0E7B26503
SSDEEP384:Rg2tuSQQKO6SkNwD8UmfbV3nf6fJt5UZ3NXOaY:Rg2tl8/fZ3nfSH5UZ3NU
TLSHT1D96296A9BF04CA35E9690F76CCFA4704BF30AED15613DBDB0144B0736AB64AC2D3255A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Substitute/Pattern.dyn_hi
FileSize10014
MD5AB1EB1C869C1C3403558243D118BA0C9
SHA-102AC04454C916D83CFB4AACD8C86AA0FF3CC5932
SHA-2565F066007D4318C0D8F36179C12C598B3C2C09D0A5CF4AF0E7A7991CB478A2088
SSDEEP192:F4tlvAjmCMtITKWIsxTXnGUShv+HIuYKADN9nggARnxrtqJ6WjS0nk/HU7pdF/Pp:FklYAtGusJnv3nf6fJ/
TLSHT1D422A7B88E044E15F5510B7F4CFA4700BF602753A992DFFF4684E2534A9BC9E2CA2976
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Bag.hi
FileSize81951
MD5CC435CAFCCE10484BC1C53CCDB8AC234
SHA-102DC0DE8880EA9BFCB6D223055F1FB89879C3089
SHA-25685A5B1C7C1F3BC1C67B57CB648AE6C6EA7DC5B16CCB9C7AAC5F48A5640BD2F55
SSDEEP768:hYtfXeN+/ylen/fe5zuDWf7doByZASRzh3J8yVFdt7Edt1HYWx2dKKfSJJlwDqd2:hXsz3x28KfkoN/dD
TLSHT1E5834605EF56C306D8395BB181B9830FB738EEDD07268B57120D3871AD766D82E722AD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Map.dyn_hi
FileSize9768
MD53BFFB43ADBEAC16CB6EA19691FBB5395
SHA-10309EFF18F2B38D42E3994CAE36D4E683F04134F
SHA-256E4CF536AF23AC36E91334759197AAE3AEC340E39C1CDB777336FCBA20E77FD8B
SSDEEP192:NtILazvvqay+S5C32i4F8izVpUnOPIOW/3NpyU:Ntsxu2DzbUnhdpyU
TLSHT162127844AF92D31BE5264ABEC4BA430A7B34D6C04BA98F4310D931309C736DB6EB165F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/SemiRing.hi
FileSize5861
MD5D0FAE2F9634A2121A6774F4E3B742C95
SHA-1037FB9F26B1DFFAEF72E13BFD95272993663814C
SHA-2561690CFE0A4835A53C13CEEDC32FDFAE94384402D9F4572166178C254836FFA03
SSDEEP96:fU1OSoUpodfNDw6DSpXewkxU530wp3/U19fBG1M3Xta8QP:HUidfNK5h53p3M1xBGh
TLSHT1B6C19606EF87D57BD53A4A32D0B943097B27D9CAA252DB574048A531ECB37C81EB902E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Monad/Benchmark.dyn_hi
FileSize13235
MD5269C8BF37C16D318FC989C78A7C4B2F5
SHA-1039C1136DDDA4F73BA52F181FFC889B41F86080C
SHA-2567D697D4DF233B598476854EE210569102C5557A97C8BD76A635D30E46324A0A8
SSDEEP384:PqGzaL5FSKD6ScMABE3nf6fJhD8VWMGPlz9t:Z+LJr3nfSjqkt3
TLSHT10152B8A88F488A26FA580E774CFF87207F70EB529556DFDB0188A4638DD68DC1D6243D





metalookup is a service from miwakeru.com