Result for B13AEF5B16AD073E276527901781050EF4D3A916

Search result
Graph view
Children (216)

Query result

Key Value
FileSize12390688
MD5FE9C4DACE0B6890CE20408B1B27104C2
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-1build2
SHA-1B13AEF5B16AD073E276527901781050EF4D3A916
SHA-256B3904DA7D4285BAE7092FEA10F30B60EA15B9163383D9F1202AB849AAC6D86F5
hashlookup:children-total216
hashlookup:trust50

Network graph view

Children (Total: 216)

The searched file hash includes 216 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.1/Agda/Interaction/FindFile.hi
FileSize15140
MD59415BFEAA0FAA3D56EDA03484755434A
SHA-100EC470E736677AC919A052B82570167BF6A146B
SHA-2562727BF30D9CE0A5A9D993F5E3798D82CD47816CEC23B4EE0AB334CBF17FF1896
SSDEEP384:ZWKz0NhpXbMT26T4IDLrnPEkNCBSIZf6hjfZEodQ6x+:ZWNhpEPrPmVfUVO
TLSHT1D56273AB2E045A32D9141937C8F74F403760FE556A91DEAFE2CC51D32D230ED2EB2996
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Primitive.hi
FileSize160191
MD5A5F6CEB8BBE0B1A3CD23522141493EA7
SHA-10120EECF950CF025FC9681CE65FF5B6A84F25A5D
SHA-2567AF59389EEE019FAA139EE21F433F358EC51140A024B8C1AC17387837A275029
SSDEEP3072:dKWXm98yyoI3zJEOUemBvDOlULKHl14MYNPLLpSSaBSZ5X1ME:dHGGE55JL
TLSHT145F3EF992708AF03D9209274C0EB6F94A720ED0A7F91D7BFB29806D35B635C91E3355B
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Trie.hi
FileSize15105
MD5DB32CDF75FE70D248F187AA7373F31C7
SHA-101699A96B6F0DFAA7F6025D21A408A73AB8EB1D2
SHA-25634BF99B8785B1140D2E184B90B55A30A48E208251DEDD9778AB94C3C654025E0
SSDEEP384:ZkAMkrhMGIfBNklvYQF1cP+aff6PPnHQu1E:ZkCk+2f6PPnHQu1E
TLSHT121622D965F45C716EC781272C4AA07143730D987AF12D73F96C82522BE1B4EC3EA366E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Decl.hi
FileSize19305
MD5E509D6849877B6445ED650F4F45F6657
SHA-10202DA6120FB72B0125C38F49EDF8A2F2F87E9FB
SHA-25692D8262E2881FF595963A7F533CAE04B514944C3F375A11B213D91F2461EDB9A
SSDEEP192:ZjrtUyL9bjBiFAaPpqrKYl+33IBKczTej8TjbzryXNNkUJ96O7UZ/OYdqexOtXry:ZiOsHPAphzC4Hry/jbU/f6JF+HNGy6ju
TLSHT10D82B59977081561FA250D379CFE8B0017607A229B83CBDF61D9C1B30D8ECDE5CA7666
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Syntax.hi
FileSize22020
MD57DF427004EB742E087D0582D55F0959E
SHA-10276C27A17CDA4B8169D711877E67CCBCB1DDE69
SHA-25645617009E8D3280CB64D7B072B54C4FC8A90161D12D9BFEBB052B325C89D1081
SSDEEP384:ZKBv475o8sF0WoAMdBRix4IjmjoIiMkyzUW9VGtSX5k3iUU7JWUNf87jITbw95iG:ZKBvTofdBC4ocvNE8+pWg2bFxM
TLSHT1B9A23181CF289E66EE5849B6E0C703783320D3932729DBEF4249A57DBC326D52F67446
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Function.hi
FileSize1166
MD5AC56FCAD736A98A69DD69806D2CA26D4
SHA-10280590E4824406F6CBA369B37CB80178D0D9FDC
SHA-256280A12814D3F2144C326ACB540152D68F6C254466F4B96175D2C2843BD563905
SSDEEP24:ZBsPPLD1rFECNl6sAcpM6YrvkU6VbOlz+5Jnt230A/Nf:ZBsrhrFVlu6Gt6FKzgJnG7/Nf
TLSHT1A421008E06019A2FD67A0F7684C343943333B1139A87CFD734D43274AC072988C31A29
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Fixity.hi
FileSize60610
MD5EF90E8522B92AC11433D1D1E04E6C552
SHA-102EE99768764BB53C97FA4B88AEF4A441DF11DFB
SHA-256F822D297A857C1B0616382FECC665B435D3206B32389864641740460311DB0B2
SSDEEP768:ZjVxo2Jn+as7nZYjkMZZgz4vdp1CyIrAVidY11JDcoOFFfB0oBWXke7E8QVZAIA9:ZT3eyIrAVidY11JDcoWfvAI6
TLSHT163433303BF0EDB11EC3A0935C4AB03873B7ADAC70E5BC3A765883219BD571D4AD5199A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Case.hi
FileSize15297
MD5C2E79CE23EFCFCE4E80FCA972672401C
SHA-104AC6AD4F002A146C3E209A47A47C33150E577D6
SHA-2567D52549203A3E0802DFC42CBB83DAB338FA832CED96C19A6FB8939F9F42E57BB
SSDEEP384:Zv4SyyH3kwA+SfM9dh5Hei1hnSPYhNDEJzf6TXVwPVzitFG:ZvtXP4f8XV0VzitFG
TLSHT15E62F0499F15C823EE3859B7C8DA17847B22EA226705DB5B72CCA0326E531D87C73C5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/LookAhead.hi
FileSize15931
MD5957B09FD60DA3DCC1ABA140E4F764705
SHA-105B469EAB12FD6169D284ED2052DAC3AB843EDB0
SHA-25668A5437AF7B8FB542970582757D1FAD88AA6B373E181318BE78AE6F65B4C660B
SSDEEP384:ZuyG85HPb6PQo0JmOcDxy9arVTdPYNBf6kTsl:ZuZ/D0ar8NBffE
TLSHT17F622DDE8F06DAB2CA340876C4CB6F442721A6587681D77352EC1FAABD471F94D32C4A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Injectivity.hi
FileSize14802
MD5FFF3CBD11A676D2FCD8085C8164A2C82
SHA-105D97EADDF0390C65CE8EA1AF42A33C58511C8E7
SHA-2569A81F4FA107E433FD07B5AB4508B1F3DD474E69C756CF112366FAC1762C520AD
SSDEEP384:ZpfQLSmK3mAxD0uuijABFQf6cKIfFojQhG6Z+:ZpUSlCnQfjMr
TLSHT1A162A5E91F084979FA610D379CFE8B012B90AA228243DBDF21D5D1B31C4DC8E1DB7669





metalookup is a service from miwakeru.com