Result for F1E000EB6B6D8ACA1E74A99279C3BF27EF9FC264

Search result
Graph view
Children (711)

Query result

Key Value
FileSize23210468
MD51AD4513AE6F158F0FCA878B09A9EBDE9
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.6.0.1-1build2
SHA-1F1E000EB6B6D8ACA1E74A99279C3BF27EF9FC264
SHA-256F6C55214209A393483AEF3E3D6A0832416A2C496F731FD9C5FCE0301DA321F2B
hashlookup:children-total711
hashlookup:trust50

Network graph view

Children (Total: 711)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Auto/CaseSplit.hi
FileSize70650
MD512FDC730DA75A14DF93D330E1568B9B3
SHA-1000D64B09DC7FA438C11590366197B342E8E511C
SHA-25601CF8A2AFCCE0515B046536F6DFF5786418B0AB4628F05381FC34EAEFC8D64CA
SSDEEP768:HsfGqalxhj6U2U7UiSzEWqEGAOH8malxZ2jSa15N3FDHpWnSowJdav6B:K/U7b0Z08Z2xj
TLSHT13463BB15FF8A9113DA1809B5CABA03083B34D8C1B686BF932552757CEC736E17F65AC8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Internal/SanityCheck.dyn_hi
FileSize12165
MD5F95DFAEC9021048AE407A6D75724853B
SHA-10030A62495A2FDAF5CA905DF5CB2226E5755050E
SHA-256319FFE464C92ECA92A542FA6EF0AC20949FA0DE5C4FB284F806A339F3BA141AE
SSDEEP192:7QJpoNZ8J3y/QIVghaii+HIuYKADN9nggARnSqsrtqJ6WjS0/Gxlm+wudF/PyWFC:7QJqv8JCIqiM2BylT2EaS3G1r
TLSHT14F4264B86A0C1965FAA10D3B0CFD87045FA06623D197EEEF11C5D1E30A8EC9D1DB2A75
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Size.dyn_hi
FileSize12114
MD56349133788E2D83DC82AC47F5E1EF77D
SHA-100AFCFEE936DD335DBC4BFA36C061D07F18CF904
SHA-2565BDB251A87877115A90387EDDCABDDC12D87AA5C99069D5FDFF0D3E8D9940651
SSDEEP192:smTsGfw0Jol48GVfT5GR6kN5tkvSSmqLhtXnxWhpNDL6hT5G:syNC+S3q1ypNDL6h9G
TLSHT17D42EF1DFF8ADEA6D6280476C5B643052F30CD61E64AAF832054627EDC775D03F62BA8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Parser/Monad.dyn_hi
FileSize104346
MD5601BED6399D7B7406BBEE2D7C18C2D83
SHA-100B3D827FF5C463D742F359455C1617F8E1BD8B5
SHA-2561BC80B74EF04E1ADA1E3BE1DF41F6C30A7FACB0809A07DE993897EBB7EC2E938
SSDEEP3072:Ajregsi+RXAjiXS2I9Yel9kEd3Ay+7otnTh4dj/fVNp3J4Fq2fV3y:9iV+cHY
TLSHT143A3BB25FF89C117DA2806B6C9B903093B34D8C1A986AF93341C717DED736D53FA6688
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai
FileSize21151
MD50C1004891E4D5B7A1F65DE9E4AB063DA
SHA-1017DDCB662A1937D1B56255C6B97859B9A87D8C6
SHA-2568C6C1A99D8852C0C04DC8B1D3489CB97A849E2778FE67544A8E0A9598FCD6C9E
SSDEEP384:yu9fOlLaNsmJbEF597nyWLDsEJ/SqRb7zBKghjhPf3j4W5Bl1NNYKgXN0XMT4+2D:nfOlLQsmaF5tDLDTJqSn9pNzfPNNU90R
TLSHT15392D1D43037955DE89909DB90219DF0B7E4B3BE93C32A9145CCF03E38A31028E57AA9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Auto/NarrowingSearch.hi
FileSize115935
MD559BEB7421889F23071A24C43E72334E2
SHA-1019652D8EB9D0DFCDB8702EBCD163AB0416C5E53
SHA-25664E4F433C9AD8CD913B4705AD24ED421AA165B5FBD2B4B4E79A3AFE52F6E0A8E
SSDEEP768:kdN3kIrX/GS6eqHTfWJVzLUPOCtGbksv8Uc8POSc8YhJqhejUzuAYbWWB:kdkWJd6OCfshfW
TLSHT102B34A26EF8A9227D66805B5C5B513557B38CC81B986BF832160727CEC736C07F91BE8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Patterns/Internal.dyn_hi
FileSize24798
MD5EC5919CB5C0599E10DBDA2AE1FB0962E
SHA-101AD0887AA31A7738EA2040CF25D182FD2259173
SHA-2567E36B1CAE48EBC1FC0E9C39CBE7C1A4F892DFFF9C203419DEBFEFD5DBC3AD48D
SSDEEP384:vjrF0NUpTUX4Ii/2ut4jM2BylT2EaS3G1wvHWhV:LCNUeX47Bt4A2glT2jSW1wOn
TLSHT116B20F65FF481612E61C0A758DF94714DF20CC81E947BF872050A1BEB9FBD8A2F52AE4
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Abstract/Name.dyn_hi
FileSize198361
MD58F42054448A8FE9584AB5DEF13CEB965
SHA-101B2C30FAE57327F932E22611F9907D425F4231A
SHA-256F47B2C59955D4BFD1306567AD81B797E29CE4B2F7CD8E7742A2DE9D4DF488485
SSDEEP6144:ly/cU36rsXBgBhBBBeBgB2BBBrBgBQBgBZBBB5BgB9BBB4BgBOB0c:Q/F36rKc
TLSHT167146D26FF89D317D96816B089B603057F31D8C1A68AAF57A019B17CFC776D03FA1688
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Primitive/Cubical.hi
FileSize26843
MD5BEF35DD2B86C17B6F1991D284EE44026
SHA-1026BC02B90309404FD42050DFFD4ECCE603DF1C4
SHA-2565E2802427D5E3084FF0ECAB2DDC9046AA28020A384CB8C5EEDBDD110BDCABEDC
SSDEEP384:/1n3ZrZq/HWBWumDPpZLCt4LM2VylT2d9S3G1I4Chh1T:PrZq/HW7i2t4Y2klT2bSW1yhjT
TLSHT182C263267F080551EA2549B28CF943046B10C841D983FFA7319DB17E9BFB9E81F635E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Parser/Comments.dyn_hi
FileSize16334
MD5112ABE63C024735B3A1CCBE4872FB5F4
SHA-1029FD2416617A248E23C0A002366C631AAE5AD10
SHA-25637336CAA6526D588ED8817CBDA4D93D9C9B18C48182C84BC715B4B5093C4F704
SSDEEP192:h/mS86E9UkzEkr7GGMjkA6lYNdKPvCjBbsM6DN9nCrtqJS0/Gxlmti/yz0h2Ps0Z:heaLRGYPKCjBb2I2EaS3q1CPfM
TLSHT18C726169EF08C415DD640DB28CBB03053B30DBD264436F672688A175ECB36F93E6A99C





metalookup is a service from miwakeru.com