Result for 545CF3CAC12DD4DE2F4502328C2F4B06E19E42B9

Search result
Graph view
Children (625)

Query result

Key Value
FileSize24612788
MD5823CC46D912D0B2C62CADF6A5E30E3E3
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-1545CF3CAC12DD4DE2F4502328C2F4B06E19E42B9
SHA-256242484B1F8194729D4CEC98C90B0746D4F34DC1A90C80164DF94384E2E1E1431
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/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Size.hi
FileSize12119
MD586D59E4E9C7966D8D6435DF57DC6CC87
SHA-1003D64E48D9D33BC1049771642C0DC2B23F18A2E
SHA-25659B9D18FD41884299767B4EE2E8F9F4491DEAC1D7A87C9A507E7ECF57E730322
SSDEEP192:ptHpKqTewBrQTsWpNUGUIoHXfG2JjEEXC2XbMtvBIiTU0atHnx7tBK4CIFerTQCH:pLB6yHnx7iSoM1KpNDL6h9G
TLSHT10842215DFF89E226D5180575C1FA43142BA0D8A2F646AF832161627CEC735D07F63BAC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Implicit.dyn_hi
FileSize27391
MD54F9F86F40A86209FD312E73664CFB487
SHA-100F97D32F96CC565FFA27CCBDBB43C78F42BCB6F
SHA-256B6F1FBB8EE84ED04A032F7D6B59D2C5BA7D80E44F06D3BD512C82ABE69BE2E68
SSDEEP768:9XHLp8aL/JN6NwKlt4Qvd/W2bS71C/H6i:9tbJN6Nwst4QvxW2L
TLSHT157C28725FF081561EA240979CCFA43043F70A8C1E197E7E70385A576886F9DD3F676A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/Monad/SizedTypes.dyn_hi
FileSize74194
MD5BED282F4E7661D8B6CA8DC32A5E7C8B5
SHA-101623F312610BD2CB488317DCCD089C3A03F2739
SHA-256EE4C6A4F1F9B8B572E7F5B6C13080D11D0ADBAD132CDDE6EA1555F70EBF4E6EE
SSDEEP768:DOW8hvdCJuHcVJYsX1GoGSrzRvdPG6bQ2nGNlcgLcBIU936n9/pYflHxyTCBd/WQ:DOWYsXcoGSfRvjDQEGCBxW2OV5X397A
TLSHT10E73DA26FF499903D8244E3AC8FA53507B20DDC1A68ABB9311853539CCF77D12F969E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/TypeChecking/RecordPatterns.dyn_hi
FileSize101363
MD52A6E77D0A5F1CD23929E2BD9324E8F27
SHA-10190A5394012E40F93E49859E2B745C1C7337B64
SHA-2563AF0E5509B09F6816516ADC5A638637DFFF31E068A614A05CC4F689C8F1352D8
SSDEEP768:5URgeWID238MAnArOf7elFcLeN/zt4Qvd/W2lS71lYX3i5rWuBUa/gnGRtr/ZO+R:mmeb23FigTayzt4QvxW2WrTZU3iaS
TLSHT141A3492ABF494112DA2855B1C9F91354FB34CCC0AA4ABF533158717CEAF36D42F62AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Bag.hi
FileSize37706
MD56249280EE89BADB23523E4635A4C0411
SHA-101B98AFB98C7C245EE77E0B6934343D1D1F6C910
SHA-2566FDDB494B3B1A0E142B647787D41C83A799D01CE17A50105FA71F26F8AE5BE0B
SSDEEP768:vumT8kGIdLeD9kbGOB+iNSlyZGlluDqWG:vTjGf
TLSHT1B603271BDF49C253EA240972C6F603157F2DC8816A96BF431029777DACB36E13F92989
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Utils/Bag.dyn_hi
FileSize37718
MD5FC5D87C87A3E54D56D85EF6A362946AA
SHA-101DB0E7E2EBD49004734A9269AF993E0DB268B61
SHA-256A450CD6BCF2AA3947B4527F342117EFA0E8F1788A4B5833E51A2C6EC8548B6DD
SSDEEP384:xSvuTPE+OIjAsjGkMC7dDhYeFwx//sBZe8ar9+ObCUfXlOb4bobE6kbgCbRdiBbk:xSmT8QAsjGzujjObCO2hSlyZGlluDqWG
TLSHT1C303271BDF45C253EA240972C6F603157F2DC8816A96BF431029777DACB36E13F92989
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/EliminateDefaults.hi
FileSize12631
MD5022FCDA7BC36502CA5C02192252A4623
SHA-101E65B359255F6544973FC615AD32A73ECEFF339
SHA-25652AB8F8F989EF844A7B9BADAEB5D7BB08F050D8FBDBC75FB81D34E8B4B0E5AC4
SSDEEP192:eBECFyXVFoH5FJWPEBFrArSi/2twXo+HIuYKADN9nggARnSqsrtqJ6WjS0nk/Hu0:lXnoH8PEBFq2t4zMvd/W2E0SoA111A
TLSHT1014274B8260C1975FAA10D771CFEC7016E902A23C593EBEF01D6D1E3194DC9E2DA2A71
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Syntax/Concrete/Definitions.hi
FileSize334603
MD5DAD4CA8F1142C081CD1A50927FD2D04D
SHA-1029D53E5B84FEACE1FBB9EE7C22038A3675D2DC0
SHA-256EEBA41C2BB1C0DCC045FD4D67640CDA8DBF5B87EC6CF5210009E8C63654E7916
SSDEEP3072:DZ/OlYaH2T3IUzh3r+iaRncu2Zk4gsMH0:Dg6aH2DGi
TLSHT12564AC26FF4A9212C62811B1C9F5171C7F28D881E5967F43A01D72BCA9F3AD13F52AC9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Compiler/Treeless/NormalizeNames.hi
FileSize10487
MD5747137424669153DD1A0F1A562FF87F6
SHA-103AF33E08169C46DD92493FABA4F7F6806BB5950
SHA-256C69EE54D775A23A089434CCA496B4C17EEE2560B67BF5132592A326A8A92D2C7
SSDEEP192:Ah9XJKVrX/b+HIuYKADN9nggARnSqsrtqJ6WjS0nk/HudF/PRF1S3beIYa/oF2PJ:ClJQsMBd/W2EOSoA1914
TLSHT11B227278160C1565FBA10C3B4CFEC7106EA06A23D593DBEF15D6D2D31A8DC5E2DA2A32
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.2.2/Agda-2.5.3-AlW5zQ5MUdtJ9ZrXwUqf3K/Agda/Interaction/MakeCase.hi
FileSize31212
MD5E4F6F7820C51F21AA3B0E763E6DF48C7
SHA-10438A389FDD54698C048E6015BAA2E6C7418C1DB
SHA-256EA6D453A33D4614660BCEEFCCD5B44271B3873FB793FB1BE0949C036415A07C9
SSDEEP768:f/3R2joeuK/289d0t4gHSi/u2bS71kLN932Q:fgx2y0t4gHS6u2RLN12Q
TLSHT124E2C7A9FF085521FA240C364CFD83003B60AA925583DBEB01D591B7D8DFDDD1EA3668





metalookup is a service from miwakeru.com