Result for 025FFC1590518255D0FF4DA907F429084A0D210B

Search result
Graph view
Children (216)

Query result

Key Value
FileSize16454650
MD5C6955F45C7266E4CB1A08AAD86BB633A
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-1025FFC1590518255D0FF4DA907F429084A0D210B
SHA-2561F98EF386C61E1C8F1C53455C75DC89C4DCCC697E19B499BF6C2DB2803CB919B
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/Compiler/JS/Case.hi
FileSize15297
MD5B6F39286D612FAE428B88CBBCB125A01
SHA-101A002567BBD16FA278F28D514C05C84581CB967
SHA-2564B1406DD5E6B2760AE96D90F624D23E8F285482187268CE9C531FDF14CA9C661
SSDEEP384:ZtvSyyH3kwA+SfM9dh5Hei1hnSPYhNDEJzf6TXVwPVzitFG:ZtyXP4f8XV0VzitFG
TLSHT1FC62FF499F15C823ED3859B3C8DA1B847B22EA126705DB5B72CCA0326E531D87C73C5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Smashing.hi
FileSize13920
MD5FE7A9EB39FBC8732E5188F7BCAECC639
SHA-101CC630AAB9FDD5FA59E5F7A7A5B360176E2E648
SHA-2562FA7E6D90E29FC4559E01096E4452C373C6370A0381A47990DA6586B8469691F
SSDEEP384:ZAk07YXmvEg0mmQ574TxX2kvHYSL/8pkFDf6LUTSD160R:Zaz4zLkADfOUTSl
TLSHT1EC5298A66A080975FD600D778CFE8F0057A0A6229A47DBDF21D5D1B31D4DC8E1DB7638
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/MakeCase.hi
FileSize19846
MD5AFA78973CD619D177CD51EE4CADC8D3B
SHA-1023E44C4014CE72B6ED1030B04B7B6227C053667
SHA-256DA063D8E55DFA834569C0532488C12371A71CD126D9DC6CBEC34C494EB4BF1B4
SSDEEP384:Z/SBlj45/lhYRoVVpK9N4t9Urf68Ev8+6mh:Z/Ol45NhzUrfb0h
TLSHT15D9295991B0D6A61FE200836CCFF8B041B40AE129B87E7EF51D591F3294EC9E1CB7569
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Precise.hi
FileSize102183
MD5E4064AF4277F55A402FE486621E0DB46
SHA-1052945A26D251A54192E2207C2845D8846B3EDC2
SHA-256F0F2B327256BE7C481BAAFD8BECA6381EF6ACDEC66D488B2B809466A8BFD9740
SSDEEP1536:Z35vtyHSvMweKDBxSY4Ci9zz9mXbZfMCp7JPa:3UeSNf9zz9oo
TLSHT120A33F536F09E916DD380632C4FB57003321DACA6E86C77B518E6612FCC35E62DA26DE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Strict.hi
FileSize13966
MD5AC0D1DE1A36F0AFC26AD0C0FA3262AB9
SHA-105CD9C12826522B3BAA7EBF4A97FEB71820EBDE6
SHA-256828DACED596C4AD84A24102B9DA47E0F008F75FE020EC0535066456C449DF7B9
SSDEEP384:ZIleijo/kj6WElexH+MVtogD3f6gw+XLtn/Pdfb:Z2jK72ff937tn/Pdfb
TLSHT138523385EF448D27E8EC073BC89F17006B25E4626F4AC7BB8199F161BD430E91DF6629
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/FromAgda.hi
FileSize16833
MD5B1680D4AB7AE2B040B108D051CD586FA
SHA-106493490790F7ABD3863096DB849C0442C54921E
SHA-256317BD3B2B1AB0D2E60FB7681F7F88BC6DECD5DDE117615392FD6EBCA2B8077E9
SSDEEP192:ZXwXVfjLSkcsORu39O3zbdve9yb9Y2GqErOrA1+qytXrtTjJWwU72q/PQ51FlKDJ:ZglfWsLNO3fdfbJKcArf62f468iZ6zQ
TLSHT1E77294ED5B186F22E620097ACDEFCB4017107652BF42D7FB52D4E2E72C4A88E1D67528
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Pointer.hi
FileSize3316
MD58BEF2C91DE51A67908AA0E10AC27544E
SHA-107F3BFC484155EC333C82BBAD8B3686511BF2B79
SHA-2562DF9FBD9F1F2595BFC823DC0744428577567DC9172898D7DAAD1CC207F924DEC
SSDEEP48:ZtJhuVlRKX2OKyVsoIw5oIMg5MDps5q5MH0PSTKIOiJYPt1tj/H+Ocstz1KUlQ:Zt2EKuJfV2DpsgcTKsoRbncsZ1KUlQ
TLSHT12761AECE9DA2C62BC6645337C4DB4B403334E683BF53C7FB1299A2622D172E45E1161B
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Constraints.hi
FileSize22088
MD56AF50689E564DEBBE19107D3C92F2450
SHA-109FB20F58F15548DDD915A969894B92F2BE2E53E
SHA-25676CC618DF93BD17D365601F36A8E4445687D48D3752820F80B8B62200B155A29
SSDEEP384:Z3q6E1MQF1X3XsuZXlXIXriWiweGtwXWP+yWAr/XTgSWc1Xdf6rUYcJJu:Z66ZAhZXUrqMikUGfWVcG
TLSHT17EA254DA8A10D929DE10153ACCDB5F446760FA166E91F6FF82CD87A35D771EA0C33414
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Errors.hi
FileSize17754
MD5F5977770773950689523042C6A965675
SHA-10A2F96C79D3A27E6ED97C178F3D743B29E30A4B8
SHA-256FF06CFA5A4AC1C325B936C7ADF94348BACB58C2270EBFE644573531C57116311
SSDEEP384:Zp9dUY6AU8zO55CjJzBKkPEymArf6LnQzZbqywRIukQmp02aMK:ZpQp8mWJzBKOrfauZQIpa7
TLSHT19E821BA597140DB5F6560E3B0CFD8B0247607A32A383C6EB56C991A30CCDC8F5E63A79
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/SparseMatrix.hi
FileSize102523
MD5A349B2887346AB1D9507AEDB1198B4DF
SHA-10DA3CB47D13D358D362CF646357BF7AC46EC5633
SHA-25684E20FA2949C9CC1E077B2483DDE7EACFCB3566C2FF27A5F7D056EF8B1753E2F
SSDEEP3072:02aP5c9k5xmMbw8k2VnqukCTCTCkzP47F9gGWhDbE3K9a9eXw4lKxWn/n54DHSRF:JsxgF
TLSHT1BAA3EE5ACF05C90AFA38053588D247502BA0FE622E02C36BA3DC6D737E576D50D766BE





metalookup is a service from miwakeru.com