Result for 793EB243ACD0EB9A4231AC88BB15B78011A969B1

Search result
Graph view
Children (655)

Query result

Key Value
FileSize19622728
MD5F16A630960AEBC33E72D3EF210C92BA3
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.4.1-3
SHA-1793EB243ACD0EB9A4231AC88BB15B78011A969B1
SHA-256C7C2FA4325F1B021F1694AFD25FA3EA780B0B7BD719E0DCDFA6121231A2F9BD3
hashlookup:children-total655
hashlookup:trust50

Network graph view

Children (Total: 655)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Coverage/Match.hi
FileSize53936
MD5BBABE1D5ABDD169C445167EACCBC363D
SHA-100E1933358215B92C9C6A81CE59256A30483B186
SHA-256237980F1C9D64A0EC56600985CBFD5824ECBDC6F89E39DBA46A3F0279C904749
SSDEEP768:rheqvwMBl1F51wQVRRIOBGPdTt4A2HVA2VSW1N7hZ0vArWH+:rgqwsrot4A2Hu23N+YP
TLSHT16C3374A6FF089502DA380A75CCFA4300B720DAC29607AB971144727DDCEB6D86F66DDD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/Singleton.hi
FileSize9873
MD5FBF123920C501001032002FCE17F3F9F
SHA-1010E11A29B2F0A3A83229D500EA651ABC38C1110
SHA-256C71BDC1422EB1FE1EC10E8ABCDD8FBE0CE981C494AC4A7F9F65582B2A706DD2C
SSDEEP192:SysDAjAOU6uH3AoGk7atiO17SSmqLhtXnxx8eOTM:SysenuH4S3q13OTM
TLSHT1EB12011AFF8956A6E9360079897643192B20D993A4C6DF93314471FCBCF3AF02F11B88
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Syntax/Abstract/PatternSynonyms.hi
FileSize22470
MD5BE011F8A2F708E2E3A36EFDC1B2C191E
SHA-101876720BED0B9822446284A0573CE52F39FC7D3
SHA-256738B09E4483E483E29EDAA3748339ACDF7817ED8B3F4EAD42395EFA17BE8816E
SSDEEP384:rj9Ppm2IcBAB6BOd1HQGc8Ue2nVS3G1Wq:n9hm2LBAB6B1e2VSW1r
TLSHT15BA20175EF549927D93C09358CBB43003F30EED1E652ABA74105B23A5C736A83FB5998
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/AffineHole.hi
FileSize8424
MD5E148153BBF0D2223DE107D553E461B95
SHA-1025C683536BE847F4D3DF9C4D8B5A6630C2253D6
SHA-25605169BC7690318102C4B226B2BEE53C2695DE0C2596A771030D500F01B66CE13
SSDEEP96:UhrpPR+Byhz4FeCoJ12b7cXha9FFThk7G96Zw8V/hY4uhXhvttmKY3xO1lIlOW:Uhr7hBmExa9Fphk7LDC9hjmq1lIlOW
TLSHT1E5028F59EF8AD623DA3C1670C1A603582F35C988A68A6F8311E9617CEC737C03F55E5E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Utils/POMonoid.hi
FileSize5887
MD561115BA6932FADA76A3B4668CB688849
SHA-10343F7F482E230A15ACAA4EFDC1ECBB1DA00B848
SHA-256309989552AED01406A84DA8173949BFCC1978E8FBE09697EEFCAC484F7166F3A
SSDEEP96:wg8Vu3/nBWwdmwjblokl+Ylqx90GSy/XPeyUjDIZ3lmNSSmzuzp:wgGfwdmrU0+qQ8lmNSSmyzp
TLSHT134C12D1E9B987537D638413FC66E8341BB79A3009957DF83242963308CA3788FF46A2D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Compiler/MAlonzo/Encode.dyn_hi
FileSize16826
MD58413B0E5F6848293B433EA7B0241A3A9
SHA-103F74C0143C8BFE8B92FD966B373DA9991CBD810
SHA-2568CB7EA367BA0964901E889E55E2E7E85B67365552DD28ADAACE206AC52A868E4
SSDEEP384:akKnNoTER6H4F+L8Jy/wVCxECH1Ucjf1I2Kit4WKCMAV02nVS3G1UdU:+nNoTER6H4F+L8Jy/wVCxECH1Ucjf1IE
TLSHT126721DA86B0C19B1FE750D365DFDCB041BA05A228683DBDF01DAC1F3264EC9E1DA2675
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Free.dyn_hi
FileSize71689
MD5DE69FA2756D03983FBBB88ACD13903BA
SHA-1047F51EEF3ABAEB0553F1E419897C61E866D4417
SHA-256AA40CA5C0EA50958F10E60D30DF0972A24618E7CF898F85162977E8B8B24CA9B
SSDEEP768:JBw6UNS8M395z6+vzWMrtQae2ZSW1S3G9tZbVnxXC+8v3GjE:JXQ6zTLe2ThY
TLSHT129631056FF49C113CA380A76C9F613867F30C9CA6A56AB4B1018713DEC772D16EA29DC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/SizedTypes/Syntax.hi
FileSize136746
MD51B182A82CC6C3E423404CCC34EABF3D0
SHA-105948C83F9AE169425CDE6115DDF476A3401513A
SHA-256A7AAAC659F16F8DBACF095C08C888EAD8278B04AAF891A6C1FE72AD34117152F
SSDEEP1536:LrriOcvU8eq1i2FRUbqJhUPy89xWykifZQYKisGNAmx:LBqJ6xWykRBitNd
TLSHT143D39A25EF8DD213D6380775C6FA03487F24D892668AAF972154B1BCBC736D03F56A88
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/Interaction/Options.hi
FileSize199150
MD51C84B667969F909009507C1B2235FAF7
SHA-105FE891EE2A8B4CF548ECA4C6D08F9BA9A80800C
SHA-2566F8951323A1E7CD47D31BE46D0C7DB41F92E3F4A554BBC0222202AE4EEB337D9
SSDEEP1536:CvByxw6xrIrn/s9/Uo9MbBZpgc1QkUVlEt2VT:wBae7s9sgGp51QHVldT
TLSHT10114A525EF15A503CA7A0E39C8F51314B339DF80AA8A779302557279CCF32D9AF529D8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg/Agda/TypeChecking/Reduce.dyn_hi
FileSize235060
MD52E050DA82D191623FB8B0F818F537C19
SHA-1061E50ACC760BAC0F1B0CC9D5FE15ABD9345A962
SHA-256990F0094DB1AF53A003643898CEE879187DD1DE18B8F6E1AE4D865D83363CB57
SSDEEP3072:XRIZvT1t27eDHDzzTsuGo0z6Uto0zMLo0zKkEUK1Qn44A2up:XRIZ71OYTsTnPnQnKXxv2u
TLSHT17D34EB61EF894B6BC5280F74CCF61344BB60D4D173061BAF2204617DECA76F52EABA94





metalookup is a service from miwakeru.com