Result for C7486C67D1FCAB84C3F939B912F497042E6480C2

Search result
Graph view
Children (649)

Query result

Key Value
FileSize16178584
MD5D6072128215AD74EF9451C6050188CC7
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.5.1.1-3build3
SHA-1C7486C67D1FCAB84C3F939B912F497042E6480C2
SHA-256409B8C46602C6EB294FD718EA1CF372B5106FCB62B1C25650EB4B94D566A61B3
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Monad/State.hi
FileSize95413
MD5AAFAF8B1ABD87C01A7EA948C08E105BB
SHA-10082A9E2D4A51323031B136D8321CD2D869EE608
SHA-25663A4243139B46618BF74C677A8F18CC772D42783ACBBB0579BE82483BA3016D6
SSDEEP1536:74f3UwuomM98qdZw5hdfHQo/g/3nfljzJm:74PfeAJw
TLSHT13193DC16BF69D62AE8690FF588FA1704BB30EDD12757876346083632DDF21F50E261E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/Data.dyn_hi
FileSize25529
MD5693D9ADBD5ECF3E14962A54013FE2924
SHA-100BC5243B7E36798CD57CE2D9F393F6A745688EE
SHA-256E5A958B1AE6BD1C25E5AA441129531CD7B7A30FB28FF93DDA101D22CE80D9910
SSDEEP384:h9IAosanGftvENNKtv+9xlP7oTOjaV7sInPa5GRF6UFJcwm2Izonf6fJDUUXiBsi:hHvQAtgGvcsIzonfSRXiBME
TLSHT122B2A6A86B089529F9640F769CFD8700BB30E9525693DBDB0180A4734CEEC9E2D735B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/JS/Compiler.dyn_hi
FileSize58342
MD52C8A76473C36C29FA9698A0FE0ED5141
SHA-100DDB3067E5F1088C9ACA4ECC2686FDFEF782CBF
SHA-25674580E665F5C7A63029B2994896C2B8DFDD59FBF37374DEA383CAF1A5349056D
SSDEEP768:g3mlJf/tRj14++3AryUXsn7EYfGlgmDb1jI3IJBfRIq/Osh2FMJFgM:g34PJ4++3Y14zGlgmtI3IJBf6mMSB
TLSHT12A433E65AF48C727EC240FB6CCFB4700B764EDC12B0697A701457076D9EA9E42E762B8
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai
FileSize1617
MD55F536625D6FBD677F10C77FA9954ACE8
SHA-10102B85AC67FF0EAC6D5DBA78E3B2C6C71E82CDD
SHA-2561280658E9633804EA1F399803942DCD406890EE8E5AB19D586294F72DFE38949
SSDEEP24:1lFUis71iVZ43qGA7E9uRonumXjhNYnNhc+veDMQZkuKomSVno/sW/fBq+Yz6IMl:1QWv43IE9uRon9XjD0GFRrUnH1GNk
TLSHT1A7310842820A5CC21C0D6E7E290911FB9EDFCF64432E9BB142AAA25B27294C20CC3C27
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/MetaVars/Occurs.hi
FileSize108333
MD5168E291615E14F2F75CEB1694EFA1E1D
SHA-102D2C79B71E539A04D9E4EDA3DE9637782214314
SHA-2565E407FB2CE219D27FB8F8A163BCB01CE074570E7FCDBD909ACF44E80444B4F03
SSDEEP1536:VWN7wlM8vNlvLM2hceJIeDnfy1Z49zFnmFnPP:M6/M2iIIeEEY
TLSHT198B3DA41BF15A317ED291BB188FA534ABB34D9C253029B6701887032EDF72E51DB71EA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/Epic/CompileState.dyn_hi
FileSize71816
MD509989AF9E76263573EBD7CB70B820D1B
SHA-10333B8CB2FE33D256C6CEB039A0E0B98F967CC04
SHA-256577C18757A52C27B283C2CBB2053F0CCAD3912323135F3E8D7CC04975E51E06B
SSDEEP1536:68voHdyt2+Lf6alWnkK0F9a4h+syH8/awTIxTYrCv7++FxSFzBLtv3NcX2sp4Rqq:6yhyILsC
TLSHT1A163EC2ABF09F515DC640FBA8CFA5705BB34E9D12B0397A711083479CDE65E01EB61E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Interaction/Options.hi
FileSize175234
MD50DBED79A19D96D5DE1C0A91C9F78662C
SHA-1034BAEF73137157B26DA95E86A399D7C2D29917E
SHA-256AA44F31F5E697D53B318E14FD83B3B651321D48756AAA2948F751D26E2960344
SSDEEP1536:JKitsrqrxyQ+m+5hiPi9EDSA6nPatIUFSDAr1WoQcwiBSuktIP3ZdmCjOP3Uf8e5:UiqF4Zr53x4s5
TLSHT18C04CAA0AF59D212DA660FB0C8B26354FB3EDDC91B0563A701167932DCF61E06E731E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Free/Tests.dyn_hi
FileSize34872
MD5B9C909A53C9AD7C7DAED6DE90CD6D96D
SHA-103833E69A9F245CF6A3F5C2CE44523524A8416DB
SHA-2564BDEC9030B32B7E25BA277DC1CC9491F0ED53E44D83009A0BEAEDAB85CE7D75E
SSDEEP768:lqVSvuaD5vAf1g3KmpaDAMtEnaWbnfSdtxKUo/:lqEualq1aKmpaDAMtEaWbnfstxo/
TLSHT1ACF2945AEF09E625E83407B18CF663407730ECE16B4387AB014C74769E672E43EB65AD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Primitive.dyn_hi
FileSize245008
MD52BF50E6850579B2FC0FB0B3BE3C8590F
SHA-103891D3A195E2AFE9062AFAED08430F46B3BC940
SHA-256A73CB7171981B72A0F07A0315FF47218B215CC8D3CDE3C997B2F56F68AA7394F
SSDEEP1536:SnC9+EKiEAKG7N7aO5l8jwAzJpnRTuGKCrav3Zhk9I1onfBK5xYzWT6vE4iIrfHi:SCdK+KUoUA9pnhrGZhaI1ozWT6vE4iL
TLSHT19B343055BF59E216D8398FB1CCFA1349B339ECC52622576742043431EDF62E81EB36A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/ImpossibleTest.hi
FileSize1731
MD513A1417A8DCFC35ED9E56797CD3D490D
SHA-1039A076FE85D92347A5C3A2ADDF71E6C6E91653E
SHA-2561E3F8FEAE5C1BDB01FB0AA073606C2500901273A19FE3A541C292B9C341AFFD6
SSDEEP24:qzuU32cHCv7VtgKfuECNtDiRs07gpIaZpK8cLF0R9jJYteenTVNgHuTn:qzL2cHCvpmiuV8Rs0sptZp2EJYfLT
TLSHT1F631414C9BD89E3FD3B51E3E88A14345EF62B6527A274BD39098827109678984F7093B





metalookup is a service from miwakeru.com