Result for 7DCFF2CF0CBB568E6C85EC169D354E3A94619A7A

Search result
Graph view
Children (198)

Query result

Key Value
FileSize10870938
MD5FCA585EDFC8087A5ECF3B11652F86B35
PackageDescriptiondependently typed functional programming language - development libraries 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 contains the normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.2.10-3build1
SHA-17DCFF2CF0CBB568E6C85EC169D354E3A94619A7A
SHA-256F9315BABD686DF2374C9662EABD2A056B9CD29A75803ADB36CCF3264EE302651
hashlookup:children-total198
hashlookup:trust50

Network graph view

Children (Total: 198)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Auto/SearchControl.hi
FileSize27373
MD5B012E0CA6A017601CDAA3CFC54E1B21A
SHA-1008EFE06D6C3AD883F805B25C5B0C06528175251
SHA-25661A57392757D1A2D6114D0EF3FD23BE7016AE13FC13D8A5CBE2A7E913FF4B890
SSDEEP384:TkggEJWL2fyVbNkAFOwk1NxZnZY04YxsREPqXi:TLgRQENen204YxsRo
TLSHT13DC2AB4AAE596A07F8CCFF72489A07257330D802EE15CF83369D7235AD573E91D92E09
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/MetaVars.hi
FileSize25668
MD522DE7579C6BDD20173D6805AAE64A24C
SHA-10093C178037EE64ACBE4CB06522E4120BC4F9784
SHA-256E4224981C907A7A11EA1BF01CF51FD9B179798FF35C6346703177C32E0058981
SSDEEP384:TscWDNKbOCnRbQvgoDswCvQTRvnG7ObQys6Gvkvrzv+BhZVi8DzpKneD22s52Fpc:TP75iv9AhaSNiHfIg0GJ7pB
TLSHT141B2ED4ADED37C26EDC807B708FACB042724E149C2E2C7AB528FA1356D8B9DA4C53744
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/MetaVars/Occurs.hi
FileSize32467
MD5558ED03EB96D403D4BFB78F92E2E90E4
SHA-10094970E17F367AA097605BB1AD00B0677F4996C
SHA-256C0087860D49616490F11F0256970C5B562AAC297B6B62CEA3779DA0B3A3E2E0C
SSDEEP384:TPJ9lpiKQ1orHj2V5FlizOtfmM0ymu4WRrAp5KLVZcsNWT1Hd+iAHf6mxh0EZ7vy:TPJHuUA5FozOtf+5KxHfRL7vRkU4
TLSHT12EE2EC5AAF0C1A27FDC4093658BB47573720985BC203CB97768DA1623E8B9DE0C1B368
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/Statistics.hi
FileSize5910
MD56B4D099950635DB5184735A45202C2D1
SHA-102358B25F0C00D28F982518A114BB0D7B2121029
SHA-256566E3676FBBED05916CC8FEBC12F0002014710671F72DA894450AED2FC2A89C3
SSDEEP96:TPe6puWsNP5mGvKJ7M5/sH7Y5znYb84+qeOXrtTjWwU7N/PQ6k1FcpE4oh+f6c2p:T26rsNP5mGiJ7gsP9+qNXrtTjWwU7N/6
TLSHT1CBC1F0BC8F540926EDC00F3B8CBB4B156B60A615D012E7EB218DE593198B8DF5CC7A29
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Compiler/MAlonzo/Misc.hi
FileSize37221
MD56D3B49C3C8B8D96E03A5C20FA11AF5E8
SHA-102A5610A3F1BFC457CE65C3DA368F842EE330336
SHA-256473837ED1370EEFB0E56ED52415799ADB5CBD61A595FBABEF941E241B4B3FAC4
SSDEEP768:TC5R9YVgvbB/1qK8zJYmlJlGvdpZY6gYN6gbFYG6hbaYewgbPYQXQvbxPmYCXvbw:TC/GTETRC66YMfUqyXApA/lKV
TLSHT1D0F22F5AEF5C2916DDE00B3288FB4B052764AA04D647D3DB318EB0726A4F6DA1C177E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Rules/LHS.hi
FileSize27487
MD5DBAD2384231D85D0AD60D6964BD0BF4C
SHA-1035470E0399D036E58612E1ADC5AE2319B994E55
SHA-256AE65DCE40D7BDEC00447B563295C80A93BE76F8E17AFD065B62C7BB93DE50550
SSDEEP384:TlXf75ZdKwl/DH3q5OkICH7FfQQ4mvWP87NzdWYaf6mR11lHzqFKahs6LEEf9H:TNRTtTsfQFEafZrq4DE1H
TLSHT17FC27292EF181921EDE109771CFB47102720A661E982DBD7B2DE91771D8F8CF0C672A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/Base.hi
FileSize438010
MD5C93C0EEBEBD49B35891708536EE3433E
SHA-104DE8823B40A5B08257243858F2A54F46945D7CB
SHA-256E118DD354539277DAF2266ACBC03347E1203279A7AC0EAD94A8F53B969D0700D
SSDEEP3072:QMeLzB6NX7xry/aSaRpa1uhbUukzKJb2qaF89+jdo7ekn2Cj5BxyJeQmgh/Ff5pZ:FCuUFcj9lQ6m
TLSHT10E941D12DF509747F8A4077594F247023374E886A247E7BFF94E31AEA9831D22D6378A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Telescope.hi
FileSize13362
MD517F94EF7AF1D682DB363AF76CDD9EA98
SHA-10571C8D9A53A3692FA28E9B6732FB06A0D57622E
SHA-2567868F26D98F2ED1297FE3550353B7B35DBE4B18858678843F9FAB448CF21EAD5
SSDEEP192:TtAxoDjgecu6WOnkN8o9CjvTwGCCFYgMEyfeGbvgLCQ8hPgx5+qytXrtTjWwU7NZ:TWx6V39CYFCFEvgLCQ8yxdf6NDkJ9mC
TLSHT1E95260998F582864FDD40E770CFE8B001760E612D143DBDB29CEE1A21D5F8DE5D66B28
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/SizedTypes.hi
FileSize12946
MD51690B1C3DE475CA6E40FDFA31F896756
SHA-105C8017A12330F225E7C1527BF05082BF2DE58E5
SHA-256E7997F27BBA4DF1E8DDF4D87AFFD45F0CD916CE8E934BFAB217B9D5188C4F2B5
SSDEEP384:THw9ev8AR+ZRKBWoNIf6Uo9V86lREE5s5OJ:THorfY2EhJ
TLSHT1BF42819D8F1819A6FDC00A779DF78B002B34D619F902E7A364DDB1A69C4B8CD5C43639
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Rules/Def.hi
FileSize15617
MD5CB22E2BB36ACE38234213CB9D44B2358
SHA-10703211EFB3F12F8BB7844CE8AF2362DFFF40D9D
SHA-256830644FB0992CAE588391ADD51C7B222B93B14CB0373D61B3BC7FED5CE5D1309
SSDEEP384:TbAymmfc5YhrTs+wjXD10piSXUKf61cXfSuD:TbAylfyTXBJKfM+dD
TLSHT16862A5946B0819B4F9E50D3B5CFD8B0107A06B229683CBDF65E6D1B31C4DCAE1CA7B25





metalookup is a service from miwakeru.com