Result for 681AFDDC697FB082A99DCFCB2AD9DEA7CBA3B6BF

Search result
Graph view
Children (184)

Query result

Key Value
FileSize10043566
MD5910BE5A4C3CFD742710371EF55556AC6
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-7build1
SHA-1681AFDDC697FB082A99DCFCB2AD9DEA7CBA3B6BF
SHA-256D284CD36563F4615D2ACBF199AFC86073C04DDC7891F8C15E2AFD18C781DEDAC
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/Monad.hi
FileSize27774
MD5D74E527DD91DF7A1616D1BE45B6C9643
SHA-100BFBEEDE4DAF6F4A5A252E39C226A3961E516F3
SHA-2563FDC65E5FBD694001AE94301D0878F47F001AB5E2CAB3DC67B471B728DA0D961
SSDEEP384:anovu0rgVGh5YLHSsRGb9WiEdA4wPdr1kT6+2/FnURnbfvHhXjSsWtjwWhw/jEIR:GVG3s580vyFrVQfMsb8NQ9x
TLSHT1E4C23BD65B242DA5F58A0C3B0CF84B051B30373179E7C5EF2DC862EE84AD8D71D2AA15
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Matrix.hi
FileSize87991
MD5AAD718DC20B8306A5A72C36FE10F2DA6
SHA-100E941B9BD5607D2802FC9C02C6A2357A55B7832
SHA-256A1493A505F69E67EFD12CA8429349A23249DB7EDB3EF81A772A942AFE1481259
SSDEEP1536:bPLVV+wCIGLjiw+AP9cwcXyfs8QWOuIX6ewmMJ9qu1m1Khd0WhfsQLI+CmRJpi:7LXGXLWt3
TLSHT18983EA46DF14890BFDEC7A3E04BA03147728D698DA01E7472F8E21306E8B5D85E6B7D9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/OptimizedPrinter.hi
FileSize21117
MD5BD40A6038073AA2EE7198E9774682242
SHA-1015554D211912419379814BDA00B432CD4FC62DF
SHA-2562D1A215793A624A867E2DB5B629FC652774E5C4561D98ECA47DA2CEA5CD544DC
SSDEEP384:JqYXYQR5XKfW4UHMW4UkfAW4ULoyTTnJcTvW4UTTnJgCbCW4UDAQ6QTnJel+nfAl:JqYXYQR5X2W4UHMW4UkfAW4ULoyTTnJa
TLSHT14C92215D5F082627ECF81A3A1DF787006374E620EA62D69FA59EB4325D8B59D0E0333D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Classify.hi
FileSize13042
MD5CC2C6F2B846ED014E4FF62AE8E1B9BFC
SHA-10169F5C5592FA473EFD160B5857A3EF614412399
SHA-2567B6865825B6AE7E2B45DBDB0F002B7BF9495619C80326605E03E513D28675D07
SSDEEP192:p8w4uHGnHAXiupPiCvxtLXOOAn+qytXrtTjJWwU7N/PQqlP1FcWhQR+ffkl+m/oe:ycGgXTvxtLrA9nbffk+m/oe
TLSHT159421DAD5A08082BEDE90A7B0CEE4B116B706911D682DFC735DDA4A22E8FC5D1D63734
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/With.hi
FileSize14753
MD56F8388CA406BF682E71D8AFCF5F822AE
SHA-1017696EB75C23A3ED02F6D6378D005DC7EA40E8A
SHA-25694FD61BE8C0B225940931CB39230377FC7FC5F9B9C7BD61DDCEEA27DE83CC69D
SSDEEP384:CoqXu9xfvd8gQKtuO/m+9Abd6CXCpwBA0bftGK9bGdlLld:iXuDvdVDtuO/m+9AbdzXCKpftGK9bgLv
TLSHT17E6296949B180965FAD40E771CFE870147607A22D583DBCFB2CA91B3198EC9E1C63B78
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.1/Agda/Termination/CallGraph.hi
FileSize49490
MD504C45B9B1876FA35A1D25C38821D7B86
SHA-1032DE3FE129DE168216E4092ABCCB68AE1C66D13
SHA-256A0790BF0A424F0FB46A7326E72D6373722070B4AD43D943E1A4923B81FDBFB44
SSDEEP768:5hJPKiGPliOQyvloSa1CVi/JswsXpFfJaEFQbhPjll9kZqT:5hITlo02GHXjfU/ljll97
TLSHT1D02341AEDF147D1ADEE406B788B70B602B61D094C312CB57338E6138AD9F5C90D6B399
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Alex.hi
FileSize6589
MD5871A606A42A95B62E0FC3F78537E3BA1
SHA-103ECD62018B0956B8DAFF689B9B7F8FD75AABE89
SHA-256448593B3DC434FAD4564F52982DFC6A619F3B8734EA23DF1237B38B08BAAB47C
SSDEEP192:HARhxNBP4YDI838ZGoHtW7NvMo/OXrWJ7c0cYkQR+fIbfN3w:HAdvMoubfIbfNA
TLSHT163D18392CFE01C2DECC50EB38CEB0B259B58F669DE42D747068E70112C5B4D96D23B2A
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Empty.hi
FileSize7727
MD5D855897A6348500F0082A2AB81D093AA
SHA-104178754C62C7E9B4AB6BD1948353BA98649263B
SHA-256D26AE2C56BDBC87B0968B51AE048D48C6C185C6D43681F0B96F5AC3269447DCB
SSDEEP192:96E8CycQqzt6mO5KUj+qROtXrtTjJWwU7pi/PQqlP1Fru6WhQR+f0sV:8nlcQqziK50bf0sV
TLSHT1E5F1EEA56A0C05A4FA750E3B1CFDCB001AA06662D287DBEF11D6D2F7244DC5E1CE3A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trie.hi
FileSize15359
MD516B0ED78D8C47F95010BBA00D1747908
SHA-107F2D9B9FAACEA3009F6C93FF5A3C7ECFA49EB36
SHA-256D5AC6B07CCCBBA336D686F8F2F6C9AD232B326AB347698BB9218044DD9AE3C5B
SSDEEP384:iyXilqZ/YsLtXuGSH+p5HLDA8Cfj+EVcvMxHbzv+:iyylUhLJuNep5H3Sfj+EVcExHHG
TLSHT19D620019DF95AA6BEDD8063348BA03112B96E016D352CB5B768E61342C8B4FC6E53738





metalookup is a service from miwakeru.com