Result for 648B65919A95BB4C68759272E4773480C83FECEA

Search result
Graph view
Children (184)

Query result

Key Value
FileSize17795384
MD5B0D3BD1184C2AC030C643DDDE23F219E
PackageDescriptiona dependently 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>
PackageNamelibghc6-agda-dev
PackageSectionhaskell
PackageVersion2.2.6-7build2
SHA-1648B65919A95BB4C68759272E4773480C83FECEA
SHA-25652AA12DB8A8F134DA8A1C6CBA38275C41943883E5E4089FE8189961960B233E1
hashlookup:children-total184
hashlookup:trust50

Network graph view

Children (Total: 184)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Paths_Agda.hi
FileSize6770
MD58D2730316672738FBB42AE28CA0DA993
SHA-101CF7321F24AA79FA011A294C25F94C0CB54A813
SHA-25621C5A7610E1DB4B2D94986568A61E263BFCC70FCA10511548D254DE4867126BD
SSDEEP96:8JeHFjT78+nj2frQR3IeiLY7w/7j77hm78pxj5kcIh2vNfn7pzhHUG:3biMRXiLYt78RgsVpzNUG
TLSHT1BCD1651E8F44AA7BD8E0477154A742247331E138FA92876B3A5D317CAD4B2C87D0F675
Key Value
FileName./usr/share/doc/libghc6-agda-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Utils/Graph.hi
FileSize10202
MD52271C64AE0072E2B89CE9BB3F14B0806
SHA-1024E8289E1744D21DF2962D243F3F7DBA33B8D4A
SHA-2563D8BA0F003A2A7580FAF6CB61D3AAA3279DFCEC2A08CBA8F44E73904888BBC5E
SSDEEP192:f7TTH9Q5mPWU4MNwTHBTHtSfpDBE8mHsBjH6Hs8HsNU51XLF1UYRZEX0NpW16/v5:f7nDsuWIicFV6
TLSHT13222E1488D666B4BDDDC0AB400AE0B143369E1F9D173DAA36C9FF1212D0B2E53E6B244
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Syntax/Parser/Tokens.hi
FileSize12666
MD51550853255C59E1A61F00D67730B5AF0
SHA-102D3A0E9C4FC74F6E09D88B34F60E670800D9ADE
SHA-256405F2F7780FCD3B29420400273BF07B90D54334991A3AB6A1F30F26CBB802F04
SSDEEP384:HS2XC/D/R0qx9RTVnuM5g0bfbtYTXftkQV7ASt0c:1tkduMa0fbtYxB7ASV
TLSHT167424285DF983C3BDADC07368C9A03117368E602EA51DB67268DE4751E8F48C6C9375A
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Main.hi
FileSize19552
MD5AAA1C707A91DF171AE05CF5B87336D7B
SHA-1034A27BA7935F206A3AEC559D7F9A35A0C9C77E6
SHA-256BF5B1FC62B52082E620C08A3FA89939E11892D3479922EE99DFF89465C3E1B0C
SSDEEP384:illKiN0TTwkRUNuEL2zXXVZKZSPbf4ipE8msl43Ug+LSY:8Ki0DUNuE8/ISTfLpE2
TLSHT141926199DF081526EEE00B7A9DFF4B001FA06A62D542D3EF218DB0B3698EC4E0D57674
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/TypeChecking/Rules/LHS/Problem.hi
FileSize10184
MD5724EFF2C3CE3E2E12D100E08789243A1
SHA-1038193B991927D150DFA7EB7DF36A1E0C4C36377
SHA-25649A7D27F33775D44399C11C30827DCF32A43E9EB5B9843EEA65BE55B3EBD70BD
SSDEEP192:7PQRYvoB5iBWRSi9sqNeK1BbH8Pn+qNXrtTjWwU7N/PQqlP1Fcc0QR+fLXupkP:71EhyYH/kbfLXupkP
TLSHT1C6229694CE549DA4EED00B774DEB0B105760A325D842FF9B768DA0972E4B4CE3E53E24
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Utils/Generics.hi
FileSize2898
MD5B298B43503730B4A9570BB7C5F444D89
SHA-103878EFD219DA5F22E5C0C0D74141C78708273DB
SHA-25610158EC1FB5B14CD43898E41019F83C68E6F4731856774218A10E796126E64F0
SSDEEP48:9ZQnhdzNrzui//8WQUAy/pMoPab2fyCN/VU3EjPTJuqy/RtIlbN8+:yrzui/kWQQGoPayx9+kovLIlH
TLSHT10E51308AEFD49D2ECCC10F7094EB83013730E605E743D22B238CB5602907A941D7AF69
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Utils/ReadP.hi
FileSize24179
MD5E2DFE0461D9144BC29A09CF2DDA58191
SHA-1048414670BE0EC5A68D7E560ECD5A0AA3E217299
SHA-256CACE8A49C9BB249BFE923D14AD4E4BA47D4B39226DED264090F5D356FAC8D57F
SSDEEP384:1xOHDMUJ9ZEVjgj7rKK5UGFkQLLPlnEpbWYoBcD2JD5Nc1aop:1oJ9ZEVsjfKK5UaZLPZEpbWYoBcD2HNi
TLSHT11CB2263E9A101A13EDE90D39506F1B083728D592E8A9DA57F0EDB6316F473E8DC17728
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Syntax/Parser/Monad.hi
FileSize28215
MD5355BB36C77DFD128C5287640686567C2
SHA-104FA1A025657C2E732BD5E8EA2CE2792032719FC
SHA-256C5374E12DD736BBB10EEFFECAE21004DED4606CE5F516F7BDC46471E4AC4E8C3
SSDEEP384:G+zSw8PCUlPtgJr8iLl/7UOu0CYYMkv16tNxHgJ5u9AxZ2bfiK0f+gx3DW9mu225:G+zsavrhzOYD5gJ5+fADW9un2
TLSHT11CC28107EF30B32AECC829B348AB1353A324D555D401DB93788E61343EDB9DE6D56762
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.3/Agda/Auto/NarrowingSearch.hi
FileSize41565
MD5E5D6A7B406B83E8D97232497413CBE08
SHA-1053300D09D411EC9DA7E2E58481B33DB98DFFFAC
SHA-256D4EB6E615C61032B8D2DA019606C121AA1AEF5546D8CB7ED789A7216C1410314
SSDEEP768:3Flf0ygAsmfyfZdB404QHEWKfOKwkKvI9acQuqivsev09pupdP4B5uhf/wzvD97r:rf0y811pTE0wAU/yx/8Aj
TLSHT12513CA4D8ED96A0BDCC802324ABA4706B710D636E800D75736EDFABA6D170ED5D8739C





metalookup is a service from miwakeru.com