Result for 3C714C256B82E2E57CC9BAA2F02E3EA17C29277A

Search result
Graph view
Children (625)

Query result

Key Value
FileSize23272728
MD5573B20B65476C87A6C6AB32D81FB3B60
PackageDescriptiondependently typed functional programming language 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 provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.3-5build3
SHA-13C714C256B82E2E57CC9BAA2F02E3EA17C29277A
SHA-256790906BEECD1F9D726AC31AB6BB1279BBC6A9DAFD12CADE01664D1EA500E3EFC
hashlookup:children-total625
hashlookup:trust50

Network graph view

Children (Total: 625)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Interaction/Highlighting/HTML.dyn_hi
FileSize30236
MD5ADDD822A02E392E249139E27EF6AF2C7
SHA-1009A187EDD36C8B00B5999747F603B8988A388E1
SHA-2564EBCF4541AD912614D12EBB45FD52BD927560B36AC38D28A4A3CA65FD47BFA3D
SSDEEP384:p4Wyv3PESXz2L+YFRXbQpG3O1xGDNG/TsM3N/Q2CCSoA13kI9R+RLWzgF:hi8WyLb3OH22T3N/Q2DS71hX0
TLSHT183D2C658AF489022D9740D32ACF543107BB4ED81C083FBE701996176CCEB6D86FA66DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/DropArgs.dyn_hi
FileSize19068
MD5943CA1197E557201FC82AF311326D46C
SHA-1009CA926E4E8C9BF61EBDD3BA09342720DDA9DA9
SHA-2569BA784F86F39EACE87AE34A1293B8E6B5C9D5F9DF8957A04CC2617DAF90AA681
SSDEEP384:HRTkgPEAYHC1FIqYWY+/RzsMBd/W2EOSoA1abXai:Hp8AYi1FIqYW1/RzBd/W2lS71abXai
TLSHT10F828495FB0904B2EA600A3B4CFA4304AF60D942D143EFDB1195B2B75DAF8DC1F52AB5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Abstract/Copatterns.dyn_hi
FileSize81689
MD5E58074859CB5C11B70CC77B831DEDB67
SHA-101905C63BE9DD90257DB9B71561C486966EDE310
SHA-256DDE15B80E6B8F91643629B4DD28D8EFE9318D1543526AFA4E400AE8E6267B247
SSDEEP1536:5mgpHnjLmn5FBfzDtyMaaD5dks+nPkuIQIdnjBxW2N0:samP9jutIdjq
TLSHT14B83FD36FF446617C9280678CCF513146B24D9D2A646AB5B2188327EECF77E43FA25C8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/EliminateLiteralPatterns.hi
FileSize17058
MD5430C722E5538C243678EC3F9E221FD1D
SHA-1022F2C453104DA6587569BB04506BE04B5D2246D
SHA-2567472081B2246471DC14A25510CAEE966553C6F3CF17AC058E50017E74456E0C3
SSDEEP192:gBECpY5AVAWPE92fR1aTVrSi/2twXo+HIuYKADN9nggARnSqsrtqJ6WjS0nk/HuF:/EPEkpm2t4zMvd/W2E0SoA1a1eeyYan
TLSHT13B72B868AF080522F9540D7B8CFEC3017B605A5296C3FBDF01D5D1BB49AEE8E1EA2535
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi
FileSize93501
MD575B667372BD6B5217312B7E50322AD67
SHA-1027DE8CC26F5EA0F1FFA8F1B1AD44600CFC4C430
SHA-256C2B4E8783ABAEADA40FF87972AE0E9C8AF89D376BB07F62C26553CA3613A4ACC
SSDEEP768:fQT84whny5o44zp4UjHo1pKfk/3wlPDk2KS71W5HnOGHIDZ7vBKwiiHHnY+m:fQT1wX44z6Kc/3Qg2+rB+m
TLSHT19A93FA51EF9AD213D61E1AF482BA43486F20D892A785BF173024717CAC77AD03F52ED9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Memo.hi
FileSize6737
MD53D5FE5A09E38278AD0699BE5EE65139F
SHA-102ADDBE66CEFEA8ECD5535BF90819F2D119167C6
SHA-256C57002B929CBE8EDAC5A166E2121E8A519C8B52A41D3C7F4BC72C8C830B8B848
SSDEEP192:uifeCz+noks9d5wcmsJ6ss9d5XEdUxwWRC8zcnSoMLhtXnx5YF:OCdcXDWnSoM1OF
TLSHT1FDD1545DDF28D62ED5580B3980AA83243F20E56299D39F9321D4747C6C23DA43F137B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Internal/SanityCheck.dyn_hi
FileSize12351
MD5F533031DAD470DC3CC104D080885D8A4
SHA-102BF24E45AE628780EA3759665EBBA2DB13818C6
SHA-25688AE6512119D04984B2E9CC8286D53917CAD82EE372B03B1B4C6D1AC48C4ADAF
SSDEEP192:NgZ2Iz+WPE9en/8eOb2VrX/b+HIuYKADN9nggARnSqsrtqJ6WjS0nk/HudF/PRFD:ArPPE9m/8vbUsMBd/W2EOSoA1asvF
TLSHT145428469570C0965FBA10D3B0CFEC7105FA09A22D193EBEF11C5D1E31A8EC9D1DA2A76
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/EliminateDefaults.hi
FileSize12627
MD55856E09A2CF4EA8889E7F596E02F6A0B
SHA-1030E2B76C751A2DB65A2C2A37942B67E11160BF4
SHA-256639E43370D412881242B053E586A5FF54817B6A9711C00CC394BCE86C0D48AD6
SSDEEP192:gBECEURMt+WPEPQsArSi/2twXo+HIuYKADN9nggARnSqsrtqJ6WjS0nk/HudF/PY:/PxPEo52t4zMvd/W2E0SoA111A
TLSHT19C4273B8260C4975FAA10D7B5CFEC7015EA02622C693EBEF11D6D1E3158CC9E1DA2A31
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Rewriting.hi
FileSize46990
MD576E8EE4ABE4A72211BB36E50FF5BAF9B
SHA-10369268F86BC63EB6835328754601DD229909419
SHA-2566ACB0A14C1620657856B8D5E4397D1BCBDB43B43F667C90220E557ADB68CF2F1
SSDEEP768:ILpL8yMTU5tv4EUFlNt4i8d/E2HS717OtCDxj9VMS:oiTU5tAbNt4i8xE2OOeb
TLSHT1F523835AFF485113E9340E75CCFA03047B30D9D26947EBA71095607AECEBAC82F966D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/List.dyn_hi
FileSize35899
MD58A0CB6D01C3106F544A667981E0E4C6C
SHA-10401FA544100CD399B266874580591B92AA6C89B
SHA-25649241B1F9117FCDAD454EDEA4A0F6F04BB65E5AA8CD7FA7D971BC97FDD1DB325
SSDEEP768:IgQ3+MZMF+LqX7FXUtmJOPqgUUKNHs53PNESndEsdIKI+Thi2Y06ETd+:nbwTNjnKZC3VZEsyL+ToF
TLSHT1EBF2351AEF8AC213D9280570C2F61314AB38DC51B68ABB47550976BCEC737E17F16E98





metalookup is a service from miwakeru.com