Result for 143E348B93B961F16DD52C5FE5E393CDDB492A8A

Search result
Graph view
Children (537)

Query result

Key Value
FileSize10670346
MD544EAC84D3BAA552B270A3BE8F448547B
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.4.2.5-1build1
SHA-1143E348B93B961F16DD52C5FE5E393CDDB492A8A
SHA-2564E7667D8BAF844D206C70FC7487459AC032650D67AB8673061B0851AC5687F0E
hashlookup:children-total537
hashlookup:trust50

Network graph view

Children (Total: 537)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Utils/List.dyn_hi
FileSize59533
MD53EC37CC0656660EDDB3E1BA36BD36B52
SHA-100CCB9C15BD865FBBE20154D1478EB566E7CA0D7
SHA-256F66AE5CFB93F16D8DF6E814B880D1A0581098858E086B9A0EF6263F7CCB9CBC5
SSDEEP1536:TvrDa3Nguq0J1hFhzOy0xmWMezHPwUFs9AHbM+1MZUJuiDuoqlh4fcbDSO:3xDzhMV
TLSHT1E6438A95EF65D012E43A39BD00A517D67B32AA8C6713827B210E7E33FC632E42D71E59
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Interaction/Highlighting/Precise.dyn_hi
FileSize102239
MD53F941A1B384DE0D4C4AB5D50DD870E29
SHA-1014EE7D498A99D674D9F77864E1A3CC00839F4B0
SHA-256D8DD213D59D09C463D773CF4333E2456046D6AD6C0685E5ABC7FA53568659334
SSDEEP1536:TTfG7QYAOMtVdv/t4nBvtH1sM21twrf98ArIpxu:8XSrw3
TLSHT1A4A38981EF44C023D9693A7908B653943B31E9CD5602576B611E7873FE232E82E37E9D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Interaction/Exceptions.hi
FileSize6066
MD5F9E3EAF409D05F8AEB406744CFCE554A
SHA-1018F3B545496A8B125E94952EAECED6781E37CDB
SHA-2567FDAFAC75148904E560D277540B3E2014E1D72D6712C97B15BE0775B63141BF7
SSDEEP96:TXiG5tCNBGktw4HcauQZ785G8fQYN9n3nrtqJJnnU77OF/PQ6/lXxEk7ql+f6TzK:TXTUBGktruQZSQYN9n3nrtqJJnnU7yFd
TLSHT1FDC1A67DCE04062BE5811ABF5CB90F006D70775AD696DAFB0A8862432DC29AD7DB2D24
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Utils/Permutation/Tests.dyn_hi
FileSize40631
MD578E18B083EA1C6FF98E8C972E900A6DB
SHA-101ADF992A7C6BDF57DC5445EDDC499FE8511E3AC
SHA-2562017CAF4496A1D990C9C60E551870739A00FCB698A318D623FC42B004DDBF37A
SSDEEP768:ToFq/PQb6Xv7QHoSVCUBVi9jebQAHbrfVlCVvFPTt:TdPnHWrfAz
TLSHT11503DB92DF64C027D93535B9087623957B31AEEEA702673F210D3537BA132E42D32E99
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Auto/CaseSplit.hi
FileSize27841
MD5BC410A686A5176E8DBD95D8BA836A5BB
SHA-1025E6D586FCFEE879BB1E84B896AEEA19A68373B
SHA-2563941F0475DE3B92F6230407F28214222E4C153CAA79DED0EAEA999C4ED75C2B0
SSDEEP384:TielbyYl9gPtAWa6UI7QxWN4VzLGqcpAKuASOO1pRg3lblnr2TMxDFaaAW:Tvv9rdnn1GXDv
TLSHT18AC24091EF849007C9292ABC48F60B987731A9DDA7D39367014C28F6ED573D52E31FA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/TypeChecking/Irrelevance.hi
FileSize22911
MD57AF9902FFF4AADD5F1D108C6B3F0C7C9
SHA-1025F94B22F3D5E070F7614B3C8A32B49A79A9026
SHA-2562F486343485DE289CDBEF62C75CC4FBF7061C38F618EB66EBC5569468FBFA10D
SSDEEP384:TONpbToN6yNVsLvqmYoPyPUyWRXWqmwnC1VK2Cuf6Teztf6N5kf+:TYryAyPUyWhGK2Cuf5ztiN5r
TLSHT1A2A28650DF0CA427EC54283E8CFA87913B2099DD834196F7319DA473AF0A5E82D73DA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Syntax/Concrete/Operators.dyn_hi
FileSize22467
MD5AAD26BC6940BA9FB8196888593A56FB1
SHA-1029F804E693C7457CF79570E5DEBF19D15B037E6
SHA-2567D73DC9FB70FCCCDA2AD1E9B90D8957B2F08B84745AE0877E9737877CA704C2F
SSDEEP384:TDBQbjTHsq9ehY8DzwRJVCCuf6TRIT7kg62:T+bPHX92Y3VCCufr
TLSHT121A2D6E9EF049427EE58293F4CBE33447F20A7CD465297EB844C75636C426D92D72CA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Termination/Termination.dyn_hi
FileSize31184
MD56A103DB15335CDBCDB92B4EFE247E6E2
SHA-10309944EB312B6CD1BE9DB7EC687EE33BCFA781B
SHA-256DDC33B5CE958BBBF393FD3C299D50C9A3A6D8769426E43B71EFEC0B401C8A763
SSDEEP384:Tw+r7pQIDwQF88FiWu177vdaBd+fvCWzjNuN9UR7Cw2heeYsnzup1uPYS1616vfu:TZ7mI9+HdFUqCMyC7ggeLKpcbjvfR+s0
TLSHT10CE2A996DE4FE427C93D2A78497927887732CCDD6A42036B325C7472AD133A42D36CAC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/TypeChecking/Records.hi
FileSize74987
MD5472FDCD2D75C70AF93A45F94A4EA0DE7
SHA-103247184C847ACEA4C9F53B40B2AD341CE1BFA94
SHA-25693782769085B2C3DEB671AF533603F80AD4F943F830E319BD3400474A1D65DC9
SSDEEP1536:TCo6P73xcSKu6N6W8rHviukZPpEUIy2hfZ5Ibi6:eT3xcSKu6N6W8rKukZBBIy2md
TLSHT11A73CA5AFF44A003D8153E7A4CBA2784BB3094CD5B0A97B3004D7533ACA6BE56E378D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-KY3eDSzsmz7H449ZMuOkhY/Agda/Version.hi
FileSize1293
MD56FC6F4B07C27EA60A4DBA9B91D133561
SHA-10364FE4639E3303863C49666C773309837E5A180
SHA-2560EDC910877B5637C0D56DC768F3DFEE1B3FDDA18D02FF84BC71A1AEF71BF3A0A
SSDEEP24:TXcKyyuba4oS4ZRRvW8/jc4Fz3qGyspFNw04HtIeeRTZGNGnVVs:TXczyL1ZC8rZZP/pP0ZUTZGkVVs
TLSHT19C2112FAD2D0CD2DDCA9327D409547927331AAAE1C5387AB05913C67A8438CC2C35C99





metalookup is a service from miwakeru.com