Result for 3A2E1E8490F553FDBA400AE3E396B7C61E08E323

Search result
Graph view
Children (625)

Query result

Key Value
FileSize19117224
MD55967F3B0BBFA7AD7C5ACC4127378669E
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.3-5build3
SHA-13A2E1E8490F553FDBA400AE3E396B7C61E08E323
SHA-25614688919259C15C0B381899715629DC1BBEF0B831D5552B31570D31850640597
hashlookup:children-total625
hashlookup:trust50

Network graph view

Children (Total: 625)

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

Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdai
FileSize10260
MD54B69B06F1ADBE449B2762B98CC371B30
SHA-100FAABB28D0AAA6A116008A240DA04608AF5105D
SHA-256138EC5FE4265BD2933B739210236A6FBA5E428F2C7911D753574E7FD2C244CE0
SSDEEP192:EUB7qGsJu8G0WQVl8QYrv8N24IQRxOOs5cNYG5iuJ0Jf3KTK65x1MIs:t7q7bHWMebo24xO7eNYG5BJ0JqKE8
TLSHT15B22BEC18B476C199EEBFC6621A53E1D1E64A631D231858674DC7C883EC1FE2B349C26
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Utils/SemiRing.dyn_hi
FileSize6959
MD5C0976EF2B4F8DAFED72820C9ADDBC254
SHA-1015BA593327F5A84200A0EF2FDF20E4ABB78F1EE
SHA-2569ED37CBB664F2E75D418534501916CE2E2E5A4C8337D56D4186243EF2ECC78DA
SSDEEP96:KzCjNvUIFuohwauww8es/jarRRs3P9MBvdp0Dh3S1ClvQ9zX2f:ZUsuoxesWs3xFL
TLSHT177E1DE09EF89D453CE785632C1B603096B64D990E597EF871078A27ADC637C42F0AB2E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Syntax/Fixity.dyn_hi
FileSize172642
MD535EFDC5C66EF66B691236F039E3B4FD0
SHA-1017589FB17941BF1388C54BA546CE3C6F2B7C6BD
SHA-256781373EC59D0F4034ABB46D4A362D3C195433F131D573D5B0D5726B75FA20D6E
SSDEEP3072:vufOkWZs+isuV2F/CZCyuWWTzLWuNO9IBc1h9xB8tuuMVBF68VyI3LYpg7k/XZhi:UOkWZsgy1hDB8tuuh8cI3LAgIxh6yL+x
TLSHT159F38E25EF8DD212DE38067585FA03093B34D9C1AA8ABF576125B1BCEC736D03F55A88
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Compiler/JS/Compiler.hi
FileSize102630
MD5913EA4355C1C3F0B41E0550CA9D2F43A
SHA-101BC50570BAF232444D4EB7A862CF0819211DE0A
SHA-256CE05B0752CFE7885E74853FE50E0A7AEB816D849735892579E72CAE8F0139212
SSDEEP1536:Kh+6s7SvQ36ai49HRroViPqEPt4Zkkiv23N3/wvDlVDdAM:KhDp49HRroQPq8t4ZkH1AM
TLSHT17DA3FB65EF189613D8385F75C8FA03447764DCD06686BB972584313ECCFB2E82F629A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Syntax/Concrete/Operators.hi
FileSize35523
MD5262857CDFE3731795499EA9ECC356155
SHA-102272057377EE590F3464D0C192DDB7A9BD9B2BC
SHA-256EA16E13936FEAF6D3CCDF48175175C69C2153328D6F37337369569EBE13F0B62
SSDEEP768:DsBkUDBJm806Rp2JNYfkV9sw3Gjvwy52id/W2lS71MhI6:MpD/m3Qp2JNYdwJixW21
TLSHT1BCF2B568FF485412E928093BCCF61310BB34D9D1A643EBD3918671768CA3AEC7F965D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Interaction/Highlighting/Dot.hi
FileSize26565
MD54986C75FC405675E5BC61C5C05886FF0
SHA-10266CB0B76386AA464C6F01E4984AB1BB16C6568
SHA-256D7E5328892F512A77524BA186A3C08EFA12683D0E01AC7ED7C9395BAD594481F
SSDEEP384:r6hMz3/dYPEY27Z98JxmgE+AeWXu82i6vGlWIExsMBd/W2nPSoA1kMXgX4m56i7f:WhE/a8YAaC9+EXqzBd/W2PS71zm56i7f
TLSHT1E2C23315FF184426ED780879CCFA43103B20DDC1A543FBA71185B17A99BBAD82F666E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/Syntax/Concrete/Definitions.dyn_hi
FileSize334587
MD579D72713E96C82CCE0CCC837B6C63E48
SHA-102A162DC62C44712CC151643B665EAE6A4E0C31E
SHA-256FEADBD4100059613E1A69BC4A4618DDBBECC6DFE6DD137D5E297FC9BACBD7EF3
SSDEEP3072:aTj+zT0Amqy7Duzh3t+iaRncu2Zk4gsMo0:+CzT0qGR
TLSHT15E64AC26FF4A9212D62811B1C9F513187F28D881E5967F43A01D72BCA9F3AD13F53AC9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/TypeChecking/Polarity.dyn_hi
FileSize48016
MD5179E8BB980BC88B7771A60BFF2465E0B
SHA-1031514415C69ED49E581C51A5F449EA030732DB6
SHA-25686107D6A9EC6220268D553F5C938C71AB6E86C2A329153B8B82C4EF44F2E3A13
SSDEEP768:VP978PHvBCM2TWXKElgt4p8d/u2lS71TeoyyqwcI4E:VPR0vXqt4p8xu28eoy9w5
TLSHT1E823EB52FF880212D9245E718CF997106B28CED0B283BB9712417239DDFBADD2F76694
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/TypeChecking/Rules/LHS/Problem.hi
FileSize94381
MD557AB66FF3317F82EC7238B25CC0447DF
SHA-10325ED1E6C066335938F62341814817F1616F1D4
SHA-256FC2D16B5F2AB77BE864BFC8C3B347C607333BA5E2910873D08314941B9061AE6
SSDEEP1536:j/SAnFtqWoL9j7kTiBQJ1j1gq/Xt4QvxW2F1cHiT7w:jKGgq/Xt4Qnw
TLSHT1AA935116FF09A113DA340635C9FA03057B24D882A616EF976014717EECFB2C52F9A6ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.2.2/Agda-2.5.3-AEkR8Cvchm5I3KFPsYUtt2/Agda/TypeChecking/Errors.dyn_hi
FileSize82323
MD5AED01E96452C73DE678E661FD5F4E48C
SHA-1036CE10F5460697B7E88DC44742E69A6B629B395
SHA-256830AC43D81131B313F35C2CB3A92E00050F77F82FC111544C202BB2D2BFDC88A
SSDEEP1536:sTIaOJU/vwmOMUt4QvxW2rMknQujIuo8a5T:sTznwQUt4QEDP
TLSHT146834165EF041603EC391F76C8FA53547760DCC16247F7AB2088613ADAF72E91FA2A58





metalookup is a service from miwakeru.com