Result for 874D61BBFEB65CD799CA65408E49B1A936B1E74E

Search result
Graph view
Children (168)

Query result

Key Value
FileSize12291846
MD56AEAD17B4ED62B7AB6A24B624FDD6F8F
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-1874D61BBFEB65CD799CA65408E49B1A936B1E74E
SHA-256CE93A27BE05C4C3C53771947E714B0E8D9F23B6CF65BA2A1DAC5FA7BF2B47403
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/Compiler/Agate/Classify.p_hi
FileSize41704
MD5B59B48FCD9DDC7631B934816E8CCA339
SHA-1014F85E46F30725EA07982D83928441E07338994
SHA-2567C17EA74D156E6958E2F4DCDDA476089B16733173D9F7CEF7457A1C5041F7DF2
SSDEEP192:UV7PQuBcmpwEoKAx12x7OYAn+qy8qvtTjJJkwU7N/PQqlP1ForQVqPdgVCuUofqB:UV7PQuBnpwERAz2zAQ0hIKsuUofqiKLR
TLSHT10613480F9A48A63BD9C80A3E889B47247360D421E542CF57274DFA326E4BF9D5C1EBD4
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/LexActions.p_hi
FileSize24590
MD5BC98ABDC9BF49A82138BDA6E902381EE
SHA-101ABE1EA63925071A4FD02AB7EF5DFFE6B38CC06
SHA-256F5D1EE531989B1ABB545DA0ADFFEC1AC01F72612B50D918BE37EA46F01CBF81C
SSDEEP384:BjxHyL3PI6ffyVq+Hbjsc3GnBf+NXvMFgyUI9s8tB:9xH9YpB
TLSHT187B2508DAFA69E18DDC80E3594930B143B38E655F481D79703AC62A36D873DC1E3E798
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Compiler/HaskellTypes.p_hi
FileSize30261
MD52B1AFA91EB1ED40B8278AAAB80593E9B
SHA-102493ACA77609AE2D86385FED6B2DB942C9ACBBE
SHA-2561C5831C5364BE7FA21CB8B1F117FC05431CE523E29A07DF002D6FE52381C6BBE
SSDEEP384:3b3OnWT2X2PHf8oafYv3VIWg/TRAq0hIvssmneERwQx1sZ:3b3NCG/f8bYbev4eESQA
TLSHT15DD22B5DAF64AA5BECC10A3248B70B2037749110D886E79B615D62731D8F7CE0D6FBA8
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Interaction/Monad.p_hi
FileSize9807
MD58B3AB7C2B2C515863CC0160802DD2BEB
SHA-103E8652899B9DD54FDBD0D4633A03B1BE1531C14
SHA-2569A9090A6B3CB54543548FD40052DD69FBC0FEB427156337552641CDF18DBFF0D
SSDEEP192:81FzoeaQgUPOJ+qy8qvtTjJkwU7N/PQqlP1FoxWQVEVC40tq+vOr3ct:819+TN6yS/yVC40tq+vOrMt
TLSHT1E81251A949886963FEC00F370CFA87012B645612D252DBDF21CCD5A7594FB5E0CAF635
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/Size.p_hi
FileSize4924
MD5A3B9C38912A723025B5396B64910CC33
SHA-103F22EA30513271349BF820BE4FEB9009FE0CAE7
SHA-25640B46BA880AA5AF57556D690483178AF32326564543EE8BFE75FF5CAA29E949F
SSDEEP96:fwT0YjTGjk0ex8i/Ypli/p1c/5YpVvsAVzY5S:yOXVO9D8S
TLSHT145A19C86DF90DB39DCC81A3281B203583720D78EA345DB47628CA1207F8F1E11CAB76A
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/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/Tests.p_hi
FileSize11939
MD581AAC113EC5D380ACF78E45830E8D824
SHA-10983D9A6DB89F3D2EE9C18656FE32D4FE8A72CD0
SHA-256967EEA1F38A922C6F3BF783F29BCBC3EBD8A86EAB0657348E7EE4A060190F76C
SSDEEP192:xloyZAbKK+aXW3dAyYdqe+E8qvtTjJJkwU72Gi/PQqlP1FrumFQVqNytayJGaVI7:xloD+aXqAnHcINhyJGaa7
TLSHT19632219969194020E9E10D370CFE8B302BB44612E582DBDF219DD1B71C4DE9E1CAFE74
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Syntax/Parser/Tokens.p_hi
FileSize34560
MD544242D662774D2C319D3788C92AEC430
SHA-10C55ED4F30D5EB7C8DE610F3E74FFB0B55B10738
SHA-256388E4341E4D30A43755897DD4C9F838F79AA3DCA51C3F50AC8A624A2AA4F4D37
SSDEEP384:LJ3vrDoCyGt3cUFHhDyvGXftkQwys3SNgLmhkN+guS:LV3oC39hTk73d
TLSHT197F20E09FF36FD97C5D40AB2849B07747B79D100E20B4B5B269E63321E8A3D94C2E5A9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.4/ghc-6.10.4/Agda/Utils/IO.p_hi
FileSize4142
MD5608189B85359161BB57911AF9F1AFC10
SHA-10CBB66F756B13DD7BE114966C96D53D38FDC026D
SHA-256EC23924E1CDD15C8719BAACAB9C186CFF09867364FEBB1DE797F5B0748C4BAF8
SSDEEP48:tFSMHrInn5SKLHy70impn/JIsJsFAFL/QaiD7Y8txPWlxxuM:rm0ey7Mqs7FLz6sUxPW9uM
TLSHT1FF81A84EDEA5DE2BCCD40B70CAB647413B30A19AE956D373268CB130588B7651EAF309





metalookup is a service from miwakeru.com