Result for 283EF70CD010FDC245FDBF20508748A6B3DF560B

Search result
Graph view
Children (217)

Query result

Key Value
FileSize16575618
MD5228A3E11BF40B9A20AED71F96B40D885
PackageDescriptiondependently typed functional programming language - development 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 normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.0.1-2build1
SHA-1283EF70CD010FDC245FDBF20508748A6B3DF560B
SHA-25610C253DF5BD5EC501A78CF7CCFE77EA57CDFE13401572BFB2FA89BEC4E766063
hashlookup:children-total217
hashlookup:trust50

Network graph view

Children (Total: 217)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/HaskellTypes.hi
FileSize21897
MD57E3DCE870124EBFD1C107DE5B2794BC1
SHA-1005B5F97CC46DE3E17224D12727E4450E2553A35
SHA-2564792674822F7DF0F5FDD7613A8ABF0051C555EA1C8587F90B23297D2DDDBEB55
SSDEEP384:ZLXVTU7y2VMEEat0sjIBIQFIf6uj+/v6t:ZLXhU22VJTtnIBfIfTJ
TLSHT12FA276E96B0C9961FD240936CDFB8F002760AE465B92E7BF81D491F3584F88D0DA3979
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Quote.hi
FileSize42350
MD5E94315B3417CAFC26BD94D5AF291AF17
SHA-1009A59E42EE17B2314C15ABCC8EC6DED01CB45ED
SHA-2567E4C23772927E2363D9ACD80BB31D021C8E00641B20C29ACC4874C603B0455EA
SSDEEP768:ZhSfz5vyEHmKk7HfRqFnXfD8biqybQ2c/pjk44bUi63C:ZAdc0XfD80vc/pjk44bUi63C
TLSHT1A813429E2F08EE02E52C0436C49BAF541351ED2A7FD1EBBFD19456E31D432AC0E6359A
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Abstract/Views.hi
FileSize3501
MD57655602ADEEC63E17BB91AD10F7D7B3E
SHA-100A57AF4A9B6A4D59BF67D4E726A35E3E778B92E
SHA-25609D422F4A6567DF5684B5741278A14DF9400FE4DF1101B01E4D69C12C0102BC7
SSDEEP96:ZR/qqDp5SQy2nRY5mTDXqeOUtTjFU7N/PQ6/lE16uz+f6zr/+ip:ZdbDp53jqNUtTjFU7N/PQqlDO+f6/
TLSHT1AD71756DCF140A3AEA550E7B8CE343156B606327D6479FEB22C8F24345838AD2D91C2D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/Epic/FromAgda.hi
FileSize19269
MD59DBC88F63531AEE9406AB4DCFDA21F1D
SHA-100EBAA16ACDA9F8E11B2C8DB45720143A4E4F652
SHA-256F9CAEAD9BA1F3203E8CE1CE52636D7EC48DF9C3421306218143B6D2F3FBE2D53
SSDEEP384:ZIoAY4jmpWukiz1U+EpnELQEaHod8cAXf62f46SsmGfuQG:ZIoAYlZEGclXfC6SUo
TLSHT1FE8286ED5B186F22EA200577CDDB8F00671075517B46EBFFA2D4A2E33C4A59D2E13429
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Patterns/Match.hi
FileSize10549
MD5FD6DC2594237B308A5B35ABCC1EDBC10
SHA-101D15C04356BA9EE40A65CBB7DBEF185E5615737
SHA-256FAC3DB1783D159ABBD413FC66EDE1E6E8C9C8E4B660E9ACDDE1BA31FA8FA729C
SSDEEP192:ZHqVh8IDrAPGpWnJlO6QE+qytXrtTjJWwU72q/PQ51FlKDO+f6qK3d6Z:Zm8Iw+pWnJjQEf6qK3d6Z
TLSHT13C2242A5420C1D35FB710F7B9CFE8B004BA0AA229693DBDF12D5D1B3184EC8E1CA6575
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Syntax/Parser/LexActions.hi
FileSize18343
MD5D1403B150A8540445899E72D7B16F9E7
SHA-10246135FE29D27246C8AC08EF84758195DC818BA
SHA-256DFBA9DA23BA088691F24637E59B826214C34C121329B5F59830933F598DD026A
SSDEEP384:ZA6baAs2BKPEoMmLdwwas7f6BIsJX+nK8G:ZA6b02BcL1wIfFG
TLSHT1D882835ACF81D93DCDAE0473CCEB0614AF509206664AFBAFB158E171BD434E91CA186F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Coverage/Match.hi
FileSize12257
MD5644FD264356FC11BB5A734936C157D12
SHA-1061A2DB394ECE01B4B0136A69095DC153EEDD6A3
SHA-256832FE4C37B466483EA80E45127ABCDE191E5C42B7522D88EC8AFF702CB80C465
SSDEEP192:ZWe8xPEst85p4XbGCsqsJMYIAlr1s/ie1eDVqNUtJWwU7N/QqlDO+f6omgA:Zx8xP90pKGCsqsJO+r1s/ieoif6omH
TLSHT18142A3959F24D924E9B40576CC6B0B203B30EB721552DB9BD3D8B9322C8B8EC6C6257D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Monad/Base.hi
FileSize574487
MD596434D13C893A5A4DAC39EED55DC47E7
SHA-106634938533E325836AA13741595147426443B4E
SHA-256A87010DF34C0BF81E098EB997F7DF2CD4B7691F983A33B8941CFEFEDFA0E6E92
SSDEEP3072:a7XiiWW1We+ca3k8lZ8CMKbh4ghJWo5B9jZet4CQCk8lybxxuIFf5pKBnGjuhEDc:LYWtcAk8TIUzUP
TLSHT1B0C42B5BAF07E601E934163AD4B70B04B324D8C32D47D7AB61A83296BDEB0C16D678DD
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/TypeChecking/Irrelevance.hi
FileSize14389
MD5A4D1623EC1E7E02A01A90A73EDC2323E
SHA-106A3D72253E651EFA9F8CB9AD430BF171A6845E1
SHA-256482B2191E508036D8766F06CC89C242C71FFF895FAE4371729FE38715E1A589B
SSDEEP192:ZVXEymskCqGXzRzLh9Zqvq7lZDzEW+JSP3J+qytXrtTjWwU72q/PQ51FlKDO+f6O:ZVUrRCq0peSFf6RIf6wEVMVT
TLSHT1215285D98D095916FF21057BCCFB8F000B64BA4AA251FBEB92D9F1B7AC4B4DE1C52424
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.2/Agda/Compiler/Epic/Smashing.hi
FileSize15203
MD5A00ED6FBB81F9B320F37B128EDB8EEE4
SHA-107FAD6EEB4AD1246786446B1F23C7169875628CB
SHA-256831E541AE5FE0B6F5F2E155827430BBBCEDF661D52CEFAA24B2EB55AAA1FF4B9
SSDEEP384:ZoEjaGy0GIxayUw5Ig/+sOHb2GcuJki3kFvf6LURSDy60R:ZVaovU8uJki+vfOURSY
TLSHT1796287AA6B085D35FE700E7B8CFE4B005760B6229A47DBDF71D481A3184EC5E1CA7539





metalookup is a service from miwakeru.com