Result for 0D3640C6EFFC3EE107542FC036809E9B7090FA03

Search result
Graph view
Children (711)

Query result

Key Value
FileSize29990036
MD59F0096886B1EA6A22C8C6DE8D7F09653
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-1build2
SHA-10D3640C6EFFC3EE107542FC036809E9B7090FA03
SHA-256A0C120B28CDDDD8D3DBF037E118775CA635825EBE7ED67EC641ABA2F9EA8C014
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/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Pointer.dyn_hi
FileSize52723
MD588DB960016A03C414D4F6546DE90BDDF
SHA-1006BD2296D060447CE368B6FB40CA60A372B7F0A
SHA-256BE54CD0ACBB84716BBC3B92E0157F8B449568149AAAF33164531E03B822D9FAB
SSDEEP768:DHyVZybtm5PHE7HzO/jFpmHZR2zTMSQaCIj+mAfLCOSa1AcvWiyIZObiVjX:DSVZyyv26rHtzTMSQaHj+mAfLFX
TLSHT17D334C21EFDAD212D92845B1C6B92314AF20DCD1EA997F532024A5BCBE73B903F51BD4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Pretty.hi
FileSize146133
MD5C7F1FA7A000D2683F8D5CEB11BA82E18
SHA-100DB7D94B54D65D116B8EF8118C14C635DF22223
SHA-25664A8E24ECC7D5C640FF95206F8B167493BEEC348BC6BE4133737702C0F4341D5
SSDEEP1536:K6nbt0fvpCod/vocoUZODt4A2kB2kThjLb9hCa74AqwjjDCDGM:K6nx0wtOODt4A2y/M
TLSHT193E3AA11FF195607EA381E7988F62395B720DCC17647AB572108327CECF72D42F66AA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Translation/InternalToAbstract.hi
FileSize133744
MD513A8D3B2EA4ADA2A468AAB2774EEAD58
SHA-101372A9E9E37D385C5A9F66021D9DFEFFD97B994
SHA-256CF4A6080610B4659E20005324BE3E8B92AAD0A69E248A6883CC8A22D2A4CEBD5
SSDEEP1536:gIvf8yjjc/dZsnUOfz55y2S0UHUYlBbBZBZzAqhXt4A2kB2BapebjFFKrD:gs0CUAnUmk5hBbBZBZjdt4A2ZFK/
TLSHT1B4D31021EF894743D9380B7488F613183B20D8E1B646AB5F705D317EDEB76E42F62698
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Auto/NarrowingSearch.dyn_hi
FileSize115951
MD5D9B7AA63A7E64213FFA51419E1186D6B
SHA-101552A635A65F8ADEEB76419ED43DB3F528F18AA
SHA-25679014F8DB25F8975D3E01DA4835CD5B71F80FDB73233FA9A0A9EFC6CCD6EA064
SSDEEP768:k2S0rIIJMze7H9sbUqKk7RFc3JipOcVUc8POSc8YhJqhejUzuAYbWWB:cQqKk74ZDfW
TLSHT147B34B22EF8A9117D66805B5C5B613957B38CC81B98ABF432160727CEC736C47F91BE8
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/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Except.hi
FileSize5093
MD5C7DA8F16E2D4F458673C799D1C129827
SHA-101953A3F82CAB98E99AA0F4FD49EBE609F7D3847
SHA-256CF163ED54E0601BA0EBAE76C497F54DD73B71A185B889C68FB7BF47135DF2394
SSDEEP96:XmpD5fTlL1eSTLbfCczpmldsJg+uqXuFuVugubYPDbHSSJPIBE/obW3DT:Xml5fTV1HiIsREbHSSpIBE/T3DT
TLSHT15FB1EF1ADF499637D2580A7AC2FA43043B30DD41D65BAF472028A1BDACB3A907F4176A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Rules/Def.hi
FileSize69875
MD531825D9DEB7067AA4D2E10F55EA96DA3
SHA-102A5EF2F13E80822DAE5F4B0571955029750DE76
SHA-256EDF7E88DC0C03AED0026E579BE328FAB020511A0E803FBB6D015D30AD2FBED06
SSDEEP1536:s5jDMpLvwqlJfue26Dt4m3+2TB2zcH9FrZ:wspLvweJfz26Dt4j25J
TLSHT160636095EF044353ED641F34CCFA43017764DCD15642EBEB2089217AD9EF9E82EA36A8
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/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Monad/MetaVars.hi
FileSize140877
MD5083386DA42D35C0BA10D6435C2B3C028
SHA-1037D73A69789182C3B8386BA8CF5250B0492E5B4
SHA-256B880C400A509692348CFCD930749B14605B9F491EC2CB721F2A6295727AF6404
SSDEEP1536:F8tWTflHY9qXMomPHB3xleWEV92gB2J/r8+36yarLbQYA:tflHY9qXjUHB3xl7EV92fdYA
TLSHT121D3D922FF895613D8280E7588F613147B30ECC16646BBA31189317EDEFB6E41F526E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Compiler/Treeless/NormalizeNames.dyn_hi
FileSize11215
MD50E8B3DAB9EFD8E53A1A06A7482FCDE16
SHA-103DFD0274F294BE7EBE8B897198D4C6390D91471
SHA-2567E4027C679A68258815CC8B57DE0E4279C354E8BDEE7B2BC342C79BE41191020
SSDEEP192:gU10KYl/4vcVghaii+HIuYKADN9nggARnSqsrtqJ6WjS0/Gxlm+wudF/PyWF18aj:gU1wlw+iM2BylT2EaS3G1l14
TLSHT14E3274B856081965FAA10D3B1CFEC7006E902623D593EFEF11D5D1E31A8DC9E2DB2A71





metalookup is a service from miwakeru.com