Result for 5635DD621524009B964D87E82E7E34C5DE5040CF

Search result
Graph view
Children (168)

Query result

Key Value
FileSize18807886
MD547EB428DAACD794B874847454211BC3D
PackageDescriptiona dependently typed functional programming language - profiling libraries 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 contains the libraries compiled with profiling enabled.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-prof
PackageSectionhaskell
PackageVersion2.2.4+dfsg-1
SHA-15635DD621524009B964D87E82E7E34C5DE5040CF
SHA-256A189EE6629618163CC87C545DE700784BE97CBB32FDEBED2F114840E956F1585
hashlookup:children-total168
hashlookup:trust50

Network graph view

Children (Total: 168)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Char.p_hi
FileSize2421
MD55A2E057E182FDA8C35A54F8DCFF68AFD
SHA-104F129F7CF04EA7B192190916280DC835687203F
SHA-256B4B402B89BCD7C5D7E486F73EDCA1617758DF3142FB55D163A0FBB1D97D79FFA
SSDEEP24:axMnB5sOXmVdcL/+MXZ+Pzm8ZQbyxG1e+gUbJJzA18P/VpcM/QpsN:axTiKcz+28j+DJJzn/VpWA
TLSHT1AC418C9FCE90F43ACC85067388F7133C3735E29AA647D763218864B6AE5F2D42D4516E
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Closure.p_hi
FileSize6106
MD53FE01BB2758FC1623597C9953B7D0011
SHA-106DC1B74DF8A1E1E8ABDBEEDD0C32B8A5ED42CF3
SHA-2560F5099311C2CE0146F7E43A8AB5C783EFD9C4AA9FC83783615DF97FAAC5578B8
SSDEEP96:aFbrbR9Ab3wi/GS7Y5znYUo46+qy8qvtTjJkwU7N/PQ6/lP1FVuDu6QVWF4HLare:EXNm5PdJ+qy8qvtTjJkwU7N/PQqlP1Fp
TLSHT1EEC10FB59D480A65FD550E7B0CFF8F106B94AA12E102DBEB52C5E283198FCCE1C93A34
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Pointer.p_hi
FileSize5833
MD572129B02CD6748356316B3EA1AE177F5
SHA-10795BB140594C3670EA5C574FEDF2F69C9CC784C
SHA-256ADD86A22A5052BB37F308F7B52129E45844A7A266D9730EB3054FF1A0D37AD61
SSDEEP96:AaGs6i/yACi0i/XHkpb/XnkpMo/XHAz4tf4wzv8/iQzsGHYzf9VpvL:HUNAAiilF2DpvL
TLSHT17CC179CEFE51CA27DDC41F3580AB0705332AD18AE786CB1B919E25257E873D82D5E292
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Termination/Semiring.p_hi
FileSize14729
MD5BC4059425DFDE4407A1E607AA86CB76F
SHA-10A5A803A11284C763CA21DA50B0EDC0DDE378CF4
SHA-256E96B54CC31C2E5DF561B0D0510CB78307F220C7C320FF30CBCEBCBBB623C1E6A
SSDEEP192:/djOQtMtrtMtKptMtmtMtkudA8taAt3oG7coVIIOq/DpTLCXOkkzkPn:/vtD4cDpTL+Pn
TLSHT1AB62CA4ACF11AA1BEDE4547584B262303F74D25AD1A0D35322CE21352EDB3F6BC6F689
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Constraints.p_hi
FileSize17986
MD56A3901DAB5BA962733ADDC724F4553D0
SHA-10B2047F9EEA2405FCF354D1342E86672DAB11DF2
SHA-2564560EF66FF208B6FBD385A3EEFBC11CDC28A513A4DB8844AB914C0B4A392CE8D
SSDEEP384:zPI6rgPKcRZT38JC+AxMAQ0hIU0WsSLqV9hv:zPM0U0Nv
TLSHT15082416BEF088515FCD00F360CBE471437A5D696E542D7C7128EB1621C9FBDA0CABA24
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Constraints.p_hi
FileSize15207
MD5FA5196E5931557928E4D559E8A2CC2F2
SHA-10B944DD6EE9CF34B019B992DBA2AE0CBB113A6D1
SHA-25628EA2391DFEDF7ACC351CB47B3384F7CBF036EAAE57DA74034A17D5D03601400
SSDEEP192:jLXczJBShBPlJ+qy8qvtTjJkwU7N/PQqlP1ForQVqqbq4h/:jQ9oh36yhIyN
TLSHT1C4621FA4EF28CDD9ECD40EB208BA07107755F6AAD491D397428DE2431D4B1FB0CA7E64
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Termination/Termination.p_hi
FileSize64570
MD565C1C8C772FB0604B3585F14439DE567
SHA-10C0508A019C07F3FC174DDE1FD8108EF9A633010
SHA-256D0DA1839C397DB6142557EC1B7B4F2598FC5A74ED6A6D052F14CCAF7BB8A2CBD
SSDEEP768:2qnp+/YmJXdXtX+XBX7kXGXzTNkZ63o9bpbN3nfs:XnGXdXtX+XBX4XGXzTR0hfs
TLSHT139536B8EFF69E61AC8E04F360072032537398141D65B8B5BA69D66738D8B39D0D3F5E8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Monad/Mutual.p_hi
FileSize16596
MD5DDD9706F96A38F93B5E6326AFC515A00
SHA-10D72A329FB0860956382CF023013757C073CB023
SHA-25663F14A62850FF9BF6AF4467A10DCA7B9756C1A4BC4ABBAD67314C4EE84F68DB8
SSDEEP192:fvcatIUHkkne2LEs6P6+qcqvtTjJkwU7N/PQqlP1ForQVqZ04bO5:3catIUEkn7LEsfyhIZa5
TLSHT1C4721C94CE6298A5EEC80A7B2C7E07053720C5A6E042CBE7429DF0562F877DD1DAFA54
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Main.p_hi
FileSize97284
MD5FEBD3031DEF06B1D8F797D45CCECACA8
SHA-10E72A2E7FA1D39266B87B53A2C1413F05C9412DE
SHA-2565FEBBB8D269862EDECA08AA02E1D63762956A16B9710617CF7A60678B271007B
SSDEEP384:Wd3eoUVdADzJwjJ06rZzWVrYKcgw0nJcjw/WV1ZdH3qsydYCh2mzN6SZ4Q07TrDZ:W4ZVBZIcskwvq4RN4v
TLSHT1D693E0DF5F1EA21BEFD9443614AB432533605583C142A7EB25AC6069ADCFB6C4E0F398
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/TypeChecking/Rules/LHS/Instantiate.p_hi
FileSize10607
MD50C27FD95C14FE338C64E4B8CA033A977
SHA-112B664185FBC8CA7F41ACFE3FA0483CC2555BEE4
SHA-256E6040CD22A5938F9C10B797A169776F6CA263A6BA5970B10EC3392B7339C0290
SSDEEP192:O2uzbFYM4sKZLPPyfcyeO3B8S+qy8qvtTjJJkwU7pi/PQqlP1FrumrQVqVslj9k:O2jMc3ryLBItuIVslj9k
TLSHT16F2295A5A54819A5FEA10E7B0CFE8B1017906922C283EBEF51C6D1E3185FC4E1DE7B31





metalookup is a service from miwakeru.com