Result for 3780586C8B036AC0DE7D8739B29400669C16998C

Search result
Graph view
Children (217)

Query result

Key Value
FileSize13190090
MD509E6CA49340C1411A2C1A50212DA2E83
PackageDescriptiondependently 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>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.0.1-2build1
SHA-13780586C8B036AC0DE7D8739B29400669C16998C
SHA-2566645888F536FB2E0C934AABBE1E208584AD73CB627DCDC76E691C7E6C3017071
hashlookup:children-total217
hashlookup:trust50

Network graph view

Children (Total: 217)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/Epic/Forcing.hi
FileSize24455
MD534143E44FD4433BE591698AFAE77B510
SHA-101014869793642BC9B6D82250D92F2F8C5FE7520
SHA-256221E14089FD9462F7F0D074F7A969BAB4013C98AED989BBB5AD3EF6D63FBAEC0
SSDEEP384:TXBgQc2OMNrFEBr3MJBwm8wWylMY/uxB5sUb/bAy7ZvAWfpYFIf6mh/l2Vk60l:TXBgQEIC3MJZ8wVOTE8GIf3/lQ+
TLSHT181B287953B199D21ED200932CCFF8B002760AD557A82DBEF61D8D2A35D8BC8E1C775A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/JS/Case.hi
FileSize15301
MD55E192B8DF14D3DBFCF78968CC34891AF
SHA-1018EF9D4E0A16444FF2BC65EB6F0F7D9BF3A6113
SHA-25622BB189AB1582FA133B66E1B8247FBCBB31D3A16C7DC63A8665FD001D7949FAD
SSDEEP384:Ti1/SYwLl4+U8MFGIfUTTTeFNhvSb+cxLEijf6TXVwPnzitFG:T+/tOLf8XV0nzitFG
TLSHT1C86211199B54C826EE380AB7C8DA17813B22DA126B01DB5B729CB0326E535DC7C73D5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize85260
MD58C6EB562EB2091D8372F8E6E5E281AA8
SHA-1019C39FA6F73F9C69BECF8763FE796C1EB2F0737
SHA-25671D8F022EF82319A487AFEF55BEB6DC9BC6C7DFB140203F91DB9D25DBECEA23F
SSDEEP1536:TKIV7X4G8amA8FfAzyAPgdMnS5ZJDfO/muX0pbfYT9h7:dVTiXfLYF
TLSHT1B3835F9B2F05D913EA750A3BC5F7AB24370076822142DA7B31AC76D26FC30EA6D175C9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Monad/Closure.hi
FileSize7194
MD5B3FEB3A16CCF057BC92F0834FDB81DFE
SHA-101B0204E8815E15BE07420B478C41F88A4EA0C4D
SHA-256EA0AE0E912857DC7A94C5918087E41CEAB697FE5AF1DA484C607674A7663C6EA
SSDEEP192:TjbAP4EXo+IBKKca6PMJ+qytXrtTjWwU72q/PQ51FlKDO+f6jcbHQ0w:TgAEXo8pahFf6jEw
TLSHT13AE152E85E140465FE500977CCFF4B041BA07B9BD192FAEF12C9E293159E89D5C93A34
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Utils/Fresh.hi
FileSize3017
MD50FD81D6BA52CE9D4EC018B7390C7FDE5
SHA-104BE9A19C03A5CCB8C34DD50F31E9425FDDA2ABD
SHA-256D6885A74C6191E5C6B20CC12B8088ABED8BF8D6E5290214ED36A9E619FFEC94C
SSDEEP48:TVWU8RV9Vl1+xljWAlN78ym6KvZyKP5H3J7ZJFzVHs/A9tEU:TVL8jLalLw6KByKZrzVHMIJ
TLSHT14F51ADCBEE948B6BD8C90A35A8F90704376DD2575643DB8FA7CC71843EC709D1E22169
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/MAlonzo/Misc.hi
FileSize36957
MD5985F95B9BC6FEBA057CAABBEC5D56FA9
SHA-1052BEC3D9E21767DCA27583E7555F5F6BD63CC6F
SHA-2565A2CEAE87B1DBF0CAF8F39FFFA6B03F3843105972507756839655237B1D31D06
SSDEEP384:TMejL0NCvWqK6DdOiBuieVL55tb18ftB33v95LQJtP7KLJ1wz/eAeUMtf6estvZN:TjnGUxPP+tZ8fkj2utMtfyVyXApA/By
TLSHT1E3F27499270CA921ED300539CCFB5B446760EE425A46E7EFB09CA1F31E5B9C91C638ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Monad/Env.hi
FileSize9535
MD5831C9811E8E0639105D18BFE5EEFA66A
SHA-1086C6DFC810BF3593B65C6F9284560143D61F29A
SHA-256FEE4980488D3C44D672BDCE9A820CD0FF4F9554DD16638F36E014A9B90943C91
SSDEEP192:TPzZIP9JczNS9cXDIZ67nP9+qNXrtTjWwU7N/PQ51FSDO+f6QHsu6/:TdIP9GzNS988ZCmf6A16/
TLSHT1F71276E98E041A15E6011A37CCB75F4167347F26BA42E7FFB29CD1832C8A5AC1D70A76
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Tests.hi
FileSize12916
MD57DE6767FD4B5FFCE4C651991945C5AC8
SHA-10A3E548C4923E345FB715F2F06C89884A0A3426F
SHA-256445084622E8CBEB138A32F93B5CC53E5050B32C1AD2C3C673CA118142EA21D7B
SSDEEP192:TRM9jhJgi/8rSnLuDiFWUZ/1dCYdqe+fOtUXrtTjJWwU72Gi/PQ51FlzuEDj4+f7:Ti9ND/YTUHtf6kft
TLSHT1AB4251A9990C0966FF750D7B1CFD8B101BA09A129983C7EF11D6D1E3294EC6E0EA3D34
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Fixity.hi
FileSize68042
MD59B1285AAD42CDF262FB1183176EAD178
SHA-10A4306F10507A70C8BF96692483E4578AACA8913
SHA-256B882C9F0E4C563B792A407ED5AF8E9B40B861E9A19E0CA8F42646FDAB8B59C54
SSDEEP768:TwBIC7eKrjPN8eIdd0kYUZDK+n295G2e7A91Ncew8URWtjc4J/Q+D+QbfBPoBWXV:Tw6C7eKSm9DceE6YEf5AIf
TLSHT188634F03AF09DA11ECBA4937E8B707037F21E9D31E49C39BD18932543E571F92D6296A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Rules/Data.hi
FileSize17788
MD5C6E30DC0FBF847EBD7D0918C1ABB7CBB
SHA-10C9D3DB30C9FD60ED57F98824B2A67FE54B73F9D
SHA-2564A9F2CD1807F721DF170507DB35448AEB286C0FA387BA0E20143FBF0686295EF
SSDEEP384:T9pb7fE4Yhgi1ms/mPBL5WMYyf6EePdDJ2H3C6NT:T/n8dL0uyf8PdkXvT
TLSHT15982A4E51718097AFA200D378CFE8B1157606A129B47DBEF61D590E31C8EC9E0C7B966





metalookup is a service from miwakeru.com