Result for B8C7D16C3B1B1DC8A782263CB10BC30550B59B7F

Search result
Graph view
Children (647)

Query result

Key Value
FileSize13131994
MD584546F10822E9C7086D5D1D9567249E8
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.2-2build1
SHA-1B8C7D16C3B1B1DC8A782263CB10BC30550B59B7F
SHA-256CB6D10EED0F329E60CD4984B4DB11949D1008C7C213D4F0A8F4CF150B098B8B2
hashlookup:children-total647
hashlookup:trust50

Network graph view

Children (Total: 647)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/CompiledClause/Compile.dyn_hi
FileSize34509
MD5E2B5BB4D3C93165A913142CC31117270
SHA-10020AADDA35C5852513280698BDEBB4655FE4918
SHA-2568052F8875D55CB61F833BA97E5B952FB9C751B635303E8F3586612F972DEAB2C
SSDEEP768:FKiT+AEBEtzCpuPXBZt4iONcfSS2YS3bT8g:7T+At4iOGfkYSj
TLSHT18FF28469BF089160E9740BB59CF983047B70ED825B82CBDB22597173DE9F4C81E721B9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/MAlonzo/Compiler.hi
FileSize88323
MD531B52FD3E500B9FEE3205A01F8FFDEC0
SHA-10049C7B17F97588E4E05A53B39A7B77F1B9309A8
SHA-2568498C292F073F968D88CC7E234DB3E29F0AEB0272FA6D27D6A9A1EECC467A8FB
SSDEEP1536:Lqs5KVWfBedLhBGSpCiet44TesfdWBwqKHa+:V5uW5mVVet44TlH/
TLSHT19D834E51AF099763DD390FB58CFA4345BB38EDD21712879B00487076DDEB5E82E722A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Serialise.dyn_hi
FileSize35113
MD52E1DE7E4FFE56B9BBDE23B85C4901CB9
SHA-10063F856BDA5129DDCB75DC06CF3D84E9A6FBE67
SHA-256F7B515D81C3CA72EC117DC4F3A084F3535623D90DAEE94F12DD300775BCD0DB6
SSDEEP384:jw/nWlfWyUUmSPMS2S5SPmXYdTBSmSSfEYVuwuHYcuGuVSXmSzAdTcTIuSRT5AHm:jheyUU6dmkwONybvfRS7ljfjL
TLSHT1E8F28459AF089125EC690FB28CFE4704B734DE8256539BA70148B472DDEF8E42D722F5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Parser/ReadP.dyn_hi
FileSize58074
MD5C6A2EA0F8C2D98FC4861D56C5B0B71CE
SHA-1012B8338E5EF7712061C6BA6B2B08D29CC9FF9B7
SHA-2564A3E115B10EB1F4FFAEFE250BDE817CC9333CB4C05349C25A61BB1ECC8CDEC06
SSDEEP768:GJ83sK6L1+Tl8RUO/V2Q0yw1ggkOtiiFbz9Bp4vQ1TtfKzoHj9PiNpy:GgpESTK+
TLSHT184436F55EF83F71AD81687719A7DE74CBF24DB9026219B1B4009387CAC32B8B6D7131A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Monad/Benchmark.dyn_hi
FileSize13607
MD5C06E29E1D6CB418B52F4C00D7F94E741
SHA-101336B62D2D7585C96EEE9A2B6E197082EC81FAD
SHA-256D9C48E8879FE9465D0A774766EDDE1E23FDB97F625E293F2C3AD0382F47594E5
SSDEEP384:nNVa+yrSD9H8S69qYR3zbcf6fSohyN+uVWMM4/x:N4zuszbcfSSbgYjp
TLSHT11552B8A88F1C8A26F8580F778CFE47107F70EB529552DBEB0584A4A3CDD68DD1D6242A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Tuple.hi
FileSize23162
MD5EE8830A5936B6803BFAF9B80596C9294
SHA-1014105C8F1C862DCAA2B75A87444C1E9126049D6
SHA-256D8D94AAF5279BA3FC0A05243540353154BDCBA521BD199F43F122F1210ED8B9C
SSDEEP192:mUg+5CvabHdHtmfcryQk+SIdpMjS6gZK50t/1KSGZHnOgLuIMpSYwaoOL7Qlvi1g:hgwmqMUtZtn2JL
TLSHT1C6A2E206FF83D35EE819673580BD8B0EB730DA950A228B5BC005B934BD767C81E7265E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/LevelConstraints.hi
FileSize13112
MD555A8D9C473BCA43B7177AC46897D89E9
SHA-101D4CECDD149FE48AE71A6DB5C96BEB43059AE6B
SHA-2563731FFD7D283F99902391A871963A40643493787F7845A26975CF875059C475B
SSDEEP192:DriynltcsLyrTvSBVB72M2l/eNfghx+HIuYKADN9nggARnxrtqJ6WjS0nk/HudFb:nfnltcsLyrT4rY/6zbcf6fSoZjFyj
TLSHT1A642A5E9DE08D221E9240B3B4CFB07017F70AA52A253DFEB0284D2A35D5BCDE1DD1669
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Records.dyn_hi
FileSize90460
MD534DF29F48F5DD83F7912633E62F3901D
SHA-102154739CAB4EE248D0916F253BF7B2664E7FA45
SHA-2561CEF1DE220A1C45486A03895BB1841BB28CB6F2252F5DA90514DDB37CFC49FCE
SSDEEP1536:fUSIMUL0VQWCpHvm2QD8T36p+X2pDtvWt4r54f0FXj3RD:ctnpPNSs36p+X2pDtvWt4rLd
TLSHT1AE93FB1AFF49D30AE8280BB1C8FA5305BB34EDC15706CB6701457536EDB66E42EB61E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/MAlonzo/Pretty.dyn_hi
FileSize47099
MD5581AFE0DB8B441E275B8A7D39588D737
SHA-102D1A7623F3511F12DD2F038500C303138D218F7
SHA-2560CE6DB0D9402C90F1683264D220740AF1D87963C1D7341126F52F33BA42B9E44
SSDEEP768:0CnNtG1twEtVPYgEoQS+TSVZxZVfmtCt44qeNvfRSiza1pRV8albjf:aBCgwYt44qe9fti
TLSHT1B1234291BF289227F9381B714CFA43553B60D9D25783C7DB01896132DC8F4E81E77AAA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Termination/Termination.hi
FileSize10079
MD5C85EB4FE38247EFD56A11746B0A1F308
SHA-102E0C0FAFC2A98579559825214E46CED6A730A5B
SHA-2568951D1106E8157E024D70B51D867DA80A3FE0BD0122AC23BB64E231DC39046B5
SSDEEP192:3WIQGbn/yvW3N6DeFnIAftJJnTmtud+/yS0l+f6fSoz+s60W0B:3zn/yvWaJtf6fSoz+sJ
TLSHT1A1226348DE40C6B7C9190BB28C7A03083F70D9E10752AB6B0198B1355D23AF9BE725BD





metalookup is a service from miwakeru.com