Result for 814CB8DB597752C7A24D7ACE6753F43BDD44F3DE

Search result
Graph view
Children (173)

Query result

Key Value
FileSize15189130
MD5CED17047CD8FE32DCC0F380748F78B33
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-1814CB8DB597752C7A24D7ACE6753F43BDD44F3DE
SHA-2566B778DDF3D6CBE5BCA9C4E9361192C31060465674E0A89ADE201991D8BEEE68E
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/Syntax/Concrete/Pretty.hi
FileSize52306
MD52B2B3594E0819774095340A51F23B924
SHA-100EEE2AEF833C39D34CC225DFEC563334F25D6C2
SHA-256B36710B90592AA6EB1DFC5B8022DD92C2C613707A9EE73461C8550B7C690F097
SSDEEP768:N4jmz4iBFqQGdXM0GzH0kvMKgVdkdkZkItEO:yqIDXrGzH7vMKgVdygXZ
TLSHT1BF33FD29CF76BA26DEC46A7248F31F193B7DE24AD161D363624E60302E4F3991C9F254
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Rules/LHS/Split.hi
FileSize38000
MD5DFFBE438686808A42573DEE00C579950
SHA-1023C9AE22F28F4C02E456EE52C65F42EFDA9C730
SHA-256D5FD2DE3F76C13331834F0F6227F1B006C11DA6B904F5C4BF6339FD947FDE9AD
SSDEEP384:ikWbkYMcanCVVU+a8d28KHf7VVduoKnb3PHvsaBotuIdK6sRJqBSGWsskLO:iklFR5DKb8SqIWBS3Wy
TLSHT16603CC9E5B4C5B17EDD51A334CAB97003358600AD411DB9F294EE22BBE4FBAD1C2F219
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Hash.hi
FileSize1080
MD55878699F574C72573485F57F838E21F9
SHA-102571D2C689D5390F7C1555E54C402437F7FBB11
SHA-25681C8FA1862F25F407F566211533234B427DA0E63F4F1CE06E55525CBD897C343
SSDEEP12:Wwol6EiFjmRtAtY+C0Ol13uC1P2DVHl0/61JJE8lVA1o5oA/OH53wGR4C:HolfiFjmRGINlJ8BS0JJEUA18P/IXRP
TLSHT14311FEEED6889CBFCCC10BBA04D707506231F643B846D26712C865B0F44B9A42E28946
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/Comments.hi
FileSize8806
MD5D0A6F129619920A4109B5E5170E268F5
SHA-102F4DDD2BF5AEFAEBA875AA2CB5FC424D3465CED
SHA-2565F1F4287F0D29841F01F635A0EDCDD73B7F074C70E23671DE8A0F0EB2F752595
SSDEEP96:imlR9n4VFgH8y8yiydaoxx6LLykNhX6vqvWJ7N86JauDuBQVFF4c94nFPMSUT:i04e//3daoxxKKvqvWJ7N801MQV3fJSU
TLSHT1E102B78A8FA48D29FCC40A7B8CB707223778A355F151C3AB168CA4631C577DE1EAE715
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/SizedTypes.hi
FileSize34645
MD532E385FEB1933231900DE17FC6FDF3ED
SHA-103AB643D7FAA69AE3F7FA0CEAE3FD7007B4C9043
SHA-25686CAA5A335AD1226FC62790C00D6DAD6A90E30C73C25B2F9E52DBA909FACD848
SSDEEP384:boC9M3cCPRtsgSO3FU6wxMAT6D4xAQtuIeoNHp9iP+:0J3cytGZ84SSewpF
TLSHT1F4F22F9C8F98842BEED48A7BC8AF071537119101D643D7AB298DF9750C0F71E8C6FA29
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Pointer.hi
FileSize5331
MD518350F38B3F9B22E9B97BC2CF2497525
SHA-1045D872AE6D5F7E19D525F5D2DDF79582EDB2F7C
SHA-2565D1D6970392598B16723F44EFE2873D4EA3983B81299AD4A875D865678538442
SSDEEP96:paxRi/gACnPmi/X6kpi/X3kpCS/XF7kpNukpJ7xeEjHYzfvVpvX:gH5A5lFMWue2VpvX
TLSHT13CB125CEED65D927DCC45B3580AB03123329918AE746CB5B21CE21697E873E82D4F353
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Warshall.hi
FileSize86464
MD54272AB8B38823BFE619CDC7986B8ED9C
SHA-1079CC0AC7C993DF27DAAB320BC2B28881781FC5D
SHA-256D0E45E49ABACEE5F271F6CF2AA277F959B57042EC6DB831ED902F850B1364CA2
SSDEEP1536:IhaTJef9uG3wNyoYivvwvSvP/GVIpwbyyjT:IhaTlG3syofwT
TLSHT1DB83C81EDFA4EA2BECD4077105F707283374C649D262CBAB258E19352D9B3E91C9E358
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Telescope.hi
FileSize15062
MD5333FF8F24A58F6E378550DF5FE6CA4AC
SHA-107DE960B71A8AF708B98701B589C31AA3DF56843
SHA-25646EF856D4F4DBB0ABFA0D6420D85DD1FAE00404E190AD7E63D748F8688A0E2DF
SSDEEP192:lNEIoR5BqTgCooVFnPOJ+qy8qvtTjJkwU7N/PQqlP1ForQVqt+0qf0N0:lNqmgCoyFW6yhI80Za
TLSHT1B4622D96CE6C3425EDD409374CFB4B0037649152D282DFAB218E82A69C4FB9D1C6F726
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Fixity.hi
FileSize30836
MD51C4EB2A35F8BC572FD90F33F5FE3BC0B
SHA-10823924AA42AFF75DFDF544E25D00CAEF2B6A94A
SHA-2561C01A16B2D70A2AC59472AFAFB6CDC5F82E93EF6D0F0F8C15FB725630A160725
SSDEEP384:0SFjfIuaq/qzd88qpw3oyKhY0tk+mvL71VFusKxcDp8W6S:0SVI+i3T/1VFua5
TLSHT183D20C4ADFACA95AEDDC067208F617113331EBA5F522C763168E22313E9B3F81C4D659
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/Agate/Common.hi
FileSize18203
MD5B02D6524E40E1961C086DE9DA07C9CCC
SHA-109EE80ADA98574976CA8A77AAC8C4B2898A08EA1
SHA-256106E782CE35A177ADD5984B5A29CD6BFC296A77B2D2CDFCBEDDC3F0CE029FA82
SSDEEP192:LvBlGf7Dyi7IM8d0POh5+qy8qvtTjJkwU7N/PQqlP1ForQVq7jfHh8:L5lGzDyi7b8dthqyhInfHi
TLSHT15C82F94D8D886D6BECE5097B4CFB4B1037B49412D162DBAB25DCA0362C8BBDD1D2E724





metalookup is a service from miwakeru.com