Result for 2F8639089020E45C9AF92828B9BCCF814EBA17F9

Search result
Graph view
Children (647)

Query result

Key Value
FileSize13246644
MD5526FEE7C7D812F7E4E3677EF908ECC19
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.2-2build1
SHA-12F8639089020E45C9AF92828B9BCCF814EBA17F9
SHA-256615770B9F6BD2E50840E384F82E96A5C5F49806FB8A95AE7971E2E1FCF789DE4
hashlookup:children-total647
hashlookup:trust50

Network graph view

Children (Total: 647)

The searched file hash includes 647 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.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/With.hi
FileSize54411
MD51A1E6D848149D6EEA44ED7A6EA76A100
SHA-100973502D9CDE0A4FC3A90338743F5DE53EE0673
SHA-25634FE7A36B6DC22530E26BABAB41B5CB69F80D4572FECCA4D5E79F12F58BF140E
SSDEEP1536:XQCKgST1+hlJAaFLAVt6IeKJcqjKt4fOGf+Dl:X6wt4fo
TLSHT1BF33FC496F40C156E9240BB1DCF88304F738ADD51692DB57325C74B28BEA9E82FB32B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Utils/Tuple.hi
FileSize23166
MD539E0E2F7BCFC4DBF2A41FF8BF2AF41F8
SHA-100C56E69C02636175371DB923A45EDE546AD9685
SHA-25614D09E69137FD563E8D24AF38DE42982D9233423AB971EC512CCB6472089955D
SSDEEP192:1e12DqkXH9HT/6Mn7qMkSOIBdIfKpFW901D1KSGZHzagLKMMDENTokOLDGpNvi1g:1eKjyi0cLEton2JL
TLSHT1FDA2F106FF83D35EE8696735847C870E7730CAD40A228B5BD014A974BDB67C91E3265E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Rules/LHS/ProblemRest.hi
FileSize24734
MD5E44DE2D5EB3CCF97D536CCF94EB1BCD8
SHA-10131B0F5E41329B5418B91F51BBD8F02F68CA66C
SHA-256D5EE17A5E63A455A604C640814AEE8A48298CCB4A5EB44D1EAD9D032D3CAAF49
SSDEEP384:UiRgZRCUhaFt6C0FQ8C/aut4W5bcf6fSoHGL/eqxevwA:NUkt6S9t4W5bcfSS5l2
TLSHT1BEB28455EF148520E9600F768CFE8B043B60AA924683D7EB308DB173879E8DD1E675F9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Concrete/Definitions.hi
FileSize109848
MD50D6117669C70EF01F6CE9BFE7B028B3C
SHA-101B1CC4AE7CB9B85723A5822DAC71858BC662F2B
SHA-256688A01789B5AED34D59524BAEE165A2D7BE8039C2DADBFA8A7081F97A083689C
SSDEEP1536:3VG4ri1HzNhztR4+PvmYtkK0eNCybzLuiHnFO61IkqfMMJrmArMbC:lkbzjHFOr
TLSHT196B32D56EF05D116D83A87BAC8FA1309B735DAC116238B57710C3131DEE32D66EAA2DC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/ReconstructParameters.dyn_hi
FileSize18083
MD528900693E39BAF04D5EAD02E2BC3C146
SHA-1032562323CAE860698184A4EEFB8CBBA7554F802
SHA-256C36236ED51E7022119546C38E28B8595E40E98CB8081C0D32676E9D8AC4725C3
SSDEEP192:F1G55uyb6QItCs/xWg44YpfXWLykfXyrep2twXz+HIuYKADN9nggARnxrtqJ6Wj7:/KQyItvEzfjC2t42Obcf6fSoogoNpC
TLSHT19982A5946F088574FEA00E76ACFE8B046BA06E929693EBDF00D9D1B3058DC9D1C735B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/TypeChecking/Injectivity.hi
FileSize28108
MD56DC7ABDB9B838F1821A98321CDC987BE
SHA-103D9F7CC774B1DF7F9067B13AE1A089523FA6B2C
SHA-25623BEBD4FE994476AC8F8D45AB9561DD3D80D46737774FE4B217773696E71B146
SSDEEP384:/GJHMXD9h2l40tmY+7J6fJUSl4jSE/SlYtQ2t4aObcf6fSomqMzfcTiLaJf:sMCxt4Nwm7t4aObcfSSLHc+Lal
TLSHT1BAC2C7A87F08C529FA610F358CFE4B017BA0D9925683D7D700D8A173C8DE8DD1EA61E9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Abstract/Views.dyn_hi
FileSize117868
MD50F565AE85D2F5BDC10946311416373A6
SHA-103E790B5B46D3C079D29F5E5C9EBBB40AE00C518
SHA-25655ABC2F1EA4E8391CE6D89ECC7C643E9802E440B32B7D8151F09298D5B749691
SSDEEP1536:I3In5DNxXIrBtAaBJ5Dl/0VJ9FzcYKBIZGyfMcB6b6gKS+X:mIHKfxVY
TLSHT14DB32725FF42F22AD82A6B79C8BD430CB725DDC15A159B1340093137ECB76D52DF2A8A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Syntax/Concrete/Pretty.dyn_hi
FileSize120134
MD5EA9C2320046BD8B27266DD90C1E8FF54
SHA-104678460EDDB03C9F9713AA01A205E29D0A5FBC6
SHA-256718A9C71291CE38DEA52E247BBD30801A38EDE13434FAE2FA569D48F356FE49B
SSDEEP3072:+ukBTxu+3vPrWMH6CNeoF1snpDP/hmia8WlUNb:+jxu+3vPrWMH6MeoF1QpDP/hmiah2
TLSHT183C3DF62BF18E227E93C077249F613597720E8D5174387636009B239EDA71E42E37E9E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Termination/CallMatrix.hi
FileSize61058
MD5F1B9E6B41B7BB8428B40026082FF2352
SHA-105ECDDF5AA8D25599B809D19BFE8A318328ED5F9
SHA-256DF6AF2FB76DB3CADDADE528DA0A3E09DBFA638E042046D1C0307662181F4B12F
SSDEEP768:nxUBpaO2bDoJf225G37CSzZCFqCcX7vinUP9oBZ:n+Bp/Jfo39EFqCsKU1OZ
TLSHT1CD537442FF86C75BDC298A718CBE470DBB20EAC217224B5751057534ECB36D92EB6289
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.2-B5Xai748Dl65QDZ7iEML5G/Agda/Compiler/Treeless/AsPatterns.dyn_hi
FileSize13050
MD501311C6F359A44BE7BEB640ADA896025
SHA-1066067476DAE4366C3C5A7AFCE857A9BB22556F3
SHA-256E573E40FA80E9F2ECFD6B45F5EF26BC69D4C4B69964C6509831DAE30E3B221AC
SSDEEP192:gQ8tqut1n+HIPl6Aq0WjA513ghx+HIuYKADN9nggARnxrtqJ6WjS0nk/HudF/PR7:Vcztp+H2qFjAFzbcf6fSo61J6sz
TLSHT13442C7A88F04DA25F9450B7B8CFA4701BF60BB239653DFEB02C4D5935D9A8CC2D62539





metalookup is a service from miwakeru.com