Result for 19984556B8702C5102B21C3B3765DFC07B096CEA

Search result
Graph view
Children (229)

Query result

Key Value
FileSize13586672
MD5A21EEA14FCD0C41995ED3F3FA666E564
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.3.2.2-1
SHA-119984556B8702C5102B21C3B3765DFC07B096CEA
SHA-256F542110323022EBE6D3C4AC50C06125C71596DF15C98FE61FAD5C9049FDD05A0
hashlookup:children-total229
hashlookup:trust50

Network graph view

Children (Total: 229)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Injection.hi
FileSize39644
MD57775F024D55BDE2B398A5EB747C9E6FB
SHA-1013E034C72D235E1CFC69704296E9FFAB1444946
SHA-2565755BF0AB49E5BE5F9A72D0037F247292BD0A88A29FBE3FEDC43338976E40FE1
SSDEEP768:TtJAxevHCsdJHwwZ/Rlj6CeNQdkrfcH1/CL:TgBsdJHwwd7qrfO/CL
TLSHT1050362B4FF099627D9904A328CB717807720EDD259B2EB97415EF16228474F42CB78EE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/CaseSplit.hi
FileSize23187
MD5ABA8AF1FD23E46AE1AA8EFDDACF35477
SHA-1028DD79E30574DC4EDCB747BF23D0269EBCE85E9
SHA-256C72C5EAECBD610AC78D88DFA9FD8141EEEBBD128C056052FF20C2BA863C50535
SSDEEP384:TgFUdqS9jIvp23YYMsVyJX3hYSIgolfY//uPreR8HR9uVBKLm3SiD9qFYekT/TXm:TfzIkYJ6OWoPz09S0
TLSHT1AAA23335DF04E706D8150EB444BA37007725E9F29A31DBEB210A6DD9AE23DF5ACA18CD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/Monad.hi
FileSize986
MD5D14777D0B16F1464F34E1397CE0708F2
SHA-104EC8848FA50B229D1267447C42D976B827A5D88
SHA-256307883EBEA44437290FF457B98A5F6FE85AB43153EA8FA4DA9A6300AE87D8388
SSDEEP24:TjqzUNECNYfeJaLyjwKJa8dGvjY1f5DZ96twto:TWzqVYf7Lyzwbv8h8wi
TLSHT1DD114C7A6BF4452FF3B307BD947B41C0FE1678A3BA03D9CAA060601504CE2C88DB8469
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Closure.hi
FileSize8809
MD5AACC2F685A30EE0D395E3F9F95196F12
SHA-1060CE07BBA56F9EFB6F456B4DFA5FE4D35DE4B1D
SHA-256CC64AA5573F376D4B1ABA1CCF2C78BD80C9F00B80C0737EF971075DCF217A349
SSDEEP192:TfBaEHwffuibT3UOQQ1WTx18v6LBGY3G+qNPnxrtTjW/HU72q/PQ5F1Fl4DCqQ+d:T7wXuiboQ1Wv8v6LDWlf6rSf6rQd
TLSHT19C0274A8CE108425FF650A77CCFF4B006B6067E6D152FEEB11D9E0431A8D8CE5CA19B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Constraints.hi
FileSize32328
MD5D9E2C6FB9196285201962D933D5C66AC
SHA-10907DE2C5C51E7EC8F2ABA5B39F5B28F6ADA8073
SHA-256ACBBC3126BA1793D4D3E8B3602015976FFAF423AB388868F088D0881EDFCF383
SSDEEP384:TwRwwXKQFrg09vg0EWyg0aE37atDynDX/x2GBqIy1dHBnvilf69ivyLXjlf6rOQ4:TmwsrgslN07uh3BvkfWislirfRwn
TLSHT120E28478FF04D336E8256D328CB75700A760EDC355A2DBDB16CE5262656B4F60CB28E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Exceptions.hi
FileSize5308
MD5B08A80C4A3581AB1775DB4D026F51356
SHA-109EE42DA67472D68545B6C8801A65A16BF957137
SHA-256A7E4E55CEA7941B040BA807421856CF9065878EDBA82D2BDCA2B76EF430939CE
SSDEEP96:TyKgu5cf5kV7Bz5G82+qynrtJFU7N/PQ6/FQV9B+f6tuViCy:TyWcf5kV7i+qynrtJFU7N/PQqFQDB+fq
TLSHT127B13235EE008A23F7910BBB5C771B14FB206753E525DAEB1680E5432DC28CDACA4C6D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Parser.hi
FileSize43426
MD59155F121B16E9029C349AD78FD4AE910
SHA-10B3C9395C07884FFC3B4C7FFD2ABB216FCA9B0E8
SHA-256008EB3C1C7B0E470F492499155E01114BBF3738AC0A83DA466D9805D7A379E37
SSDEEP384:TKSaigkEsE+vxsxW2GvGaCQ6NlOntDw33qDZ4R9wQHbrkIq3ZIqa6qIrEf/aMoLK:TKSnoRbO3e/nWDt3of5mc+q
TLSHT1531385B8EF1DC71FD8689A7644312740B720EDC26A218797DE4F9523AF235E09DB24D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/ForceConstrs.hi
FileSize11313
MD5A0AB3BDB80596E5DD6F03DE156689AB4
SHA-10B8FC44D8CFE5A2C55E0D24E9B4A98D98A102CE7
SHA-256CE1402125B4669771A9148854A6E415EC5917A61CF9F1C0E7C19DCA6DB5F3248
SSDEEP192:T/my4jeDrU8hqbgfyJXgcvEG7+/1f+v1+qNPnxrtTjJW/HU72q/PQ5F1Fl4DCqQW:T+HeHggVcvEG76wv1lf6Swlw
TLSHT18B3294B4EE180932F7600D778CFE8700BB90AEA39912DBDB11D591A3294DC6D1DB6974
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Interface.hi
FileSize28307
MD53D914F37AC017FE195CB06401CB315C3
SHA-10C2EA968FFA0D1F97ABA42D9274A19DDFDE777ED
SHA-2561E5819CAA2DA23DD2B808828B6D3CEAAE19C738A2612D2D3884368305FAE8FF9
SSDEEP384:T6SkSCPPayqStzG7XeEdD3xe91fk/2qqseiK2Ojlgjg70E7T93O1t2OunIt5KXDR:Tv6+w1b4GXGOfcOJZvaKAn9UzlCOEdil
TLSHT1C4D26323EF19D727ED684B3A40BB0362B321DDC26212C7A7D95A65202D734E81CF55DE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/NatDetection.hi
FileSize13577
MD5FCBD9C9266EB0E89DDFCAEF7DC04D689
SHA-10CE63B464AA9E18B3D0AAFDA6473C74BB036140A
SHA-2564F4B507819FAD6C39FDED080375B88A6DFADB87EDBA7C6A006D5786FA6F20F24
SSDEEP192:T6gwskOkg09fPJ9DWmUyn43xI/1Ymv5+qNPnxrtTjW/HU72q/PQ5F1Fl4DCqQ+f/:T+s/09LDBL43xstvrlf6HE/Jn
TLSHT1CC5263B8EE14462AFA500D7A4CFB4B007B50A9D3D962DBEB11C5E2531D4E87D8CB28F5





metalookup is a service from miwakeru.com