Result for 4B4DEA9EBBDE86C987E08B24637B959797FD8600

Search result
Graph view
Children (178)

Query result

Key Value
FileSize22305040
MD52D8725F07BB5A917AEEE5B8479FDB7FD
PackageDescriptiona dependently typed functional programming language - profiling 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 libraries compiled with profiling enabled.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-prof
PackageSectionhaskell
PackageVersion2.2.6-3
SHA-14B4DEA9EBBDE86C987E08B24637B959797FD8600
SHA-256A3B74D873886432EBA618723A3B951831185A3A5D3269B8BE831A7D8A0651764
hashlookup:children-total178
hashlookup:trust50

Network graph view

Children (Total: 178)

The searched file hash includes 178 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/Compiler/MAlonzo/Pretty.p_hi
FileSize10333
MD522270A8354AE4C7D9231252E6E041B4B
SHA-105E077CDEC38B50B26A5AEE683FF5EBDA8049AE0
SHA-256E04A676A57E5933973DBA1035EBED7A77E92F0A9C58A77A7905589B667C0BED0
SSDEEP192:fg4m1HZsXjZZWdoYdqe+fOtUXrtTjJWwU72Gi/PQqlP1Fru6TNyPQR+fArf2Avx:fglKZvXyPbf7Avx
TLSHT16222E0A4AE081565FE610D376DFD8B145B906A22C183E7DF41DAD0F3294DC9E1CA3E34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Fresh.p_hi
FileSize3002
MD5BCC0F32102973A42408810F0F2B9D26E
SHA-106F8F825F0B6761714D978CECC4A91AAF273A931
SHA-256C3581E2CF231E8AD8FB7EA8F86D047A81E3F39FBABFBC9010E0E71482C61ED21
SSDEEP48:YlJ1TLFOvbBi/aFvRnr/a8bP3W9VZHWskJ7Zf/oz9/t:GRLEvbQ/aNN/a8AZ2vnQzFt
TLSHT11D5126CAFAC55BB7EC8C2A787DBD12053658E2460147CA8FD38AB5D4BF9715D0D1212C
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Patterns/Match.p_hi
FileSize8301
MD5B61DFC821107A4673AC0E4B23E8A4F66
SHA-108A74F209A6541CE7687634559304B0EFCF5254C
SHA-256A214EE2AD804364707370B0CBBEF6DCD92B3927579B79A4BF92A8AB2DEC9D3F9
SSDEEP192:PcXIJ7u4LckEYOQyn+qytXrtTjJWwU7N/PQqlP1FcigQR+frA:LJK4LckECy9QbfrA
TLSHT114020FA55E0C1524FEE50E3B0CFE8B1417A4A622D582DBDB52C9D1A70D8EC9F5CA3638
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Lexicographic.p_hi
FileSize40390
MD5DD34C8C155D09D679C53B858A5B31E34
SHA-1092023B4B7A09A53DDD410BCAF70AF4B2CE4F035
SHA-2567F623DFC1C9128AE93A0151C24436489FA72E44BF33978769B5556FAED42DB16
SSDEEP768:g5572qf+uW6as1mpqil4/y7iNjnoo9LEZTfafn8d4gyCQVGwQjvf6:wGuW961f8GgyCQVOvy
TLSHT18F031D8FAF24B61BDCE44AB654A603202324E555DB15C717714EA23E6E4B8DC3F1BBC8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/TermCheck.p_hi
FileSize12495
MD56DFFCD717BE438A2BDC07426CE82C562
SHA-10A01A5346380DBAC846095FE7D8DF26E2BD3C383
SHA-256DB9CC9D625BBF666270236CB0ED8E1E44E84131EF71B39AF75DAE2BDB6C91F7B
SSDEEP192:h0kVhQuagqEujVdoDvWM7OIB8VYdqeStXrtTjJWwU7pi/PQqlP1Fru6igQR+fyiZ:WnxVdoDeGBU5bfyxyhEU
TLSHT1F64295E56B0C2960FA610D7B1CFE8B0517A06A22D683DBDFA1D5D1B3184DCCE0DA3A35
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Instantiate.p_hi
FileSize9603
MD5071E6EBB6BC3B576FB0EED0440557E44
SHA-10B875D650BA4401389FB67BFCA08D6FD9BE7D689
SHA-2563AFF2C915F61E33EE77125D035CEC78FADA766C5733B2519FE461B87BCD3CFEB
SSDEEP192:SjlUdkZ6pwMqBI0juhVLyEs1YhOtB8S+qytXrtTjJWwU7pi/PQqlP1Fru6igQR+E:X2BLjqV2agB65bfYUs8RYMK
TLSHT10D1262A4554C0974FAA10E771CFE8B0417902A22D287DBEFA5DAD2A3254DC8E1CB3B31
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Termination.p_hi
FileSize43755
MD5C7C24D0A6CAA1268E287A7C4286EAC65
SHA-10E8D2D26263BFCD27FC5647C5C5E043A40ED3C41
SHA-2562DBC3ABB77E89D674D1D8A55BEE6372BA02DC04A86A3818DCCF4855BD173749E
SSDEEP384:brRxWVwt6pPZ6we1RAcCoAj/1DjstMCKWywwgfcald9o4Y:fRx0wGP8fCow9w2IjfcAU
TLSHT19113DB4AFF27A12CD5F54E71409217755B24D821E89B0B67A2CC13BB6DCB4882D6F2EC
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/MakeCase.p_hi
FileSize20090
MD567577E59EC8B054FA69A0DE71864E87F
SHA-10ECFCB50EA7BB8091C72A2B400D0A77AD4DFC115
SHA-256B8D72B317D35CC331BC20B4DAA9526949834B6346355065F8D8E89AD77E7E334
SSDEEP384:RzcuCWBDZh+Dxl9PsAZEWhPbf2iGmRvCWmAgeh2NQ:FxZwn1sYZhTf2TXOQNQ
TLSHT1F692515DAF0C6A65FDE00A376CFB4B0417605A16DA82DA9F71CDA073248FC8D1D672B8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecker.p_hi
FileSize6337
MD5B19C86662F0DC13672A57484CDC042EB
SHA-1112793557E35531AC03008770743B9A35049AEB9
SHA-2569FC8FDD45107312A8828072B74549EC276BC941FCCFFA0061904B5D8C9BB1CA7
SSDEEP192:z3kb3oOPZZWL+qexOtXrtTjJWwU7pi/PQqlP1Fru6igQR+fT:Y9ZO5bfT
TLSHT129D164A4690C15A4FB710D7B6DFDCB111AA06A22D283DBEF12D6D1F7214DC9E1CA3A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage.p_hi
FileSize28343
MD5A27C6A2C8B26873B3100B48163A58B4E
SHA-114BD8763575F2D93D34AAE3CFAC0598D436E5B2D
SHA-25601EEC6BC709B2CDF1BDE46E9937313EFE9456627E90473CAA810AA1F018887EF
SSDEEP384:MLmP3n3Elqh2pJWptMVn4znUnSbn/SKWC6thK55bfovEoBYlyq9Htyfnk+cf4lN6:VnZlTRi+vfovERf9H34lNlc
TLSHT1D4D27259EF6C04AAF9D4093628FB47052390E641D14ACF9B718E92626ECFCCE5C537E8





metalookup is a service from miwakeru.com