Result for 5141EC53567DB02993DAC92C07F8546C2732EA3C

Search result
Graph view
Children (652)

Query result

Key Value
FileSize12846156
MD54640039F72F1C3461064962C532B9993
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.1.1-3+b3
SHA-15141EC53567DB02993DAC92C07F8546C2732EA3C
SHA-2564E8326CB810323B59ED8FCD0EB7E7FA5010A1050DD246192F5EC2617E2A32369
hashlookup:children-total652
hashlookup:trust50

Network graph view

Children (Total: 652)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Utils/Monad.hi
FileSize20408
MD543C7407D852FB0F5340FCA07D4AF1BCF
SHA-1012B1EB4B81A6D7FC605AEE01230302D2FC1D25C
SHA-256D8EA8AA42B62ABCDA208BAF71806781F1E2C0DBF2812F95176E7A068496B44D5
SSDEEP384:BCxs2YBAlIn8OhMHNjhu2U6rXJ+N4fdRV23oU5HHWUOHiJTXGpf6fJLc/NizE78M:BCxs2gAlIn8OhMHNjhu2U6rXJ+N4fdRZ
TLSHT18492E424BB87D71AE46ACA71A4AE874DBB30EE4017259F5780153531FC36AE83D3076B
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/JS/Pretty.hi
FileSize17586
MD561627274DEF41A3D850757731A2F1C82
SHA-1017FBCB63319BBF43ABB5C403B48964F3BE1C6A5
SHA-256B3F768C4AE3B138F9C40F2EEC72BB1FF3AB5AB005B4EDDA5A3B0D82DC29FB4B2
SSDEEP384:7Bj3QhJrzZomAWQpao+k0VeU19z6/f6fJB1SNE/XI:7Bj3Q3CHIYQzmfSdSNE/XI
TLSHT14B824055EF45C73AD8280BB188B743093738EE911693DB9710487532ECBB6DC2E71A6E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/JS/Case.dyn_hi
FileSize25113
MD5A0C2BE14758508A2412A6ADE64CDBAF2
SHA-101C1830BF0CC2C3D59568E737D1E2A5B25FABF98
SHA-256A5AC10E66D9161EE5301EE9BC126618E79E14AA1B713974BBD60032E4C8A25A9
SSDEEP384:Ok2c2BLArVteF4zygdQQGz41p6+Lc3g02FVjUYD3P/f6fJepjF6a9c:X2c2tye6841pRLKb2FV7fSkpjF6a9c
TLSHT1D1B20B12EF44D226D9394BB588BA03427B38EED22B42DBA751017131ECF75D46EF216E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/Positivity.dyn_hi
FileSize139664
MD5819494486F00CC8598229B4484CC9238
SHA-102AFA0650AB9EFC8A502E35A20ED04BA91D355EA
SHA-256488A05A9C84234C15723AD653C362068D6FAA6C99900D1421C09CB0F77EDF70E
SSDEEP1536:9uEEQTK8IypHPL/kPKcP4Sev5I4s8JBq8HZPIeDmfzhokg5E3Bl:r//cP4vv5ISWyZIenpWj
TLSHT17DD30D16BF45E217E9380B7188FA5349B734DDC1670B8B5B00057132EDF26E42EAA6ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Utils/PartialOrd.dyn_hi
FileSize110189
MD5746C11454545BE3FC8AAA69F00041153
SHA-102B9EAFDF2DED29224B4CE4B0F811428D5FC4CA8
SHA-2569C23C6918D131B9DA4109A83959DD0924EB81198D9335162D4502A0AE99A32D1
SSDEEP3072:wzqe587unPIzZPs0nAKHPhUEZATHmM+1dMnmXUbKnlsyYnHB6vYJVWR2l83KVIjN:wVgzZPs0nAKHPhUEZATHmM+1dMnTKnlr
TLSHT16CB3E926BF96D716D8344BF584F65388B730ECD11A5A4B572208B834FE772E02EB21D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/DisplayForm.dyn_hi
FileSize41852
MD59B46B0FBF079530AD554880402D85CCA
SHA-102C9DE0EAD0C4B9A2A9F1A5CA4C47DF5622FDCC9
SHA-25618F96E740D2BEA745DBC88807836695AB08527BFD0A102A2F7D7E0B448BAE4FB
SSDEEP768:5TofiQ2nfL5k9edFth3FJmhH0TWTiJn7N+ILnmfSBIuMtIAILjmfcSo:WfSTjTlJ78ILnmfu5TP
TLSHT14E13FD55BF19C625D8284772CCBD4340FB38DDD515429B87328CB4B2AFEA8982DB32E5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/JS/Parser.dyn_hi
FileSize61395
MD5697788F5E30A42426C3151ADDA3D07D6
SHA-103E7A35E5421456300BA51F9F4B9E17AD2D93CE1
SHA-25663BB1845770C73D827CA714495D5D02EA68AA8EC1C59404CCAF6733C08E9478E
SSDEEP768:PBiGYBhQKLbFpTCyxCvhPFzh1rfS7PyN++25W:PBiGY3RLbFVCyovh9bf0yN++v
TLSHT1BD535735AE19C236C8259BF8C478574CB7389DCA1F924B934249BC36FCF26D42E76098
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Syntax/Concrete.hi
FileSize209738
MD5231C4E10B65EEDAADFA84DBB31E7510C
SHA-104053CCFA7C13DA5C92729B5DF3692F78CFEC8F1
SHA-25669C742D8E52435093B6B88393E92C699462A6C64EF21E52152450D16C9187D0B
SSDEEP3072:+4erQWoGk+SL6WnHaBohN2go6jh1w+beDt5E/3kf7:+4p2go63P3kj
TLSHT1B424DE12EF45E22BE9794739C4BA130AB734D9C53633AB9344413231FCB32D56EA625E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Interaction/Library/Base.hi
FileSize4665
MD536E8CC04F7684A05D280FC3406174AFF
SHA-1044D8BBB3A241FCC78779091354242A902BF2D81
SHA-256F5521AB12013BE5956C31D0C98D969DC38D82339723082BE27E01E38F227126B
SSDEEP48:JlNFVJ3EKxwe5h/oPooe2IJcHTLpVBTtVc2sCW0H0v1X5h/YWbXh/YWKh/YW7OQl:EywGoUJqTNrTNev1XrXevwWPb6dsv
TLSHT17AA1F14AFF14E137D96A4B3988F903063B78D9A53747DB9B4298B130DC932C51EE21AD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/Epic/AuxAST.dyn_hi
FileSize45160
MD5ED1A4A9B38EF5118A799913C2C94D0F6
SHA-1050F07D9771768115ED9989EE1A856D44A2061AE
SHA-25617E53243981338028DEC448CD37CFD77298277E15A143667BC08FA4629EA3FB0
SSDEEP768:bxd2M2eo7/fwA8Fpwmgzi7p6s5cWnfSk0vsnjTx4GvM9KjwReCASyh:ts2pwulnfqASm
TLSHT1FF13E80AEF10E023EA394BB584F65345BF39EDC156478B835248F131CCA72D16EEA5AD





metalookup is a service from miwakeru.com