Result for F7A7D312553C5099C2C6E64BAB8D5270DA4D2878

Search result
Graph view
Children (731)

Query result

Key Value
FileSize37913588
MD554ACEAD8030978140E4D944AEAE3FC17
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-1build2
SHA-1F7A7D312553C5099C2C6E64BAB8D5270DA4D2878
SHA-256720E227529E3A19E79DC6CC873F2C19F0C4EAC0E9470BB5D3B7D4AEB283508D4
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.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Utils/Benchmark.dyn_hi
FileSize55408
MD50DC3EE2362268EA83E93B3ACBEC39CAC
SHA-100AEDB8149465FB169831A36F8D8F88F80554927
SHA-2566DCEF44AC5AD0AE57ADD66C5BBC2A5DDFF88F53446E8A5D2DA6AA1E334537797
SSDEEP768:1ImbJEFoJaEbJBoJdfbJxoJ8bJJAcJ0WgegHiJe36RoJYMM3bJJE1oJYa+bJJgon:GTKG//jCvW63H2y
TLSHT1FF43CB67FF4BD297CEB809B0DB7613182B14D89199497F032858A4BDBE335D02F45AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Interaction/Highlighting/Precise.dyn_hi
FileSize134196
MD59133299E63AA07068FE8ED968E63EEEF
SHA-100B8533B218F40F57D85D64FF5396CF90F347766
SHA-25659585940D6A7DF2ED480F6E046E3EA5B9780893DFA2517D65A97C0540F78E6EF
SSDEEP1536:CSjSSY+xvwoqyEemsb2Fg/kjlGczRuII22jdatUk9b/ilvw:JjSSY+x4CPSKAvuIMap
TLSHT12FD31E2BFF0AD013DE3C4639C9B613097720DC81824AAB43515DA2B9CD732D1AF96ADD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/TypeChecking/Rules/LHS/Unify.dyn_hi
FileSize1841170
MD5B765D214D106D20701920503D2246C47
SHA-100E4A1468A80144EBCF2B42EE55160D3CCFB27F9
SHA-25654322BC378A1966C081622D1FD38E43083037BAA9609480313083934BC8FC0F3
SSDEEP6144:+OXbFYf2pLsJtGU5A1qp7BjcYn7HUkpwRQ1ExSwJ8bWvI4wZ/mfY0KDM7ermOAI2:QDsM/bLJsHOzzb2
TLSHT122851F2BFF199203C931AF75C8F21369B710ECC05646A76B2198203DDDB79F12FA1999
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Compiler/Treeless/EliminateDefaults.dyn_hi
FileSize26486
MD5C8868910CFF0609D482A63C94316E6F9
SHA-101124298396ADE432D959278CA9E063CD9EF62C0
SHA-2563565E70FE6F4A2E2835B0E32452456C5AC14583A559620D59B1298D47631AF17
SSDEEP768:7O9U2j7nXY4Mi++YgxUHcgc2fSW1idkeV:7JMqHcZ2yCeV
TLSHT108C21FAEFF18D522DC340C71CCF703246B10D9D58587BBAB0188B06A6DEB5D92F965E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Utils/Update.hi
FileSize66649
MD5116C62E447FEB4E81768EFBA6ECC056A
SHA-101A52FBBED3A286BBCA0241F086897AC6D9CAF14
SHA-2563094D4E4973F45F8F1CEF7FAC612BAC231289BD71813654DD6B3FCA8BA569275
SSDEEP1536:veTj+0iUTQ58/Om5gh7G7q3fOYLIuuQAi5ThF0ydP:IuOi
TLSHT13853D92BFF9AD21BC6280AB087750759AB20D8DA8D597F072458E4BC9C734D13F61AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Syntax/Info.dyn_hi
FileSize638570
MD5C0BBA01C58AA5A093B24F74D5A498C86
SHA-10217205AC43E9263DD728335F623329CD01076E5
SHA-256314CFE6EE30B14474EF76996C45E933A3161CA515FBB5C07DFFE60E6123DA25C
SSDEEP6144:PtqJMdsAdsRdsCB53XGods1dsrds0pdshdsEdsfn:ERn
TLSHT1A2D4282BFF49C202DA3806B5CA7513287F24DCC1C999AF436099A1BD9C735D12F86ED9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/TypeChecking/Injectivity.dyn_hi
FileSize435917
MD58D402878688E2F7C9C3A3EF9E0169958
SHA-102747AA89632B7270083E98E8568C034DA10054F
SHA-256B0DB5EAF1823F8360F35527A3B7987798BADABFD2E2F53E204E5DB15AE3AEBFE
SSDEEP3072:q/wewEqWqw/wSwji6mqeQCTMt4OH+dAyg:q/wenAIHCHD
TLSHT13A94412BFF28D202C9346E74CCF21319B710CCD09646A757268D25ACDFA35E42FA66D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/TypeChecking/Conversion.dyn_hi
FileSize785883
MD56E00A62321A8E5BF357281FE4B844135
SHA-102BEB297CB3F37EB1F9657AF284E2CD117D763A2
SHA-2564D6E38D5AD5565BD341170295F8620962427D2903A8AACC8280C2524686BAE7B
SSDEEP6144:F8P5Rr42EwIBhqW05mwgERax4bflPD7gvYHooqyL+T9:F8Pg0Rax4bflPD7gvYHO
TLSHT17BF4432BBF29D203D9344F7488F71326B321DCD11A45A7AB1A59213CEDE75E02FA25D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Utils/IO.dyn_hi
FileSize6044
MD5202EA205FB13B510F93315C02F371746
SHA-102E9C47B56A55632E0A70728D303A5ED1847051F
SHA-256C6892075669539C00DD476363F4339D69F6486C90A25F4F1932C5F2642C07585
SSDEEP96:BTItnyDATrZqgd3JLq38i5d3ignd8JXHZeJlJMgog8JYNqJeEMfwSE2eH5oZSv6S:hI0DMMgdVqX5dygd8JXsJlJMgog8JYNY
TLSHT1CFC1BBABEF8DA633D2144AB5C6F143047F30DA50979BAF03264CA1AD5D73AD02F419E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/Agda-2.6.1-83JkJeO40shA0UaZWtfDTr/Agda/Syntax/Literal.hi
FileSize108998
MD5E3CBD20ED4882221D0131A267693C371
SHA-103CF1596D6B0983E8E36AC0871BAEBAF76FDAC46
SHA-2567425EBDC913D1A1E11FD91925EE01605123033CD0A64F3B3070A052794DA70C4
SSDEEP3072:PHGBdsrBVuQIHLuQIcuBMcPaGHMI97McIKvMtOvh:PHKdsV5h
TLSHT141B35867FF9AC612DA380D7A9A7603086F10EDC0D9896B07624CA1FC9E375D53E90ED4





metalookup is a service from miwakeru.com