Result for BA7A80CBA7CF3D67D07A03A1BCA771665DB15782

Search result
Graph view
Children (184)

Query result

Key Value
FileSize10040708
MD5F677BA55AF0429E2F255680082DCF351
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-3
SHA-1BA7A80CBA7CF3D67D07A03A1BCA771665DB15782
SHA-2568C7ABD6D1AE107A69E6ADF20350C40BEFFD041D190F4499FB3D66D7391C5478D
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.1/Agda/TypeChecking/Rules/Record.hi
FileSize12489
MD5DC86C7DC6BE3CC43F6BDA666D4DEBDB0
SHA-10203764167BC5EA82A4F29B6400420D2CFED686A
SHA-25607A0BAE7C0D752990C3DAF96A0E398154B6393429DC1AB3BEB123D45853EFCA8
SSDEEP384:7XQ7LoGhBSEIXxvBQoK/5bf3q8h7EBXz0:7A7fS5Xxva5f3q8h7EBQ
TLSHT1FD42C7A4574C1574FAA10D770CFE8B011BA43A319593CBEFA6C6D2A3148DCDE1CA7A36
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rebind.hi
FileSize5034
MD5FB1918400A08BC33057D33E1367B9759
SHA-102DF2BCA78FB0987C11DA0724F92B09256BD57B7
SHA-256E0C2F94384F83E7A2EB53B63960D6DFE03FCB99E711D811F338CEEEFA7724BBB
SSDEEP96:QUaLToqI+qli+7Y5znYUPDTC4o6+qy+OXrtTjWwU7N/PQ6/lP1FcWHH/YQR+frGj:osPOh5+qytXrtTjWwU7N/PQqlP1Fcig2
TLSHT1B0A110A9954C0975FAB10D7B0CFE8B042A606922D283DBDF11CAE5E7158DC8F1CD3634
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Problem.hi
FileSize10121
MD54DA7E8D95C7354E2504303727816581C
SHA-10378F6AB54AB7763F6815FBBECCFC8A99E1812C3
SHA-256D752586EAAB7E0C4159D4F672C99F18AF0E6A77F154F612D6C3E585450A95A1B
SSDEEP192:0hBG/HdoRL9o2v1QMaoRWR8elPn+qNXrtTjWwU7N/PQqlP1FcigQR+fLXupkP:0hBg+vrVZQbfLXupkP
TLSHT10A2294988EB89928EFC40A774EFF0B141B60E215D442EA9F65DDB1625D4B8CD3C53F28
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Convert.hi
FileSize28153
MD5AA3C608570C59BBD95BAF59AEEC6B0D7
SHA-10471BC8A1952CC5019F18D63EFCC2422EAB4BBE3
SHA-2568F179D71ACC873FA6E5946E1C4CC3F2D2C069CA6AC009F7D2BF01305976766BB
SSDEEP384:yfzzkGt1fWGasJlL0yS7OD60ZzHXCNrTKhU/NSZEWhPbfxvnEEDxyJEzEA:y/vjasJqFKh0gZhTfxvnEEDxyJc
TLSHT13FC27489FF08D926EDD40E329CFF8F1927406521D242DB8F728D946669DF8DE0C63698
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Injectivity.hi
FileSize13041
MD5B38DD1E0E780229315E334770F0B3D68
SHA-106FDE2B99EF06D0793F1E476CD5F61D0EC653A00
SHA-256CD206A03998F495584465A35723CD168F4E448CC13D456497DDE3057ACF3CEA5
SSDEEP192:J+T7s5xxrOCDzZrmimlJs+Z5pLOOBn+qytXrtTjJWwU7N/PQqlP1FcigQR+f61CT:cT7s5PThmic9/B9Qbf61CjbFGJjsDL
TLSHT1144275DC5B085979FEE509775CFE8B052B706921E182D7DB61CDE4A7048EC8E1C63A38
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Pretty.hi
FileSize10244
MD5C0EA01C198354D480D5F0E45A811B332
SHA-10737CAF61EB9B5F952FAAF61593A9E1DE16C6CD1
SHA-2567B8FC2DD1DC2931119423BE9CED38436EF1E6BBFC2032598920191461AA07F52
SSDEEP192:cm1nZTsXjZZWdoYdqe+fOtUXrtTjJWwU72Gi/PQqlP1Fru6TNyPQR+fArf2Avx:JZ0ZvXyPbf7Avx
TLSHT16022FFA46E0815A5FE610D376DFD8B045B906A22C183E7DF81DAD0F7294EC9E1CA3E34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Tests.hi
FileSize18408
MD54078416F895BA7C765D400A35AEBFEBD
SHA-1080914F53F8FD235800EBCAE8BD77042ED48A909
SHA-2568345FDD685FA3A2E782B91ADE34083D84CD6802478E58F4F8A3DFD0ECD390E66
SSDEEP384:tJ35gbBNn7kxRsuhwqIz/QbfOicu1wesw:temfOicul
TLSHT1EE824E9B8F04280FFCF44A3A4CBA472027249A95D201CB9736CE657319EFC9C1DABB15
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Constraints.hi
FileSize12644
MD5943CE8D7FAC2121D745FAA8E6E028C03
SHA-1089A2741F1F78CC057C41B7328359C14B667E191
SHA-256B1183375A15BE51C4DEDB06643CF5B4861D57E5F51DF1D4E63FE0A83A7D1B807
SSDEEP192:jtFUpL5FaDBEHgEK56O6An+qytXrtTjJWwU7N/PQqlP1FcigQR+fZwhBHRl73G:HUp1BA9QbfZwhBHH73G
TLSHT16E424495EF184827FDE50B3B0CFA4B002790E565E162C7D7219EE5A62C5FCDE4CA3A24
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Statistics.hi
FileSize5987
MD527346094D639387851DF8814133BB0CB
SHA-10AD68223FF26921AE80AF9EB4331D58B6293250E
SHA-2566FA3285FC220EEDA88825A64499C75C14EDCDB4842E13742FE78BAC915C802DF
SSDEEP96:RHs9WTMGUUGL7lHF5Fzd5nvgH7Y5znYU3+qeOXrtTjWwU7N/PQ6/lP1FcWHH/YQM:RHs9iFUUGL7lH1zTnvIP6+qNXrtTjWwf
TLSHT129C112A88F580D29FDC44F7B8CBB0B151F60B662D011F7EB618DE95715C789E6C83A28
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/UntypedPrinter.hi
FileSize21489
MD5FF01067459F5CA21644107937E8C4F00
SHA-10C375623F1049015367DDEB5C832DE4EBBE14991
SHA-256DA4CD2B1BBD61AFC733D6EF5BAE4E67FCCDF52B7706C5B783F340075B605B588
SSDEEP384:JbCHBslN3E7lN3fdLlN3tTH5fTH5wTH5BNhf5RrTH5ak/oTH54iX2znN+hA9Qbfn:JuBslN3E7lN3fJlN3tTH5fTH5wTH5R5s
TLSHT1E7A2208EAE18675ADCE40A368CF78B00A77AA210FA42D79FA75DB0715C0F45D1C93339





metalookup is a service from miwakeru.com