Result for B04BE7262292ED17314C0700BC883657B8688B8C

Search result
Graph view
Children (647)

Query result

Key Value
FileSize16443532
MD54ED29DAAFBFAB7A06796A3A288C8E16A
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.2-2build1
SHA-1B04BE7262292ED17314C0700BC883657B8688B8C
SHA-256302735921E0CF2B61F4E5F54725313C7B791165535CB97C60D7C79B75EA5D254
hashlookup:children-total647
hashlookup:trust50

Network graph view

Children (Total: 647)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Auto/Syntax.hi
FileSize59323
MD5B625EF8D450CC4B52B279C56837E9BA8
SHA-1013E23B91E42C32D0FAA18DDF8B93EEAA2E60F99
SHA-2567BD941614B980FFB1B18ED54780E0504882E5636CCAB6C7A2B03521FB006313A
SSDEEP768:ZtcApTO0b3H3u2et/HvxRzxSZXb8fUVpmGopf06/2Qjtn:1HQfJGGz2Qjtn
TLSHT13943E11BBF46D236DA3A867DC0BA1305F729D6816316DF8350586230ACE33C59FE91AD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Abstract/Views.hi
FileSize117852
MD5EDD793BDF87B4DFE204AF77BFF89F40A
SHA-1015346AC84022276B9576EEF3D71FE88377DA748
SHA-256FFA17ECF29AA2626CCAB2BF1EEC5D63AA386BBF5A4E6556AD2D73A734DA0A8D6
SSDEEP1536:g5Qp5Dlb4Ajv7o44Lm5D3F0aF6T9F0BM3b5fMcB6b6gKS+X:gKRbRAp
TLSHT145B32725FF42F226D82A6BB9C8BC430CB725DDC15A159B1340093137ECB76D52DF2A9A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TheTypeChecker.dyn_hi
FileSize12596
MD5FD3F0C8A3FB7F1375F590950E4E94221
SHA-101B1004C37F4AE73606AB64787CF06D954F27084
SHA-256F20A1FB38E1790D9C32A1A55D9DC66573C9228C39A0DE8E28CF95C42B8EDBFDF
SSDEEP192:Viu3W6fkUcyz6YpatwXz/1X+HIunyKADeF9nggARnxrtqJ6WjS0nTm+/HudF/PRi:V33W4Zat4PV3Ncf6fSoC
TLSHT14242D9A8260C05A0FA710C3A6DFDCB051B906A2386D3DBEF15D6C1F7264DC9E1DA3632
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdai
FileSize10351
MD5EE7734AE1744AC617ADB5DE4304B14FF
SHA-103F384F235107283BB9A13FA2D5DB3EAECACF7F0
SHA-256E1C9B1F092CD00CD005565FAC1C376F146B8942BF1F32F041084E0A1846F372D
SSDEEP192:ag4B0+H6E/YNl1iDQpKwTQ4GT/443i1z/AN3/yYWuB0Tx28p5oPiDA:azB0+agELmQpnQ4GT/4gipAN3aY98p5O
TLSHT17122AF3DB23CF0C43C1BA14C045254516DEADA1D7E39F562C9296BCFF2AD806B667831
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/JS/Substitution.dyn_hi
FileSize12985
MD5C30F84F1DC459158B60CC1FAE81BC83E
SHA-104B71BC66331437842219925FBA2977B2E51B7F2
SHA-256A3B35C0A25558C9FF582E2680FF9B6A8C328456C6148485AFC54D2261B896049
SSDEEP192:ifVjZr5DzxTMp9U5wrin9HTLEJBPz6/P/VWhvgvx1vNN+376N9n5tS0nnh79tl+U:ifVjfxCrRpz6/P/Vl+3eif6fSourdsx
TLSHT130421E4ADF08D21AC9540FB5CCB7430A3F35EAC253A39BA70158B031DE775EC2DA16A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Treeless/AsPatterns.dyn_hi
FileSize13046
MD5E0A64F9FA8B8DB5E2516F49DD368A516
SHA-104CE21898B741EB42C089E8FEF10E77FB839E544
SHA-256AD6E2B765F7367870B854EE0C509FC86776647A220ECDCF2ED0093470485C43A
SSDEEP192:mDjf5t7nIPX7izNVWnQp13ghx+HIuYKADN9nggARnxrtqJ6WjS0nk/HudF/PRF1H:Mf5trIPUonQ1zbcf6fSo61J6sz
TLSHT1EE42D7A99F04DA25F9540B7B4CFA0741BF60BB629653CFEB03C094631D9A89C2D62939
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Treeless/Builtin.dyn_hi
FileSize16337
MD596AE888C7AB835C717E3A7224522D991
SHA-104F0152C5252FB3A162CED2CABCAD09AE3F3F2EB
SHA-256120921D54FE72C6F93125E60B54D25F61F4547BD0D9FB5CDCEA8DDF32896430F
SSDEEP384:cOPVEtg++NSjdzbcf6fSowAC1KNg0zZys72:cOut7+QzbcfSSiKKNgN
TLSHT14272B7A89B154871FA500ABB8CF947016B709E539983EBDF1194D0B31D9FCCE1CA36B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Cluster.dyn_hi
FileSize6015
MD54EAE0735BD5E359DEDFA7C6DC9F199E4
SHA-10566A9E133FB1D6073377129BDC49EBCA1AA3FC6
SHA-25627D930229E0711E43C74C42BE3369C33469B3446D2EF118DD0F17388F64248D6
SSDEEP96:c9cD1oV4y2omp94zyqXa5rWN6hQxSzwNQuy8Q:c9WAT2oQ9y8+Say1
TLSHT1D4C1324BDE45CB1FC86A0B31CCB68315B62CDAD067638B5702553A359C72BA43F721BA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/InstanceArguments.dyn_hi
FileSize42060
MD5841B7C7CE61A7B22BD27257FA40F8238
SHA-105C3EA46BA4EF79C70BF718918B4C6E5AD8C5B0D
SHA-256D9C7DF3CCDB2FC94F4C2540A85EC6E267E83950D61C9DB20C0E3184273240DD5
SSDEEP768:3l6x7at8qnn9bTHXBMr3eqGt4r5bcfSSsQ+HdfBtiw9dT:16xOxlt4r54fKF99l
TLSHT181138356AF049232E8240FBACCFA0701B734E9D15743D7E711C874768EEA8E55DB62B8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Interaction/FindFile.hi
FileSize29464
MD51A1FD224D52C36D4CCFC20A92AE1B1B4
SHA-1062632C8F520D8DEB3670FB46CF73949582A1D04
SHA-256C593737BB70F796C77E3588191F521551F6ADB0881F0B40903E404B912B2654E
SSDEEP768:+Cjt2/QqdNF33xtIPzbcfSSUPKqyie9Ph:/eyz4fmReBh
TLSHT1D0D251AAAF04D921DD650FF6CCBB4700BB34EDD15246ABA70188B532DDE70E46D721E8





metalookup is a service from miwakeru.com