Result for 159A8BCC93A5E5E37B689A36148AF4D30A21B565

Search result
Graph view
Children (251)

Query result

Key Value
FileSize9608392
MD52C9AF1ED3745A2745FADDF8A6B66F026
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.4.0.2-2build1
SHA-1159A8BCC93A5E5E37B689A36148AF4D30A21B565
SHA-2562E91AFE236EFBF39D3C79421811AF07EA774F420872B2B47E176AA512D6535BA
hashlookup:children-total251
hashlookup:trust50

Network graph view

Children (Total: 251)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Copatterns.hi
FileSize50564
MD5B8235CCB773503D0B0842A0311E183FE
SHA-100424804D47D2FABD1DEBF82347503300C8790AB
SHA-2563EB7A66F821D2FF748E1E447D17AEE7492718748B78FBC4237871786A4E47097
SSDEEP768:Z5QDQ8q6LxmvO6PNL+Q4HfuBz+XfDC1zpl:ZifLQv5L+jfun
TLSHT1D0332B7BFF15C617D8691E3A48F647407722E8C349328B67659E2A306E970F42DB34CA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DisplayForm.hi
FileSize22440
MD5218115B13DB0953DAAA08F0C95C06D91
SHA-102E10197EB090E9A8B366CF8E14E83FB7946F818
SHA-2562BDA2355F9800C24C7830721CF8876DE3E81DB82706DC346DBB772CB3C84E363
SSDEEP384:Z6HQHc6s0S4R5eewO42YBPS5nXfu4kSi/RMmTmRXjCnjDOICymop0m7NfimYvIrS:ZPc48wI9fOznppQRqRiBFk
TLSHT1DBA2E070DF04D622E51059374CBA5700A731FDE39AB2CF9B268E63233C0B4795EA26D6
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Constraints.hi
FileSize28592
MD5CBCC215743D45DCD3B4FA50121412B5F
SHA-1041EA8A4FD1E94F9A55C4F3C608C3228B2F0086C
SHA-2563E3EC4EA0E250B7B581F23E73B25FA9599495DDFD22D90FC106A18735F95ECDB
SSDEEP384:Z1ibD9XiucetarkC39/Gh0V0A9c4+cuOGhfYRywVoUmf1Tjjaj00/MZ/W/OZf6ON:Z1ibDguTcuDUepfhEOiyRJ
TLSHT1E1D262BEDF14D617E9411C3788771B04BB21EDDA5A62A79B158EA223BE370F10CB04D6
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine/CommandLine.hi
FileSize45951
MD59B55E2E5F47BBFCB82325BC96BD6DD5D
SHA-105758FBE90F762F500930A72C28E16F518640795
SHA-2567FB43698C0811080C521ACCB74BBB35C7170264850D6F75DB3F7345206A5F10E
SSDEEP384:ZrJRVZwbwISxBDgcVVBNCN/JazPKJNs1K0mZI04cCOyf6q0IjQ7jrfsFfAssly6F:Z9RsbKBDgkwecI04dfvKrE5sx/
TLSHT18C2371B4EF189316E8604E324CFA5700B760ECC38666DB8F188E9273755B8FA0C765E5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe/Strict.hi
FileSize36316
MD5C91165E3FE7AA30581F1C4C6E84C3452
SHA-1082055C9A343C7AE8982A3FD2200378061092863
SHA-256E27865FC23E158BBD24EE9B13AB2D5B49A34C8F318002F84FD988DC8544372FE
SSDEEP768:ZlagUXMczfljtorgUATBKvlZa9yIopmUcSSBYGfQokJ/Bksy:Z9+ljtorggDqNfiB2
TLSHT1FDF21F9EDE46C742E9985F7000B70B45B768E9C9A535C653E2CA6E207F33FE03CA1586
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/CallCompiler.hi
FileSize9293
MD560163ED481D808D8F49591A0A19F95D8
SHA-10B99E050E12BEE2384A2E05EFF822EEE5A9A1F88
SHA-2561C1D5C75C1B6D26C82E8B52AB6093638251BD966E57369A7842295E888C612A1
SSDEEP192:ZMZq1m01Uhk4Laze7k5s10qNTG+qHgPnxrtTjS0nk/HU72q/PQ5F1FlvujCmd+fx:Zq01UhkDMXb4f6MmBCH6s
TLSHT1CA1263B98A18463AFAA10EBB0CFE87009B50AA53D947DBDF11C5E193198DC5E4CB35B1
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Monad.hi
FileSize14600
MD5A727E304D79315EBA6704C2736C18A77
SHA-10C0DF67256210DC19A58DA473B0BC9F631B78F69
SHA-256B8BC48CD7739826C0B72A2D45659632C24A5629784EE80231B065ABC0AD87C91
SSDEEP384:ZTtV/pN2gsPhvcROyf6SCeoDEnJf6EEclpIrv/Glouvkp0rFl:ZTtVklOfDiE++7B
TLSHT1D86297B2CF14C736FD200A778CFB87006B64ADD28591E7EB11C59453288B8DA6DA36F1
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Unify.hi
FileSize172774
MD5B53270BD5547D08265B9199D0884BE21
SHA-10CAB6C03ECF44A15385C2BAE675AEE8D7C8EAE92
SHA-2563E73A0179DDF52FAE7FC05315EDF9C30763B202412664523F75A5F73A3599C27
SSDEEP1536:ZYo9SK4aD1r/6lFM0fwl5lBxHJQztInfBQ/KLfbhIY+fLIPFq:XTn0Il7fpQztIqKLfbhIh/
TLSHT1CFF3FF7AFF59A65BE46426758C7737807344EDD30631CA2B504F6322E9938F01E2B4DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Compiler.hi
FileSize62446
MD59C821C4AACBEA75D63CD50A9DB517538
SHA-10D8D278084C7AEEE774F4B61C98FF5C15962C524
SHA-2569885BC8EDFEFBC281D4DD93A56DDE5F910BD967F90F40CDB4BA903023D1B6F51
SSDEEP768:Z4dQeMfzt0QZDWjgwmpmlq9LN5wzkCIIm9sFrPOp0yjzIPkfjGH+i6p7ArRJ2P/N:ZJDJ5Ifq9LNSzkz2rozIPkfj02EWP/g8
TLSHT168537065EF0CAB17ED781BB28CF64B00B760EDD25922C78B15CE6267591B8F40C722D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test/Generators.hi
FileSize103537
MD5B10ADC43FDA2B7598C16E5825FDF963D
SHA-10F22625A185C4F9A284FD884BA6C44549C65C00F
SHA-2562F35931D584BA9FD34512954876EF5327B1AB461918B5D30C90C756949D7D1B1
SSDEEP1536:ZPMExHwTGj8MgRPZFub5777777rZPL8tDEf0r6qfWt0QCrVl0wd+34ZKQPSs8j:pxgRRFY5777777rZ4tDu
TLSHT142A31F65EF08CB07E824077A44F71740B321EACA6A32E757690E1671BF675F01EB24DA





metalookup is a service from miwakeru.com