Result for 099FC7830E1537A9B08EEFE27E259043438C6127

Search result
Graph view
Children (658)

Query result

Key Value
FileSize23023192
MD592A24CBABB78CAB420F02B14BB046E4C
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.4.1-3+b1
SHA-1099FC7830E1537A9B08EEFE27E259043438C6127
SHA-25625E55478C0CC4FA673E162BC97869AB3D56F04837DBD8C79D02D0C4C46E88BDF
hashlookup:children-total658
hashlookup:trust50

Network graph view

Children (Total: 658)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Abstract/Name.dyn_hi
FileSize181060
MD54461CBBFC462DF3D2BBF1815938B53CD
SHA-100B670675D15BC8F6DEA5F619DDD8BDF59809759
SHA-256BD6B1659E41D73F76F4E01E7B0A24722617525F1DEB7C762398FD31CA6C04CCE
SSDEEP1536:wFs3XktD4xgCOx6hZqReBFt8CH0k0HK9vOJUpMTy+kEP+/PGvflLmghOmt2B79B:we+4SC1sIBxUKJOu+2mpOm0
TLSHT18F045826EF89D203DA380AB495BA03097B74E8C16A8A7F436155717DFC776D03F52AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TheTypeChecker.dyn_hi
FileSize13375
MD52677F5B61AF3CF0B8E1E40F4C459A8CE
SHA-1029885FCEAB8DBD48C0195820CEB64C7E4E1C147
SHA-2560763EBEEF7A377601BB4F1E5AF1AEB7FFC755E76DFDD275F61BDF638BF64A947
SSDEEP192:YJwIfyHZr0vVTz6GasXtwXWl/1gei+HIunyKADeFqonggARnSqsrtqJ6WjS0F0GQ:YaIuZfit4TrMZMVA2EAS3G1M
TLSHT13952EBA86A0C19B4FAB10C3A5DFDCB041BA05A2286D7DBDF11D6C1F3254DC9E1DA7631
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Compiler/CallCompiler.dyn_hi
FileSize15866
MD5D20C7C7E69BB65A454F118637C94B13F
SHA-10301FCAADDAF3E7379425D6ECF0DE3DAEB4426C2
SHA-2567673FD3D83FDE3A4283009E0C2C223AF0B1CAF5A46931842CE8A035309AC1B3D
SSDEEP384:Xvr6GXPpR/bPgchXiM29OA2nVS3G1Cm/V+xnFlb1J4F:TZXhBgAd29OA2VSW1MtH8
TLSHT13F62A6B89F1C4965FEA00D37ACFE87006F609A528983FADF01C5D1A7059EC4D2EA35B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Reflected.hi
FileSize43011
MD5C323AA1957542AB4233A8626B3E7B68B
SHA-1033E051E3387CD49A0E18937ABE8A92C20F14D4E
SHA-256D91B69B0748896E46063CF06920BF4B6B66C4C9D3D60147FE8B14170981C0167
SSDEEP768:oxgavuH0ZlfmjEoztyzlgrqtH2jSa16XFYcGhUysBHdtLR/DpDP33iEWJs:o6BoUjEoz4zlgutH2Sc03b/FUy
TLSHT1DF13DE2AFF48D022D63D4139C5F61392BB38DD82A257AF8361552235CCA33D5BF8656C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Monad/Debug.dyn_hi
FileSize68650
MD55F0DE0CA5D61C86EA5DD91C9C11C1C79
SHA-10372B3274EA4425115D02347A7EADA9DF06BF0AE
SHA-256D43D37ECA1045AFB601163943ECAB02CB6A09E2222F7C6DD39B92AC2BEE7B261
SSDEEP768:TAhxdqirYRrxpKUafPkumX9egXaDHEGxQvwKCA+oPUm7wvuASZJyFkSTzOUAKvtq:cf0PPy7VfW29u2OKY
TLSHT15163AE66EF4DC202DA240AB2C5B90305BB30D8E1BA467E47153971BDBCB36E46F436D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/Char.dyn_hi
FileSize26689
MD558F0AF70135C4FCC9010691B229CAD12
SHA-10386C68A23C0F3F60D1AA9AA01FFF54ED702DC5A
SHA-25608C7BF23B12FD2AED789E6E45F3CBDFB8CC01DE42DF48C4B7AF575CA848800CD
SSDEEP384:AwFV7adelvRwOo1bUPhn8NIi0O7r3+h2sDQc7CniMvaf/fIgV1DTJPF:BHh1RwrRTG2sIiMCHggrDD
TLSHT143C2B86AEE08A523C67D4336C8B6130A777CCD925247FB8356982239DC673A1BFC119D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Info.hi
FileSize275681
MD5743CFF5E486A4505B6EE0FD21AF5B5FE
SHA-103AD5D4DCDCFB0D35CA792B69B12015BD715C698
SHA-256C54988AF6C262540755B5F5696A3353F6F70C77927A2CEB342281ED3EED6739E
SSDEEP6144:gf+/HBrHBIHBFHBqTgu8CVjYHBmHBbHB6+Fdgc5:u65
TLSHT155445922FF89C203DA2C067195B903086F25DCC6A59AEF47242561BCBC777D53FA1AD8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/Highlighting/Generate.hi
FileSize65835
MD561B427B67BAD24DC565DAB3314AE82A9
SHA-103CF6AB6B5E38AF40B547315DFAE3571DCAC4D79
SHA-256C494AFAD99B3CC4B8903EB017D1B21454FDC184C1FDBBA3EACD19F6AA2D82206
SSDEEP1536:/LImb0DFNtnyq9BwDodX/T4Zdt4td2Mu2DftnCrxr:Mmb0D79bAt472Kng
TLSHT118534065EF889713DC380F768CFA43147B60DCD16686AB971084613DDCBB6E42F72AA4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Compiler/Treeless/NormalizeNames.dyn_hi
FileSize10722
MD55DD32DCEF3D03E0D8339F88F2098017D
SHA-1055226FFF99A21618BA44B180050D98BD244D16B
SHA-2562B8B053F1AE81BFC35F7D40F6EB6E46741DEC866694345083980FFC8DA6EED4B
SSDEEP192:PPKKONdl0W7VUMaii+HIuYKADN9nggARnSqsrtqJ6WjS0/Gxlm+wudF/PRF1S2o+:PSKaTqiM29VA2EaS3G1R14
TLSHT1CA229368560C1965FEA10D3B5CFEC7005EA06623C593EEEF11D5C6E31A8DC9E2DA3A31
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Compiler/MAlonzo/Coerce.dyn_hi
FileSize11195
MD5A4E511925C42595E82FDC9CA8C792A6E
SHA-10574B0274F96F6901BA2925E33F461CCED419B32
SHA-25623C0037F37B937541D5ED49AEF5A71B123DE79F8DC35CE469C0D9EE0EA11DB4D
SSDEEP192:VAcbaG+OJ8Mp8+v7aeWVUjautwXBi+HIuYKADN9nggARnSqsrtqJ6WjS0/Gxlm+7:VJP+vli7aVut4jM2HVA2EAS3G1R1S
TLSHT19B3252BD560C1964FAA10D3B4CFEC7101EA066238597EFEF01D6D1E31A4DC9E2DA2A71





metalookup is a service from miwakeru.com