Result for 3A02A5842689465FD0719B8FECB414303DD6F48A

Search result
Graph view
Children (173)

Query result

Key Value
FileSize8276650
MD51405D356A559D3F52AA20E236D4BAFFE
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.4+dfsg-1
SHA-13A02A5842689465FD0719B8FECB414303DD6F48A
SHA-256240A2B69DFBF7C41DE5E86CF30C83018EA4766D46C56380CB79ED87E65E20DCB
hashlookup:children-total173
hashlookup:trust50

Network graph view

Children (Total: 173)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/Agate/TranslateName.hi
FileSize4543
MD5F44E7AE4C837E769010F44EB01D00B6C
SHA-100EFB5337466D183AE918C5DEE1060B9898EA0E5
SHA-256A9ECAB02983C3537018F49D2BD602EE9FA0D66625A412D626CC917F1DF84AE71
SSDEEP48:EB897Mjc59sq15I1A13/82byV+dAWA82bxvJCn/sJH3EiOkr:Ei7p9sq1Ki1PkjWArEK
TLSHT16191A95DDF34E43BC99C0A76CEBB13803B38E388A212A717725E21314E5F3991DAD911
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Rules/LHS/Implicit.hi
FileSize8608
MD535117D7846481172B708D722A9482DD5
SHA-1015C4C7E7F4620B69061A57A0C9A02FF6101E3BA
SHA-256E9AD98B477433F6E4C363288257076A6C3D7645C143A4D8B99A0EF4583C833B1
SSDEEP192:H1Tj+GMqhuMoCuOOFAA+qy8qvtTjJJkwU7N/PQqlP1ForQVqzGWsX:H1TfMEuMoCaAB0hIzGWsX
TLSHT1770272B595481964FEA00D7B0CFE8F0516A47622D187EBDF42C9D1A3184FC8F1DA7A70
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/StringLiterals.hi
FileSize12956
MD50F1E6BDC8A561842E080E294EE2DE593
SHA-10384C151031284CA0ABC59526470D56D7B57E3E6
SHA-256861CFC8D4F8D2DAF7409BCCE0929D0E0F5021477AD1B77A9517011707CD7912B
SSDEEP192:PQTupM68VJb+vqvWJ7N8qF1MQV3ThqdzUp:PQ2TsJp+9Th2Ap
TLSHT1D94271859F349C2ADCC40A368CAB07103B389B55E599EB9B25CC60621C4F3AF5E5F729
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Termination/TermCheck.hi
FileSize14177
MD5DCD0B3984CBBE37E76D1603EB1EB82B1
SHA-103CC8233AFDD87033E36EA906F7194C4ED0F6FF1
SHA-2561922ED8A81FE1863053A4BF5D83A1B657D1EE585FDB01456ED59878F7B556603
SSDEEP192:8JrSdvYcj/RKiyf9pjmcVs9o48J4V+tO2B8VYdqeS8qvtTjJJkwU7pi/PQqlP1FX:ErSdv5j/Rxs9xBVs9on4EnBStuIREib
TLSHT14B52A2A4A64C1564FE610E3B4CFE8B0417A07A22D593DBDF50C8D1E7184FD8E1DAB638
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/Agate/Common.hi
FileSize18199
MD5C20A1EB94D070E5D1BE30EC4ABD80EAC
SHA-1046191D901F7AFC99BDF442029088731AEC59DF9
SHA-25619B2452803013E1436A05AD50B734C055E06DFF1A698A4DBD237E6F5A363770F
SSDEEP192:rnBtGr7Dyi7r8d0POh5+qy8qvtTjJkwU7N/PQqlP1ForQVq7jfHh8:rBtGnDyi7r8dthqyhInfHi
TLSHT12082FA4D8D886D6BECE5097B4CFB4B1037B49412D162DBAB25DCA0362C8BBDC1D2E724
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/Alonzo/Main.hi
FileSize81490
MD56279EF06AD34E902C59D416F5062DF42
SHA-104FA089DA888137011D815337B0EAEDAE12CE489
SHA-256A94FABBBE2328127645CCBC735FA77FF3EC42C4F46BD50DB97F134F4C28B2B0B
SSDEEP384:HXGBnriw1nEjCrWogqeQJLxjpuJLUjpkfSxcnBbIvefS2+s2CsTG/oqzZ8tPXyeb:Hy2eClLV6iJKu/Zg07Lvm
TLSHT14D832F4F8F28672FDDD4463304AB0720B3745682FD2ADB5B25CD2039AC8BB6E1D5E259
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/DisplayForm.hi
FileSize12516
MD58661C4345C59340C766B036CEC3E23C4
SHA-1067C7954BA7619EFC1D8C76D13F1E4BC4EB8023B
SHA-2565A13B1528DAA8DEAEFEDB3BB7FBBFC7F04DD88F1198121CB460C75C3A92746A5
SSDEEP192:fbuXei56a6iJiL+H7Nv3mPOh5+qy8qvtTjJkwU7N/PQqlP1ForQVqEL72R:DNwVl3nhqyhIC72R
TLSHT157424EAA9A585969FDC00D770CFA8B012760A651D143DFEB26CC91961C8FB8F0C9F634
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Concrete/Name.hi
FileSize56513
MD55A6E4F87712EA4DD221ED50608ECB451
SHA-1094D0B3A1566E6DF258E82D7D600976F0A0EC574
SHA-256E6F82D3FE6B31C64962F3D255078509518F8E78FE9D13CDD25686DC200518295
SSDEEP384:560ipZUEiWCqb2JOrLxzDhybB1CrAmVFDzAwdPAT2A2HwTnIlOpWiW9HliGpkpDj:Rem1WwOd5NsCu
TLSHT16B430E81DF655A2AFCC406B148F603207734E296E252D793628F72713CAB3B52D9E36D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/SizedTypes.hi
FileSize24295
MD594C0A5FA079573799F4F7403F302BCDC
SHA-109B5987CF941A7FE27429DA074D955E606E98D8D
SHA-25680E6B6F88BD62B4FCCC9FF8AEA4D6D66A0A59025AF506468451A3E49D1A3374A
SSDEEP384:sXsZqVZi0wMVsySdMCzFLh/z0LWS5nx1eyhIYXz5+4:sXsZVY84
TLSHT1D9B2439E5D08AB2FDCC9093348A74760B73499C2FC85DB5B52CC715AAD8BB5C2C4F628
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Statistics.hi
FileSize15648
MD507401DED31D7D33DBD04C0E97604919A
SHA-10A527A574C58DB0125F98793A96686229E2BD441
SHA-25677A84B32E85506BAFECC2CDB5F537E0C5C85829A9B5B65B198E2291199C60A0D
SSDEEP192:fB1/eVU0dXwY5oVg0dXwE/eVU0dXwXg0dXwKdXl7g0OfBwVP6+qcqvtTjJkwU7Nq:fB1/eVr5oVn/eVYg0OZwMyhIck3
TLSHT11562AA9C8E4CAA2FDDCC097F88A743007720D9A6E185DF5762CD955A2C87B9C2C5FB18





metalookup is a service from miwakeru.com