Result for 5F5B02E9161B0ECB133D03C0AFB872BE778C236B

Search result
Graph view
Children (731)

Query result

Key Value
FileSize37928612
MD5D9B2F80C93D9B06967016524BAB748FA
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.6.1-1build1
SHA-15F5B02E9161B0ECB133D03C0AFB872BE778C236B
SHA-256850CFD1692FCEF2BABA6FF4E0BC0E861D6E9069E5805A83D716CE51BB97D45F9
hashlookup:children-total731
hashlookup:trust50

Network graph view

Children (Total: 731)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/Syntax/Abstract.hi
FileSize2023075
MD5A0D57D0AE7E4EE980060E6FFB4D6C85D
SHA-101666FD3A26C229470A058A07ED468E54EBD34D6
SHA-2567EE91F8B8C63D374C97DF5BE46FE31CCA39FF15233857B327EAA98B689B17A51
SSDEEP6144:sUHzDhzFg2Wm9KU91D2vgGvCJ54loqSkrEdsjdsngdsFdsYZznTdBfHriTxnD84h:hhhgP2/wszqSkr6q8vtHIqwzRey
TLSHT16A95562BFF8AC317C5340BB4CAF513187B10DC909699AB4FA54960BC9C771E12FA1AD9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/Syntax/Concrete/Pattern.hi
FileSize91807
MD579C35675316B3BBC2A7FBF0588961FD7
SHA-101FF9603B80A4CADCBD126843F8CCB032DBC7EA6
SHA-2563B91C4970552A56DCBD84B72C7887BEBAE710EB12C3838B337E46C13043D1692
SSDEEP768:XzBkn9J/DZJ6J28niFV9Jz/06JsnirHJ/OJAD5J2JJZwilHJ/OJAu5J2JJZyirrJ:jBrV9LlOMvIYQc8eRK2VTZ
TLSHT1A393AC3BFF89C12ADA350A70CD769308B710D8C1D685AB53600F61BDECB39D26EA55D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/Syntax/Translation/InternalToAbstract.hi
FileSize427896
MD56B4BD3241970A824FF9F3E2D2643EA6A
SHA-1028EE50714C18FD419248EA92BCCEEBD74C93FA5
SHA-256C00E3A43EF96CE99BD80357CA9386DC591F70D32700C58C030CA08080DEAEB45
SSDEEP6144:P9zN63Zu1fK/P9lwqrXrKJNtHct7s4sdsG0VjHBxT:P9zP8/HBxT
TLSHT14A94512BEF4AC253C9340F34CCF713197710D8D19A09AB5B658A217DCDE35E46EA26E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/TypeChecking/EtaExpand.hi
FileSize983620
MD57D0191D8B17ACBD66DF3C3DD7DE1C7F4
SHA-10316A6861C58A1EF65CA9AA72512BCD758A99CBE
SHA-25606C0966CB872F2EA84274B4A1AA39E98EDF197670523239B9F80B35D53941E13
SSDEEP6144:r7YAprse/7X0fG+Bx4FUQfqRVLVN9NUcmMTXK4sklhBgMrKM9R0uD3pk7R/tfJ6l:rMMoSDgnH/
TLSHT13525616BFF19E316C829AF3498F21365B310C8C05246AB571198357CEDF71E02FAA9D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/TypeChecking/Free/Lazy.dyn_hi
FileSize184027
MD5E843B37BE32CBF40CCFC3011EE43E5D0
SHA-103CAD5436D030DEF24C9DA9ADFF5037E79F3DEBA
SHA-25664FB513EADD67608625EBFF67389C89B41301C4A721ED757B3B3B2F0E7D336D0
SSDEEP1536:gYG+LP+WuS6w3PFI1RUPH2h+FHyTkivtT+HQNo:gaPjuDw3P61RUP9
TLSHT16B049E6BFF4DD213C6340E76CAB60309AB20C8F2954A6F57642461BCDCB34D42F56ADA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_hi
FileSize396541
MD5E7CCDC020254370230A44FBC6D5D6456
SHA-1047724EBAA32BB6C98C185F16B030D85B1B47991
SHA-2567CB8F1652EF979B2EB1C8485E0D44A1E33559B02DAA7B1DAA1D795E2AB1A0FAF
SSDEEP3072:K3pwcFDWCJVIRlmNIt7JrgcRZL0GTlt4vHhzD2b:MptU2HpY
TLSHT1D984865BFF499202D8345EB4CDF21314B720CCC08A86AB63258D716DEEE75E02F966D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/Compiler/JS/Substitution.hi
FileSize21508
MD523C610075AEB2CE65DC2A2706658709D
SHA-104E13F67BBFEF571AF770FA21998DE26B1D51305
SHA-256876E540CBD7D51CDC05D60813DEAE4C3D9738E003AF11B74C93E543599D00F10
SSDEEP384:inzq3pQRv22Q6v2tAVc1YlEEdPtux96QFDiDYh9dH2EaS3q1U1HshS:+zq3pYvpvvyAVc1YlEEdPtuxMQFDiDYn
TLSHT14FA2221BFF54C223ED680B7588BB0304AF62E5D1C54A9B47511DE0B9EC531E82FD6AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/TypeChecking/Injectivity.hi
FileSize435909
MD5A8669CBDABD1B6D0A6C34EBDE4097019
SHA-10597FB130448F44095CD4255C61F0B895E648FE0
SHA-2561C34268924A99D0935E06ED1D0C6E3D93B4E44FE9BCDEE612CD06008286360EA
SSDEEP3072:ZusW+K8zqr06IHvGw0wPMn6AY7OXQlUt4OHmdAyg:ZusWH8zRyg7mBHr
TLSHT16694422BFF28D202C9346E74CCF21319B710CCD09646A757268D25ACDFA35E42FA66D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/TypeChecking/Monad/Builtin.hi
FileSize276418
MD59ADAB63359150220B6B74DE3345C9E81
SHA-105E161FED99F2B6B859F3202489F7A7C76314816
SHA-256F0E3A779F9DF41A93A9570AB9F572C30549C12FC095CF9F0D0F7CB75061AE95A
SSDEEP1536:ofAUwNznSf4od5kE62o9BLH0RO52Z3qzHNs2sBylJoSC2rQx+fzbcX9a2VgDY+:OPwVZov252Z0HZJCGZV
TLSHT13244021BFF499242C5290F71C5F7071DBB60D88AE60A9B67240961BCEDE38C92F126DD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/Agda-2.6.1-1nYEEuORaaZIiHkey8xBhz/Agda/Utils/Update.hi
FileSize66673
MD5C67C378EE0E1B3EDCCDD948F21B8DB05
SHA-1065F49EE5F45A2ECA7F24F19F09D202B6694A096
SHA-2560B65286EBCD39A5EB70D36E2052B0F5F086584C3A19BB8C5AD8824132DDCEF6A
SSDEEP1536:lY+fno0lfjc/6dtYW7B7mPXPYvwIuuLNgWNR+0ydU:+4
TLSHT10E53FA2BFF8AD21BC6280AB08771475DAB20D8DA8D597F072458E5BC9C734D13F61AD8





metalookup is a service from miwakeru.com