Result for 9373E67F9BA05729F3BEB435E6426CE9B8B40B6F

Search result
Graph view
Children (229)

Query result

Key Value
FileSize12906540
MD52839E19E7D6CC6ADC5156F17BEB3E5ED
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-19373E67F9BA05729F3BEB435E6426CE9B8B40B6F
SHA-256D766C8369E8FB169D0B0332169DD57E7029E53EEE06C1977B3452D47AC7C3A73
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/Auto/SearchControl.hi
FileSize31420
MD5E259B153756970168999A57302BB97DA
SHA-100EDDDA35FB3C431504FE29FEFEBF50F142F49FA
SHA-256D4ECED89D3BE6E73ED6B45B628A6785F01AC5D3B9FEDF89E36314A6BC5DDDC2A
SSDEEP384:ZkhIsnRK9A6deKTVQoC0azdM+vniKWvQEukt7CT7Na05dpyUV6Ud6IeTYxsYYsQw:ZXUKbdSdWh46IeTYxsvi
TLSHT103E2EC26EF08C70FD47419B588761341B31DEFD2AA31DBA35A4A2B116D637F02DB68C6
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Coverage/SplitTree.hi
FileSize18747
MD59F341C2EEEBB8525155A4FF04E6C46A1
SHA-1019CACD52E676633896C87F2CE6767BF1973B3A0
SHA-256D6559C02A207CA15DFCEA38A424150CB8E89CDB425A44C6E99CAC33D29BC4439
SSDEEP384:ZD7sXA/Zlf3DbLawb7ojLOuEZw3BCeC8n9UOf61kbj5:ZD7sXiqdn9TfWkbN
TLSHT1AD825029DF49C705FE384FB500B817DC6321E9D5A922979F868729293D138F82CF25E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/Coinduction.hi
FileSize38631
MD599ECCCA127304FE5CCC10836D06DA667
SHA-102F3A1751A28BC2DFD027736BA04C5267498A1E1
SHA-256FF7905A8D43DAEB4C119451FE1903E05BBA1EA9C641DA04E9EF8F43632D5954E
SSDEEP384:ZkIUxwcqv9tIpg4/fnH1Zdi2MVKHXbhiSNAR3LnHxytH9YpMn0UxTcBuf756HQcL:Zv0wcO9tIFigqcup420r0Of0qBUB
TLSHT1AE037374FF1CE611E83C9871CCFA5748A721FDD38517D78B42AE912A282B4B44E634E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Env.hi
FileSize10859
MD51D5D859573B689A2C59B27245F220FF2
SHA-105D13909B0FE08C3F1FA74126DC67B06860B0F95
SHA-25654B399C60A371D26EBB78E03626011E26255A6B774115F1CF97E4D695858C069
SSDEEP192:Z5+Jb6mp8IG3A85ME81f898nLZ8t7YG+qNPnxrtTjW/HU7N/PQ5F1FQDCqQ+f6wm:Z5ubpp1G3AYMEqs4LZUvlf6gmfF6I
TLSHT17E2236A8CF00C616FE840973CCB747406F30BAD7E462ABE712D991533E464AD7DD29A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/CaseOpts.hi
FileSize9594
MD5454F385AFDE1E655189B6137FC263DD6
SHA-1062491B0831AFE6F629A7E1E7E35A1245B151EA3
SHA-2567177A5C9EF47FFCACF98A3D53CB36AFCCFD03B8E2F4B31B4CD106775047FD077
SSDEEP192:ZigZdbhrZIHmsPawlZng6/1Ymv5+qNPnxrtTjW/HU72q/PQ5F1Fl4DCqQ+f6BlQY:ZbzrSHDPawlZngetvrlf6BlQnY
TLSHT1F3124274DD184A7AFB600EB74CFE8B006B606EA3D602DBEB04D5A1A3250DC6D4CB3975
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Generate.hi
FileSize30051
MD5CB23630F606783CCCE6D04885832BAE9
SHA-106AF1084816FAC5FA9A330F00CD0CAECBFF8A471
SHA-2563785C70EAC678B9C1E024D602983F6DF06C7F7CDD50BE4DF7BBA607BF3614B3D
SSDEEP384:ZVVl5/56jT/+zdNBr3l+Vel+m9Bp6uoeymiStHLl/RXYPvBlf67g7rrt5vY/f6/B:ZV1/56jT8l+VeL/+XPfJr0i6gTKA5
TLSHT10FD2D6A9EF044727FD140F338CFA87007720BDD29562EBAB25CD51632D9E8A91C725E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Implicit.hi
FileSize13214
MD51EC729687990A7785084CB02A3A16695
SHA-10D98EBF74AF4A095C28E602CD021A23D74088DAF
SHA-25608366AB0B183C87EFFD6FD368E259CA1EAACE9079F649A3B9514F9CD38BEEF4D
SSDEEP384:ZYhE/StXpCvVmwgedgtTggtr0xZlXXvnlf6x8A:ZX4pEZ/lfI8A
TLSHT1B35283748B088A65FB740A7B4CFD87006BA0E9939613D7DB55D2E0631D0ECAE1CB36B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Decl.hi
FileSize26443
MD5BB5206473084D0A0B954932B38740D1C
SHA-10EDE954FBB504125ACE4920DAE168D0B37EAE8DB
SHA-2569DFD3209519B766CD1F7ACA0726B666876640EA046C236DA646DDCFA31BB21DA
SSDEEP384:Z+bP4kAcNTVa5+T9Lg4Uhk2O5//7UfExTP4rK9w5dlf6Sq2/VBAQriu6KZ:Z+TKcNha2yW/7r9KTf3L2Q3Z
TLSHT15DC2E8A8AF045921FA650D364CFE87002760BAD29653DBCF21DD91B3188ECED4CA35F9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Literal.hi
FileSize13335
MD5311E17495694C14F8FCE14706DB42654
SHA-1108FA80E09CAFC4CE220738F4E797EAD19F57040
SHA-256791CF6BBE1DEBE4FA9C8749E46CC2D2D21E52E16832868250642A70DEC40F649
SSDEEP384:Zh+SynX647gK/xrvkuWvvGs+qCTymD01XtBlyEZOQmO2v/oqopO3N58ov+dt4sbY:Zh+jhkfQBk4YlY5
TLSHT1C1521E47DF28D717ED3D433564B60342BB22EEE9A202831BD65E6626DC6354C2CB18F9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad.hi
FileSize56440
MD538EBD2F9688D6F93B092533353B31C81
SHA-112096EC5EC89D29CDE3AE09763C0F68426E19A64
SHA-2564C945C97981C69DBD8CF0500FA2E09DF24830DD19BB1A1339E90B14E7D7EA859
SSDEEP1536:Z4O0g8o7J4CQysKyCfYp/EX0bWyiL3cTs:2Bo7+LKyAj
TLSHT16943F7D647442AA3F885CBFA88F407173B18B7222B4FF6A36AC4315508CF4DF1D29A95





metalookup is a service from miwakeru.com