Result for 8120E34D5F999705C3B6B21D553BF24D95737D6B

Search result
Graph view
Children (173)

Query result

Key Value
FileSize8674766
MD51BD825B663ED288A6272A2792FC31118
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-18120E34D5F999705C3B6B21D553BF24D95737D6B
SHA-2560728640414E65A5D8735AFD10A082082CF9D5113FB8A5F60C999C0FBE20DC6A9
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/TypeChecking/Rules/LHS/Split.hi
FileSize38032
MD5A2B6D5D1C41ED7C11E28AF457EC20FC2
SHA-1034B1B7C65B0007FE79F1C9E4D1D1DACFDFB4BCB
SHA-256C162AB6A281D63E547BE05ED77FA89F54F6B8BBF6F4D7D69B5AD2A3B5A588BFB
SSDEEP384:WwWtKJzdzVV0E28d98+Hf7VVMKnbXPHvMBBotuIdK6sRJqBSGWsskLO:WwDM6QKb8rqIWBS3Wy
TLSHT11503CC9E5B4C5A13EDD51A334CAB97003358610AD411DB9F394EE22BBE4FBAD1C2F219
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Interaction/BasicOps.hi
FileSize60985
MD55E60FC345C29AF09784DD5ADBE02B360
SHA-104B3A2ECA41E354B638D6A1A511C89270F6B9E28
SHA-2569BB4A482FFC438D8FB290AC25AF3EF2753FE6F2DC22F1AAC04E44021EF6E52AA
SSDEEP768:VLBlji1/7LrvngMEE077a9c7aFzKuWjqZ4H8WjHB7amSHhr6YFDI17aJB07awl9z:V87Lc8c9VSW5Q6
TLSHT14D53FC1E9F4C2437ECE44ABA09EB471237659926C203CBA7724DB0762D5BBDE1C4F618
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/QuickCheck.hi
FileSize7952
MD597E2F192B0849DA06D73AF96B2DFF2D1
SHA-106543B1DCEC4BFC200986122E38EF2EF51DDCF04
SHA-256F580D58B53EEB24FD08045CF7CA645D2EA5A736AE6CEA419F579E64E50662AF2
SSDEEP192:Z3LexcCRT7TVMsOVI9BGUosk6papYBkfSE60:hLAR9oT6paD60
TLSHT1DCF100CA4F505D7AFDE80E7100E546123B34ABB4E216E7977BCD21780CAB6A42D5F718
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Char.hi
FileSize2213
MD587C2695F8DD1A877D773C975B88203BB
SHA-10A6CA1E05453B528226A8C1D4E45D3A8058A17DA
SHA-2560F7A9EEA566D200835F19E16B88EB482308E175811DEEEFC9B43580DE274A030
SSDEEP24:Aec2iXmMDXyxy/dnvS/jnj1xj87yHU1XNQdpmjnG1JJzA18P/Vp6/Qk/:OJX7DXyxyRvSjwm01ApGnuJJzn/VpbU
TLSHT110418B5ECEA0F83FCC850A3699FB03343734E285AB53DB63215921F6BA5E2901E1925D
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Interaction/Highlighting/Vim.hi
FileSize17257
MD528B1A4B7AE0647B93631F625849449DE
SHA-10DCC560D4BEE156EF47FFD898E2EB66C66314296
SHA-2562A6B4C78FAAF3800C5F9547700EADE94BC93EE428F6C15C8F885D2CD0BA8633C
SSDEEP192:yB2g9le8YYV2OfB5hi1eTqPOJ+qy8qvtTjJkwU7N/PQqlP1ForQVq07RlS8kG:yB/e8YYV2OfBu1eTT6yhI07RlS8kG
TLSHT18872CC6D4B5CA637ECC006374CA757113760E622E402DF9B368DE4666C4FBAE2C5E728
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/SemiRing.hi
FileSize2608
MD5A312CF17B43B055163EC865E9E7EDC8B
SHA-10DFBAB9A7F6734075D208233B3CA5B209DBB1AEC
SHA-256CCA44C1C645BB19F3C39F6309938431416417490C693EAFCEBA7ADE46D80AC00
SSDEEP48:vICR2vGEqQOMTgcbN/QOMhQCIQPGLztJgcn/Ns1SG3:v+rq6gcB/cXyN2z
TLSHT19051078ACFA1DA2AECDC0D34C0E703042721D28EB9EAC71B549D15353C872E41DF9E65
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Abstract/Views.hi
FileSize5074
MD54FB6A474F27287257088C20A502577F2
SHA-10E44879F69D28BDB709119ACE440043C4EA7F8B5
SHA-256411C2313D04E18D7D1EF581E3C744EF2E30BBDA86149404F8C419CFDADE6E6C2
SSDEEP96:2WnRe1Fphw0Toa1zdfBCY5WTXqEkjJ7N/Q6/Z4DuBQVTdWcYLgu:2WRqFb977iqEkjJ7N/Qq2MQVUl5
TLSHT1A9A13E6DCF986E7ADDC80E3B0CEA43152730E319D102CFA746CCE4621E9769D2D6E614
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Termination/Termination.hi
FileSize31421
MD59EF41219B9334BAF38C85FE8AEF50BFB
SHA-11024D5060A995CDA7617FEC268D3C303B6A4D0A9
SHA-25638A0EF077CA2BDC03A761E6FAE76C8D55028B95D80479D9A53849CA202B1F488
SSDEEP384:fbQw/QRIMmQRIVQRIJQRIjQRIAQRI5+Xj34UFidCtMg4X+RnHOIbhO:fbTJngzX+RnuH
TLSHT1BFE2EB4D8FACB92BD8D80B7101B7076133389509E393A7A7399DD534AE4F7582C6F628
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Abstract/Name.hi
FileSize81232
MD5857AED7530CAF832BBB764F766EF6A6A
SHA-1112DEAA9AD3997073FA258AC0EE8F951963EBF9E
SHA-2565D039CEACBBECD49B3565F775852A25BC1378F8078B8F60A234B4054999C76BC
SSDEEP384:g2/b85xAowRk0m2rg/k1qtP0IWmG4C90y6OthnokoNQzNFFz9Vk68IGM8/gV1sez:l2lurt5Fk5hS8zZDcI37sa1VVYB/3
TLSHT19A83EC17EF65A927FED40BBA58F603103739E189D202CB97768E21302D5B3E81D6E794
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Polarity.hi
FileSize54253
MD5968B0A5471E539B5EF7AA33F309D8130
SHA-111918B9954944ACB9352CFEEB0D33AE507D20404
SHA-25666F289D87CEFF9868A4B037A5A431F99CF46187200785B2B9FFED9B0E1D73569
SSDEEP384:H2MxMYfqfzfEjLRNlOttDE09DVEZGiRkmU4fjfQfFwAEwUWuZfQfIcYfAfeyYf9M:H2m6W2zagGV0aM
TLSHT18A33BE8CAD8CD63BEEC09637157B130AB794924AC14ADF9B369C49615E9738C8C8F71C





metalookup is a service from miwakeru.com