Result for 24C1EE88FCD366305AB334B8A7A8A557BFFCA676

Search result
Graph view
Children (198)

Query result

Key Value
FileSize10212366
MD5B1337EF06A181F628A53B17B55A77E0B
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.2.10-3build1
SHA-124C1EE88FCD366305AB334B8A7A8A557BFFCA676
SHA-25621A8BE3D01F5DF57C3D9AB94B3F7C319FBFA4E7C3BC62D2000C03ED9468157A0
hashlookup:children-total198
hashlookup:trust50

Network graph view

Children (Total: 198)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Termination/Lexicographic.hi
FileSize26475
MD599EBF96FD718A37122D9212C91485D02
SHA-1016EE8F953DD298F72F5EFAC788CC9D85F5CB85C
SHA-256770AAC5BD9F6B0359B9E05223131EBAC5881B9B562CA360D74487A09D58448F0
SSDEEP768:ZLeYxhHckbNWpWhfehxgyCQ3nvprvD+DL:ZLepRghfeTgyCQ3pvG
TLSHT102C20C9ACF54AB13ECF48A3554B607102730A165FA16D797728E3438AF4B8D82D1BB78
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Auto/SearchControl.hi
FileSize27369
MD5528D91D027875E266AE9521DDA67F3EF
SHA-1021635DEE44CF09A33B5D4B2D8396161BA7BBB9E
SHA-25663397FFB43E0B7C9A0E2D4FB76918511F64EC1CA6B9E809D67A6E4DC0C21DADD
SSDEEP384:ZOBgeUEys+8fJj6GZfVB0NxZnZY04YxsREPqXi:ZOBgEyIhj8n204YxsRo
TLSHT1CDC2CB4A9E59AA07F8CCFF7248AA07653330D842EE15CF43369D7234AD533E91D96E09
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/SizedTypes.hi
FileSize12942
MD540F583B081B658B7A24133A6B8C20F2E
SHA-103948C128F848894FA69ADE00541ADE2259485BA
SHA-256591F9716E7947FCEDE20AE580802831B7511D3EA1945DA3516E3E2AB1F14EC9F
SSDEEP384:ZYNxJ+oTpdkrqENIf6Uo9V86lREE5s5OJ:ZYNzfY2EhJ
TLSHT11742929D8F1819A6EDC00A779DF78B042B34D669FD01E7A325DDB1A68C4B8CD4C43239
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Utils/Trie.hi
FileSize15492
MD5848AEA7DE0905289E024E7D4CEB40750
SHA-103E9A9EA431C8AF9551F5FCF84B36354305A2879
SHA-256EA70B6A3C80CC91FF0750BE6C35A189F7538ACDE2C3E75C5FAD28B81D4081732
SSDEEP384:Zlv6UA08a7tvx/E31ZIhewzfRPHnj97BbL:Zlvv1hrfRPHnj97xL
TLSHT1E6624109AFA5AD2BECE40A3704EE0712A335F169E213CB6762CE60717D8B5E85D63744
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Syntax/Notation.hi
FileSize15339
MD5ABC881FDA50463880C1B822DB149DBA7
SHA-104CA197A171FBDF4F17423D6A1FB898E368C024B
SHA-2566AD111ADDCDFA018B421A458A4158067C979918B956F4436250BE164FCC388C6
SSDEEP384:ZV7OJl+5sKcHDXOqNu4vzcqwjs3d1f64oH0lAQk:ZV8OpgPfmHkAQk
TLSHT1F162FD03DF502E27FDC5EB7614EE03616732E65AD623D753208D26317C97AE81DA2E0A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/Monad/Imports.hi
FileSize18919
MD5A3AD0DAA07E89A8E1BEFB55E2A020EDC
SHA-10546F3EE7659B5D49C0EB5168DB537FEAE99D54B
SHA-2560E3D5DC15F53A73BA48D5247775678AECDB8E3614FF42B332E299717FCFBA487
SSDEEP384:Z0agvYUqnMj6QoygM2QY/4nj2wsyf6oDp7b+JMo6lHCMn7X:Z0Y2P7fQDG
TLSHT18682209D8E598427DDD40A7AC8AF07042B34E618E1A2E7D771CDB574BE439DE2C17388
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Syntax/Parser.hi
FileSize10816
MD57B8C09D9BA13E4114B57BAF96A88924A
SHA-108AFB8561917686F657C57510EA09386F499EBD9
SHA-256E0849C94D7A4AF5B7CFE494FDFACDA74024AAD29532C055A2FD52ED03891A55A
SSDEEP192:ZJHga9sz+4cmOqdmX9qwmXwCvCJ+mIQtwzhPJICJgmIe//2YBIJmITG6P+qNXrWL:ZJHgaOFQ+ztORGlf6dZe0P1s
TLSHT1F422546D8F982F07DDC84B7A1C6E4F412760A213E101D7E73A8DB1A22D472EE1E57E15
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Syntax/Concrete/Pretty.hi
FileSize46866
MD5B972BB1F3A51C5B3220C4FE8068A29A5
SHA-108B7AF4EFC7EE27F397835C6D034894337DA78BE
SHA-25658F033F2BDEA10233B7FBEAC91508AB8BBCD18DF289008360734946AC8832490
SSDEEP768:ZIu2TtSLHHDwdVc3Moiw2fAXAT4rMpltY3ej1Zu/Ikdk4kXkxYpWcW04T:ZI/dfAXALZu/IyhiOZ04T
TLSHT1F6232051DF20781AEDD40A7248F313516BA9EA50E353D7A3628F32322D4F6CA1D537AE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/TypeChecking/DisplayForm.hi
FileSize11153
MD50649BC3B3E4FB4C379BC790C61B75158
SHA-1095A350DF3C5E4D58B2CACDF5F501EAF1DEC53DC
SHA-256E2F098A93E38BBAA3D1419B8B9CCB679659003EFF7BEC0217FC61D588F7D32D6
SSDEEP192:ZffrLXpEhr/3y9bAn6Nm/+XPgx5+qytXrtTjWwU7N/PQ51FcuX+f6Ok3NZapSkaa:ZffrboT3y9kn6Nm/Hxdf6t/E6lA
TLSHT14E32EDA5DE581861EDE04D77CCFB4B021B68A659D146DFCB25DEE0632C8F8CE1D93228
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.2.10/ghc-7.0.3/Agda/Utils/IO/UTF8.hi
FileSize3882
MD53ED212BCC6A952FEFCDF2631BDC058CF
SHA-10B5D2A9449885F99CD93746465BF08FE432D7A9C
SHA-25633E87F03C1DCF095BBEF2DCDD2F35FBB56A460462F46F6DD09D0C839644FEB96
SSDEEP96:ZAlcVNl1UYH1EdBrD23X3xo+oQdvnP7ICjIhAj:ZAlsPGYH1EdBrDquQ5ntjnj
TLSHT11F81A24FDEA25D3BCDD44B7412A745002B34A2B1FD96D7A3369D3178984F2C42E5B728





metalookup is a service from miwakeru.com