Result for 5E6DB73D08D8FCCB234AF19F6D597F1AB81C3C5C

Search result
Graph view
Children (649)

Query result

Key Value
FileSize12964750
MD5932892D7033408F7314695007147DE8D
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.5.1.1-3build3
SHA-15E6DB73D08D8FCCB234AF19F6D597F1AB81C3C5C
SHA-256D294664C5A9863B4B6B6E8E1145999BBFB73850EAA672E342AAD657F3A242264
hashlookup:children-total649
hashlookup:trust50

Network graph view

Children (Total: 649)

The searched file hash includes 649 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-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/JS/Parser.hi
FileSize59000
MD5AE2849C97160570134A1CD875AAF156A
SHA-10033E35145E418FB57C1884C303CC7D2E4CF5896
SHA-2568654616FE14AE83BF2DA5356EA972D6D155B1E23672F236EDBA8A063C7B25408
SSDEEP768:qbsXTIKHinycJmjTE9Eo9o9QrqEqusfSzEN1+f5e:qbsXTIKHkyc4oio9o9QrqJPfzN1+g
TLSHT156431435AE19C236C9258BF4C5B8574CB7389DCA1F9287934248BC76FCB26D43E76098
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Pretty.dyn_hi
FileSize15541
MD58E734C72CA1CA11CCE3D0B17B8D71591
SHA-100396F2AD27BC24E09DA6AB2D2FEA35D7D687408
SHA-256B06F04990DCF4C06FB6E68AC3CE65F718B03B52833FC8227BCBF2FFF71B7FA4F
SSDEEP384:KR7KGQpYSr1rW6o4CZdPcG90x+VYFndHGe7l9xA:KR7KwSRS6o4CbP90xE+VG8nA
TLSHT136620C159E44CB66D8750BB588B5438A7B34ECE2AF43C78310493532EC276D06E7AA7E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Rules/Data.hi
FileSize25521
MD51DD7F8EE9305F2122538AE7CA01E7656
SHA-100DF55EA08369E2C65F133E5B847370F05A6B76D
SHA-25677FA808FBEE4A644505517B53496C6A729020DE4E9CE5A7F2E3253F5A734327D
SSDEEP384:gb9IdzE6/dVtQW9hndDTOjaV7sInPa5GRF2QJcwm2Izonf6fJDUUXiBsRrkcq:YAzEiVtKycsIzonfSRXiBME
TLSHT164B2A6986B184528F9680FB69CFE4701BB70AE525643DBDB01C0A4734CEECDE2D726B5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Compiler/JS/Syntax.hi
FileSize47383
MD578E73D1D27639F2F33B181E09482A42B
SHA-100E529D156713F1F8962C67DD0239C74A1C6E4F1
SHA-2569FA499CA21B49D90ED5AFDD83D56C2424463A510894DD5384A0E6033B600A23A
SSDEEP768:QA4xXu1BOuhmyBLKPBdX5e0k/SJckqcbGup2i9oJIkJ4Yz6DfSoDJ4Tp/Mp+DmQf:QA4xXIOuhmyBLKPs0kaJscbGup5oJ5H3
TLSHT15123DF6AEF45E123E9398779C4F613067778DEC217168B8780493531ECA72C86EF269C
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/IO/UTF8.hi
FileSize5861
MD56D4FA44C3BE2EC21B7F88F453728C15E
SHA-101AABF077D8F8BC8685528D5C32DADA2F1E3250D
SHA-2561DBDE7D21F7763425A3818BF97B9F439091522C4AB7252DD4292A0BF07D1E177
SSDEEP96:1iLIVzPD1+DUSjCW7S+CWhJ6SsCWX4bSoWqWsCWGEIW05IWX8CW1WatCWGEIWdLz:wcd+DUSjCW7S+CWhwSsCW4SoW6CrWvWm
TLSHT185C10169DE18C93BCC7C4FB580F58212BB356AC26763DB23024831309DE77D82E795A8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Syntax/Abstract/Copatterns.dyn_hi
FileSize81095
MD5EA5F0ED2B1EB0A1899C38677B22CE3F4
SHA-1025DEDCDAB81443AF2E2740691553CAB4D5B2BFE
SHA-2564BB9408F6450D746E16E5BF74E764885D1717B4B49A3D590CCA084A769BFE731
SSDEEP768:GitbID5DzMG0+vgsnYzg4XfmYawQEpUD+vK1y3nfSP4zaxAfMJzSVCGF4ZW:6NL08gsgg4XfmYawQEpUD+33nfAc
TLSHT16383CB15FF11E31AD928077188BA5308BB34E9C25B538767614D7131EEE22E42FB62DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/Utils/Memo.dyn_hi
FileSize5262
MD502940C6F166B04EA0257FF263ADE0B6C
SHA-10266D0E9A1B9A3E614BA7BCB7E04389BACB21851
SHA-25660FDD10E1815F2B40CD37EF5B475E77DD7F0D835BAB0A2FB3E911B1616164046
SSDEEP96:ThJkjIC7w47SAFL0w4qS7NR3hWfJzZ/fDh:FJkUCr7RFSqyR3YfJ9jh
TLSHT129B1AD49EF48C72BE6550A35D8FD4B007B24FED1B691CF470099A030AC729E81DB6D6E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/ImpossibleTest.hi
FileSize1735
MD501859908A2CF558447A3B62C0BDF3D34
SHA-102FF96F35F116EA8D39F62444744363E050D2B13
SHA-2560D2E6F8CCE242CA6D340FF35036B0AFAE5CD0C2B81AD69228C421C83F02726CB
SSDEEP24:Zf1yuU3+BlxaikVtgKfuECNt6tNs07kpIalpK8gF0R9jJYteenTVNgHuTn:2LolxaXmiuVgtNs0IptlpDJYfLT
TLSHT1EB31834CE7E45D3FC3B52D3ED4A04385AF62B6923A134BD340A8537109678D84FB0927
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/Free/Tests.dyn_hi
FileSize34876
MD53150DEEAE2DB98D091D586DBC23ADF40
SHA-1040ECCAA57EB49012079BBB024334AFFB15F3EA6
SHA-256419F5462528C519EF3398A2BC31433FAC69655F1CCF0B4972AF0F356792781D8
SSDEEP768:pAsHaiNVrRp9pzLhzRMr4MFSWbnfSdtxKUo/:W1iX7/hzRMr4M0Wbnfstxo/
TLSHT170F2725AEF0DD625E83407B18CF663407730ECE56B4787A7014C7472896B2E43EB65AE
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/Agda-2.5.1.1-7y9RpspOu8kGzg5tlmi4Sn/Agda/TypeChecking/ProjectionLike.hi
FileSize23035
MD5227A724B5362FDB096471784E27B7EFB
SHA-104375DA3A14DC3692F7551DA0437E4F1A56C56FA
SHA-2564F41008FCCC9C82848691F6B24A8623DA206447BF78D1F4F35152D9F1AB4E53A
SSDEEP384:Oh1uX6JqPtbXcH1CcMu513ew9UiIeDnf6fJg8+cX:OyX/Pt6MY3ew9rIeDnfS+8+u
TLSHT1ADA2E9A97F089431F9640A3A8CFE47047FA0A6928693DBEB0195E0734CDE8DD1D635E9





metalookup is a service from miwakeru.com