Result for CE2D8E7A624B8C9AA09AD42BA605BF362ECE4953

Search result
Graph view
Children (711)

Query result

Key Value
FileSize19681864
MD5509FB60805BF83F6C7973D107D5BA482
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.0.1-1build4
SHA-1CE2D8E7A624B8C9AA09AD42BA605BF362ECE4953
SHA-25609540E5EC3109A3F9B6254400D59E88BC768DE05E1317B9835D4159A7620A653
hashlookup:children-total711
hashlookup:trust50

Network graph view

Children (Total: 711)

The searched file hash includes 711 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.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Rules/Term.hi
FileSize126474
MD57BFCDB21EB06F2636FBEA046F05573AC
SHA-10030F4AE698C384B11DF905F86296F66DCC579BF
SHA-256E5857BD261DBDFA9A48BA4116B588C77582A24887E8820EAF75E6D0FEB222987
SSDEEP1536:dP+s8ZpII/lk+oppEJY/B0JN13Kt42G+2TB2DdUZPGrjfFeo7uJ7x3j:dP+ppPtdJY/BcN9Kt4K2GW
TLSHT154C30E11FF569502DC381E79CCFA13252720ECC16643E767314D2139DAFB6E52FA2AA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Compiler/JS/Compiler.hi
FileSize110168
MD544BE55916A989A3D506510DE20C78AD9
SHA-1007F8028A480AB71794AF21831FDD7401ADBAEF6
SHA-2568387792236477D7F7B49832F049455C1EA287AE511A19EF1238561EE883CEE84
SSDEEP1536:kW/IRrP8NB4QgeNxeGxS8ehVYrt4WpG1F22C59HT1fTX86:kW/I18NBf4GxSPQt4n14F86
TLSHT1DEB30C65EF1CA713DC380F7589FA03053B64DC916686A79721443139CCFB6E82F72AA9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Interaction/Highlighting/LaTeX.dyn_hi
FileSize46265
MD5C34DA3F1BE48ECA353ECE6C72B9A207A
SHA-1016718AEDAD25CED04C84B9CBEF5542747DAFF89
SHA-256A2CF7B5116EECA58CE67311A486A0A13184CE94C15ADAC3DBFAE4AB679F3992D
SSDEEP768:OuCSWNKl6vf5Y/sF5K6B8p2gaT2jSW1FKbuqfvskBtSNXdgHU:jC/fu/sc2gm2QXPAj
TLSHT14623646BFF08A022DA38063688F90305BB74EC825647FFC72145627ACCA76D56F565EC
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai
FileSize21151
MD50C1004891E4D5B7A1F65DE9E4AB063DA
SHA-1017DDCB662A1937D1B56255C6B97859B9A87D8C6
SHA-2568C6C1A99D8852C0C04DC8B1D3489CB97A849E2778FE67544A8E0A9598FCD6C9E
SSDEEP384:yu9fOlLaNsmJbEF597nyWLDsEJ/SqRb7zBKghjhPf3j4W5Bl1NNYKgXN0XMT4+2D:nfOlLQsmaF5tDLDTJqSn9pNzfPNNU90R
TLSHT15392D1D43037955DE89909DB90219DF0B7E4B3BE93C32A9145CCF03E38A31028E57AA9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Parser/Parser.hi
FileSize274422
MD5EC5A5AAD4D53BF94E9490EC4CE1E342C
SHA-101CB01DFD01A20789DA195E148288F4D8F02DD5A
SHA-2568095858AC022A559BE727369897F55326683FCB97BCFD22240EDBB6B9E8B6218
SSDEEP3072:qiIX++a/MaqGogB1SlFU6jW4L+qvi4CI5a:qiIO+/aYgB1g+qK
TLSHT1B344EDA9BF48A136D339423EC4B66352B77885416127AE8F658523368CD33C1FF9E52C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Abstract/Views.hi
FileSize179666
MD5FD3386C4110E4F7D1DCA0A156A433FB2
SHA-10236717870F46B1B46908A1F39308FD64C938C2B
SHA-256DBF7921719D51FC97DF8FB9CF30F7DCF4F301DD27FBA6EE89BBECF56AD8D4C20
SSDEEP1536:ZGWpY4AYSySkUlYcJJBRcJYeklQD7CJvtzHYCcq1c1xLGCcr4jf7dQy1M4j412+G:sWJ0I
TLSHT1B504D826FF4AA612D6180DB0C5B953597B14DCC2AE0A7E13205BB17DEC73AD13E52AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Auto/Syntax.dyn_hi
FileSize108907
MD537FC7FDA5D9959120E0B77B3DDEA1D9D
SHA-102B0E6D26BE8B5AAFD53944F640B24F3DBDF76CD
SHA-2560ED29910FB07D1E6FD0C86CFB2F6283A5357B0DEB6FDAF825E2B72B2CF6B7B7E
SSDEEP1536:hYROUQJOn6vI57WMBC15RNgzMZ2QfV4UR5Sgn:NvI5XKMM/
TLSHT17DB3FD2AFF899223D6280575C5FA13457F38D881A24BBF836051627D9CB33C17F59AAC
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdai
FileSize13214
MD52F8DED650EA7E054B2CB6011EC8D52DA
SHA-102B4D116714191B4245BD2724C9E755CCA5ACBED
SHA-2566361FFC5DB0D1CF103FB0739C49CD1EC2B9DAC78D26CD778DCFA464A4B25FC54
SSDEEP384:VCBH6SdFfMPiStpzYzG2MFa9r95EYXPin:eaSXfZkJFa9J6QPU
TLSHT17052D169C2B246A4FB9A5B39EAC761F2C0F50F09CF54FC2259492CE50E2A35262C117F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Abstract/Pretty.dyn_hi
FileSize17865
MD57D3CEF6CBFEBCB97F775430D02DEDB9F
SHA-102B6BF15166EA9A9594A80FB2F16251C04E9803F
SHA-256A3BAC83396DDB7D37B613D45D9DCE34422BEE5DBCDFF9F7D4D01A4912B667B9E
SSDEEP384:40t+dIx4VZDbEvZMhfsETki9iM2BylT2EaS3G1+Eb:ENBSeN3n2glT2jSW1+w
TLSHT1E8825369AF044612F9540D378CFE43042F61E981D183EBDB1149E1BA5DDF9CD2F92AE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Parser/ReadP.hi
FileSize60764
MD5064DB202C6026F38EF2D2BAA69BFB903
SHA-102DDFFE8371A459FBCDEDE7470F2E8C5F8546A44
SHA-2561CB0EE972639E6B8A9924FC85397C4669F1ED87F9702317F13E03DB965067741
SSDEEP384:OvouG91s3KYNO6QIUxXgElM3Gx0+mEaajlG7ryhDaweDZcN:DsaZVFUnE1jTaweDZU
TLSHT13F535E22DE8AA242DA1412B1977B934D3F64DC81BE9D7E17203471FCFC776802F85A99





metalookup is a service from miwakeru.com