Result for 337A0DF9622A5EBEB8423540A777144DCD921230

Search result
Graph view
Children (649)

Query result

Key Value
FileSize19572136
MD553E9A7CF68B66C4CC5D44447C1632AE0
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.1.1-3build3
SHA-1337A0DF9622A5EBEB8423540A777144DCD921230
SHA-2561BAE53A24C7DDAAC6E975EF660843EB50CCB5DEA76B58F93B847D7243018E51F
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

The searched file hash includes 649 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.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Interaction/EmacsTop.hi
FileSize31191
MD5F81547343319501E1CB38BC71383E2DB
SHA-1001FE86A6EFF111C031868C0869C4378662559B2
SHA-256CFE5FBB4AA26E9329DA1252E9A29560A955DA13ABD4DE2F1629AE0D905CD16DD
SSDEEP384:LSCd4VFPkS3MPo/oStS+VKMqfUaIdnJkf6YJAIemQw/WXG3If6WxyPg0PlexzB1:LA9tKMaIdnJkfROw/WXGYiW2geeB1
TLSHT12EE272989F098925E9640FB79CFE87013B50D6926543D7DB258DE0B3A78DCDC1CA32B4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Level.dyn_hi
FileSize36450
MD5FCC943D77DD38D3A1F8A8383C5B56338
SHA-10042A75017E620A1371F250D6FE50BAD475E8028
SHA-2568FDE5FB8C60549FF9520144A4D8355B7D4318A94307C651787EA383816FFC2E6
SSDEEP768:agEt4arrjRYVaFvDPjILPnfSITJ9ZOy1srza4iia/x0di:agqggXILPnf59Zii
TLSHT17EF23326BF499125E8680FBACCFE5740BB30EDC15A47D79B0009B131DCF69DA1D762A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/Decl.dyn_hi
FileSize62817
MD5C324EE51EDB7DB7337A6B1A3CCF9A632
SHA-10050663D2BE7307884A8EFE2B083EA72927FA14E
SHA-256431659C5666460A9BAF3B361BC7E0C903C65CD8B4345F2A34586FCC1C1D6CE27
SSDEEP768:xlAuuDy2LtHbN7p7o9zsvAdnnW8lOKIQt+ifSGkIPrROPG/bL8uxBx5JprX:9uGvzlWWOKIQt+ifnkIPwuDL8gFrX
TLSHT1AA536090AF189727EC390FB28CF943047B74DDD15342CBA721882576AEEB5E41EB3169
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Parser/LexActions.dyn_hi
FileSize23488
MD5C2D02511CA30774C40AC1BC83502E8ED
SHA-1007A5EC036B4401E4DDB6A3CB68B62D64B136FA2
SHA-2564F6F03EB708D9752B488BE255DC073C243541E4396334014B1F691CB85DBD445
SSDEEP384:8pvAmGyFX7MARjHfGY4XKegezwpe8ezqede4eFetgf6fJGIsJX+1Bq:U4Fyvb1x37KjO3fSq
TLSHT1CBB20E5AEF00D215D8100FB588FB4308BF34F9D26A478B6B264C7136ECE75D52DA269D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Serialise/Instances.hi
FileSize28214
MD5D8EE2BE27555A69BEAE108A41624F3FF
SHA-100E8FC7AF6591B6AD34685512523154F022AC050
SHA-2560B4F21AD8C1006DB507A0940BCA7192C9A01068B81C99E142827175F25908D04
SSDEEP384:+nJBOhSOc03b3+P76fpzhmmXgHvS3/XVGLFw3iAf6YJobk+lylLWf7e:+vh03b3i6fpzhmmXgHq/XV1iAfRp+NDe
TLSHT190C23219EF08D111E4281B759DB64700B764B9CA1102A7EB724CB6339F9F5D92FF32A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Cluster.dyn_hi
FileSize41836
MD58208C50ACD125F7CA548CE52EE3B9DD1
SHA-100F71A042FC8FA30277E160254E541071511B57E
SHA-25694F6D48CB7F06DB23DB54FA25CF1A5AF9E7709C95F3C20CC8E8D2841237C20FF
SSDEEP768:aeyQDMh0HJC4iPGRDYwKKWYLJR2v/JfCz4wSlUXn:1HJC4XRswzdR2XJfCglA
TLSHT145136196AF0AD225E83807B0CCB65356F73DACD927174757031838799C772A43EB26B8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/Treeless/GuardsToPrims.dyn_hi
FileSize8282
MD58C931A64BD5F026A15D8E644A4309602
SHA-101714A1D799DC946200A957C824A5878F086DA99
SHA-25688D231B21023DCFB62DBAE4EE631F17574B85E59F67219EC672AB5C9545DD63D
SSDEEP192:79ZYt2if2Shv+HIuYKADN9nggARnxrtqJ6WjS0nk/HU7pdF/PQ5F1SxroIOKl+fA:5ZYtNO3nf6fJ+1O
TLSHT1140283FC46081929F7900D7F4CBA8781AEA037739996DDFF06D5C2830A49C9E6C92D36
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Interaction/Highlighting/Generate.hi
FileSize52163
MD5CC00496A30E1A7BB3721EF1C9A2AB8B6
SHA-101B604E38402EE49D7C50E3AD49BAEAECCCC561A
SHA-2567368651FBE80A664ADA95407FC7CC53466979DD5598C6F3E9CBFB79015DE2F4E
SSDEEP768:VVLYrOOoqPvt75eo51PzmftF4aTP+Z5I1onfSTxMpNoWJ37+:jwo2fmft+NI1onfECMWJi
TLSHT198337211AF08E72BE8240FB28CFA4705BB70EDD15757C7A7018874769CEB8E41D762A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/CallCompiler.dyn_hi
FileSize11283
MD579EA925B2ED2D8BA6C716459BC6BE593
SHA-101E8307CA2AC7462EBDA5B0D84F903A6C16624F0
SHA-256332593B080CEDD247C99F98AB501401A260E881D4C545FC6D58294EA6BCAFC71
SSDEEP192:m4KpaurFltshoy8WE6kIlNr93++HIuYKADN9nggARnxrtqJ6WjS0ntE/HU7pdF/p:YQubtshoVKxPyf6fJDm/Vqkt
TLSHT1A332A4A88A0C4575FB910E7B0DFE87106EA0EB229653EBEF01C1D1A3179DC9D1DA3532
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/Treeless/Simplify.dyn_hi
FileSize24174
MD55B3596F4363343D997F1EB0F0FD992A3
SHA-1023A5EF9FE29C82D718120B755509BE0CEA4294F
SHA-256DF96EDC66D4A9F46E3C97291D494B499A74E0952F428E0350F7DD43D7DF7CBC8
SSDEEP384:C4vc0PQtFBmuNyjN+reaYD9lzBcHhSqrlI1onf6fJiW13vL4YlafDnfJDLXq/FtQ:PtPQtaHm7Yp1BGpI1onfSsWD4Y8bU/bQ
TLSHT170B27759AF18E422FA350B768CFF4710BB20D9826643CBD74089B1725C9F8CE1DA75AD





metalookup is a service from miwakeru.com