Result for 387AC3631D4FBA940999425855290A3AFFD8AD80

Search result
Graph view
Children (184)

Query result

Key Value
FileSize16648658
MD51F1962929DBC3976571D525CCFCF242C
PackageDescriptiona dependently 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>
PackageNamelibghc6-agda-dev
PackageSectionhaskell
PackageVersion2.2.6-3
SHA-1387AC3631D4FBA940999425855290A3AFFD8AD80
SHA-2562043C03B8F85E35938F119E0015B0A88F22EF84466B191DE7DAF8F6110DB98C9
hashlookup:children-total184
hashlookup:trust50

Network graph view

Children (Total: 184)

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

Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Version.hi
FileSize1427
MD542D2AB191446BC3AED78E8CB6BFBA7FC
SHA-1009359BDB85C3DA143ECE53152845531DE305123
SHA-2566621341A326C25FE2EDC4C6103665F22889770A57E2924EA532C69273930AB7A
SSDEEP24:kBdb9P7thebj7LbYlxWfxPHs18P/nlNSz/PhVQp:IdBJ1DSfT/nl4rPhV0
TLSHT15621EEAA8AD26D3AD4900F7A94D7132017791A82E9FBDB2F659130350CCD1C82D16636
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.hi
FileSize33705
MD5876053769CCD399C0BFC85DA7BC98824
SHA-100F79451B681C3960DB6A0973C987BD5849C0D3B
SHA-25683EC74464EAA08A353DC8C58415B6A3312B8469ED569F589438EE04EA02C3A82
SSDEEP384:86f7xdrPFIN2Ny878ZyJSuhX/gxzJiS/UZOWLPbftwKuwl5P1S7Ea81UzCL1pvTF:kWSGX/gxdH8rLTfCKuo1S7E7L1pR
TLSHT19CE24D9DEF0C6C67EED80A325CFB47512754A511D246DB9B328DE0B22C4FA9D0C872E9
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/AbstractToConcrete.hi
FileSize47240
MD5F432211CBE038389BE6067370113AC0C
SHA-101514A4E2A3E47F3AC0737EC009C4D58A04D6987
SHA-256D0552FA77B352685D570A1BD75CBA5ED43A2F0EDC46224424D7655DA4097985C
SSDEEP768:PmnFVyW7qmC3rMyAZDUNfY75r0SEa2wxiFgHYxGyjWvb2UvgsjYlAdzVmB:xWOmDyscfY10+2jWvb2UvgsjYlAdzV2
TLSHT198232E1A9F9C2E12EDD80A7744B28B242750F52BD586CB57344EF1222FCB8EA5C1778C
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Auto.hi
FileSize11298
MD5FAA4074971ACE3B6E32BD901C2A4C4D8
SHA-1024A20CA092851F1672C5EC73D00BCA03B532E81
SHA-2568F59C81E4E4DAD7CD18D71FDC4AB23CD0E9245E7F26D65F39ECCA05B84BEEEAA
SSDEEP192:mBJZxyDgdLFxzyPyXDjlYZZWL+qexOtXrtTjJWwU72Gi/PQqlP1Fru6SNhPQR+fO:/sxxIcmZEWhPbffaKEoC
TLSHT1913264A46A4D1574FB610D376CFDCB001B906A228183EBEF91D6D4F7658DCAE1CA3670
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars.hi
FileSize49271
MD5CA0E1DDE209EA1E9A85F04F1A905063B
SHA-104F7989752A1A6DB8110654357FF20ACBCB7AD22
SHA-2565C69CC1693AA9592EDB03A68985E66FDA73623523760D02B779A59A9F496B9DC
SSDEEP1536:8hdihGfElRBrpzVbxWwW/W7BfvRSiLxJij5:K+o
TLSHT134234F5AEF5CD026F9E00A3AA8F64B063350E151C141E6DB328D61766F8F4DE9C136EE
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Lexicographic.hi
FileSize28679
MD5F681EE92684BF487144CA1364B59274F
SHA-105020D952A19284BFB9FE2FA053B25E4B1F86683
SHA-25675461D6FAFC99101466C739A2C698AD41D0024BB414FEE4D96055F32C1913243
SSDEEP384:3FHxnCBmnNClPAM2bu1h1hpjMmfanjOhVtWH6lvgJd0nWfn8/NCgyCQ35ekV2oNA:VHxnCqEUWnWfn8VCgyCQ3vVrvj6
TLSHT15BD2118FAF54A92BECD84A3644B743507734E9A5E882C31772CE653C6FDB4D82D4BA40
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Constraints.hi
FileSize12644
MD5D76F26E415B3F978337E6A5BCA02A6E6
SHA-10628C40BCB3F0C742D40FB81DAC748484B88AFA1
SHA-25617E765C2B931CC03695259CBE3CE203EC5A29E3EE45C744E6D7696C5209D2340
SSDEEP192:GtceTv0Ph7FpDBEHgEK56O6An+qytXrtTjJWwU7N/PQqlP1FcigQR+fZwhBHRl7W:zeTvkh7uA9QbfZwhBHH73G
TLSHT1A0425455DF084827F9E50B3B0CFA4B002790E525E162CBD7219EF5A61C5FCDE8CA3A24
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Exceptions.hi
FileSize5058
MD5BBB92F517BE8CCEB662F22D1816CBDA7
SHA-106C86A80BC48945F232BC11A9EF424C1A587AD3E
SHA-25638668DD61DF772DE3A3282712FCAF058F48E3133112E86FE372BCEAFBE1B5EBF
SSDEEP96:gncwVdlRAgy/eBcdIW/45lYUN+qeOXrWWwU7N/PQ6/FcWHH/QQR+fW/rMvBPTU8:TadblNB+U+qNXrWWwU7N/PQqFci4QR+7
TLSHT194A1ED6DCE480E26FDC40A7A4CBB0B1157707721E451D6EB668CB6932D834CEAC83B64
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Locale.hi
FileSize1446
MD55B345CB959339B90B1E9D4992793E53E
SHA-1099B58365C3A3B0074BE27642C26858DBF1C6214
SHA-25610825F3F8EC6864B4CC1B3DB2398EE2BC1E6BAD1D38224A36F078EAA71F8AC17
SSDEEP24:qGT5PnDib9jZbSOAaMFDTIFpOJvs18P/DUask1tf9FhHg:/hib9jZbSPLDTIFpOJvT/Aas+tfjhHg
TLSHT1BF31789F2EC49C2FDCC08B72A5D71319223062A6F753C6AB3588613400877482E26715
Key Value
FileName./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete.hi
FileSize135577
MD5867A35BA5D78754679FA8F9A3EC48DFE
SHA-10A4D69F49E53D1DA1227BADE9332E70775BECEBF
SHA-256C37CCC72C7166BF1C0992C79F2E62FEB929ACD4E2F733637E2EF04EEB706AB57
SSDEEP1536:1aNCOwt0R4r+LgjTSeECJo/u4W/6xxL3ef/alXiSouJcFIYl:wNLzLGcwoJxLDY
TLSHT100D32207AF145822EAC20A7710F20305BB49DA95D18BDB97769D35317EC34E32FA26DE





metalookup is a service from miwakeru.com