Result for 78AADBFFA2913346A1B88DB9C44D70FFCCB7FBD7

Search result
Graph view
Children (254)

Query result

Key Value
FileSize9676072
MD5694C075845EE486EAF31F8D1CA4F8C83
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-178AADBFFA2913346A1B88DB9C44D70FFCCB7FBD7
SHA-256A3A914C8F2BD8B9A83A98B28006E7DDA7D5815663829EB5FCDDC0F7514894357
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/Interaction/Highlighting/LaTeX.hi
FileSize17141
MD5D049900C5B0645CEC263CAB24D20E47E
SHA-101C5FA2937556BAB9E25FD34A6A778EA2831E3D2
SHA-256241293852DED0E89425C6ECF23547D0CA4C1DBB44BB0317FE2FCA35A3E7841E5
SSDEEP384:ZgtqafC5Ve3K8HSHcKC0+66m1RsRlbl1U7WpjFqqS5lb4f63yPwph3B/6Z:ZABq5438+fC7Kfsph3Bi
TLSHT1A072B519DF1CCA35E96407774CFF87106B60FEA36A02C7DB5A86A0521D4B89D1CB25F8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/WarshallSolver.hi
FileSize110868
MD51694FFEA6CC5B303BC57BF39585DC06B
SHA-1022866E033E2E63CD0054574E86212CD13D6246F
SHA-256BAFAB2285F00DE9F2A25E471CCA5E311F610EC52A4CE25018CFB3B502DE4CB81
SSDEEP1536:ZbwVM6diJKSv3Yy0Tt2/UG7D3Vlkwyze17dFywL3aOpOibuw6AAjPQuFjKXU2oYc:ENiat2/UG7D3BXawAGnHUr
TLSHT108B34926EFFAD383C92E07B9087A4311F702FCD99924C75795C6A9607E235F12D920CA
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/Interaction/Monad.hi
FileSize14600
MD5BCB4DC3A86641B7CE12D536033599DC4
SHA-1066A71DA4880E7DFCC600638FA3FC60E1B77C1A9
SHA-256A4B7D682E5CA8A06DE816748F6E2F7E3293F4414F274F4DB453FE06027B35F67
SSDEEP384:ZxtVGpN2gsPhvcROyf6SCeoDEnJf6EEclpIrv/Glouvkp0rFl:ZxtVXlOfDiE++7B
TLSHT12C6297B2CF14C736FD200A778CFB87006B64ADD24591E7EB11C5A453289A8DA6DA36F1
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Compiler.hi
FileSize17480
MD5CA7D5482CD26C15B33390E4ED7DC5804
SHA-1069FBA2D8D968DE3BF7F318B662C735414274B62
SHA-256C8070DD3DBD8DF4D9B570647EC5ED6DA96182174AF740F2B37C24FB3181F97AE
SSDEEP384:Z9Xi8rjB+jTouoCsBkCnU7ZIPUgf6AnBmQ9RBRLk6Z:ZJvojT3oCRCkIPLflJ
TLSHT12C7262A86B1C0974FE600E7B6DFDCB015B90AA229543CBDF14D9D2A3164DC9E0DB3635
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DropArgs.hi
FileSize11819
MD56F889968F3477EB61CFC53E96D07792D
SHA-1082E9745FC6E1F429CEEE5C489E80C236C8232EF
SHA-256A4050D308FB623E82D77A7F02BBCC9EA3F8CAB9DBBB5699C37A4922C94E5E255
SSDEEP192:Z05xFAeJsvktmIEh/U/1YDFU+42cj50qNTG+qHgPnxrtTjS0nk/HU72q/PQ5F1F1:ZKFAeJUIEh/U/GMDbZf6iNk
TLSHT1533287759F04CA66FAB00A370CFE47005F60AAD29213EBEF02D9E1632D4D8DD5CA2575
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/KillRange.hi
FileSize20076
MD5992C5BA5AB0C60AD511A6AC9225761EE
SHA-108B37F462EACD3A320A65A1EEB0984FCE9A73982
SHA-256906E9AB990A6A4AD04DADDBB11A9F8E2D7FBB33CEC9741BB1DDC38671D081F36
SSDEEP192:ZqvoiZdjp/zGibPTmPNsUWxblWd8ocWkHsP+tAiRsG7PGUBTZ3idhTmf0aSNArmA:ZqL9/zLbLiUT77eUVUfpIDI6Zf6n96
TLSHT1E69253A9DF04C913E8E90A764CBB43007F20E5D29522C6975B4CA1A2FE476F63CE25D7
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Response.hi
FileSize10795
MD5B56C9F1911BA1EB325039AB7B4300912
SHA-10B02B623EAE4BFAB8D9B0022369B84905579E56A
SHA-2565BB0A12AF22881BD67EFC2667D2DB6BA5DEE0434534BA248D5F7C447A909BDAF
SSDEEP192:ZRxp7gX+E33RQ7kCUwB1ggdVPEu+qHgPnxrtTjS0nk/HU7N/PQ5F1FlIjCms+f6p:ZXp7gXD+KgduZf6t5CthlO
TLSHT17822C77A9F48D231FA680F370CFA43056FA0D7636116EAFF198491431E859DE5CE2AB4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Builtin.hi
FileSize53344
MD5CA0D3BE588B83CB51EFF9F16CA0D8BCA
SHA-10B23C4EFDAB8B30DDEEDF39C1DAC5BD8CDB21196
SHA-25628AAE0763C5179B70A86B926DAFD616E8C4D2D4DB08ABD5E206A29F2CB1A776A
SSDEEP768:Zb44qZ/VzwtygY63SnSnsfFibc/rmXTrCRy9Ozyk12N:ZbZSGygTin+sfkA/rmIy9O2jN
TLSHT149332078EF1CE603D9284BB2C8F64708F721ECC656B5C3576D8E15662A932F12EB11C9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Instantiate.hi
FileSize15559
MD5258787ADC1C4A601410BCF6ED6FE98E8
SHA-10BEB9102B52D56686FDCD9C896759AE8259F66E7
SHA-25664909A71D6ACB05FFDE774242C8BA7A732A105249C4C7F69C91B07A414F2025C
SSDEEP384:Ziv5566ukNTtAV1kRfDJH0kRjvIqZf6Pi9f8ZElE6ZV+:ZiBXuA2UNH0kJIOfRn4
TLSHT1AE6293A69F14863BFA600E774CFE47046B606D938657CBDB01C691B32E4ED9D0CB25B2





metalookup is a service from miwakeru.com