Result for 196998A4F6A571E1702590492F06DB6F99B86A02

Search result
Graph view
Children (711)

Query result

Key Value
FileSize28840828
MD58FF6BB4F2BA40F9FC62192AB135EDC68
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-1196998A4F6A571E1702590492F06DB6F99B86A02
SHA-2563C1B436559AB8E277EB3BA317ABFBF9F5B147D1CEEAA4AEE60FB389C4BCA5CF0
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/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Compiler/MAlonzo/Pragmas.hi
FileSize56051
MD545D9DFF6A1B30273BA3D7E2C4D47202C
SHA-100A92EC624ADA457484367CF010D2EB58D83632E
SHA-2566895D0D0676A547B4B5A9DE75B0F630B805E8587F858F91268A5DE5773428205
SSDEEP768:jabsAe3pkmSfEbFDoTaBQAeEbRc9t4WpsMfl12jSW1U0YMUayA23DZ:jesppkgqT2bRc9t4WpsMfj2sMUv
TLSHT18D435465AF085513ED380E358CFA47147724ED819242FBDB1184627BD8EFAC82F56AAC
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Coverage.hi
FileSize111367
MD5DEF56B165075A9B98CC522D4CFEB792A
SHA-100ED2931C0F99D49505829AF55E4F82D9448EA47
SHA-256803418A050E6BED711E00895B31EE676CAE091F119473A7A52C8AC5C83B8B0B5
SSDEEP1536:BsbSSkPcfXD656b0X0EFGmCTsS2tC/t4It+2lB2YIT8jBkpPz5fS:Bise656b0X0EpCTctC/t4F25
TLSHT1D0B32020EF480607DA395B71CCF513147BA08CD0AB45BBAB715831BCEEB79E42F62695
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Utils/Maybe/Strict.dyn_hi
FileSize48647
MD5C3B052C2026DD3F4F4F6E8425C7DB80C
SHA-1014CDE77A5EFCE28E571F788868B1AA26D82895C
SHA-256925D8B7125FC8229D17872B2EA4DCE1CECE4CB8892D939FB9C98A4F088C4A4B8
SSDEEP384:mOT9m0SUBQMiskKlY7KvqPfsc+AD1oRk9cqyeHm6sWcQJRQZkz/9trBgS3q1pvK3:NxMDKvq3P1oRudywDgSa1pvKIjvAjR
TLSHT15E23EA66EFCA9342DA681970827803086F25D981FE9D7F532025B5BCBC73E943F61AD4
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/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/Coverage/SplitTree.hi
FileSize59475
MD562588D081EAF255AEF05C61A8A4A2CFB
SHA-101D8544E89EA08E4ED2C7969B42078898BF1D3C9
SHA-25603A175E2B82539DFF266F3488E4CBAFEC94237A3B60E46F96B13F79462AA6883
SSDEEP768:itxxC7exu5933+NdzcPrAvm8t12jSW1Fr63PH1Umr6hIqj:BZ+NpR128q
TLSHT15D435C25EF89C207DB280AB595B5030C7B34D8C1AA8BAF472155B2BDECB37D03E516D9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Compiler/Treeless/Erase.hi
FileSize34063
MD52D626F5C12A30EEF82B5023F27F09AE8
SHA-1024489DF7A30EA2E31D1281ADB6F50BDD9994A8F
SHA-256F01DF73C9B3DDF411863EA9A56BD53DFF1147C4E3C799F695CE7650E0959A706
SSDEEP768:lGYViCg6Vxt1UfmSvWCpPnPDp6t4dFklT2jSW19BKoSSKf:lGYViCgsgf6QPnPDEt4dFkB2ZBKoI
TLSHT13FE29555AF089122F9640E3A8CFA47017B70F941D647EBD71041A176DCEFAC82E67AF8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/Syntax/Concrete/Fixity.hi
FileSize34040
MD53D4CFA1AFB5C467A525DE669C74130AB
SHA-1028B22CA0251C974FDECC32BBFAA819E6D107B8F
SHA-2563F8DD89C6C7CBAA3831AD48BE3241E16C14684FBB077529C2EAAA5768713092C
SSDEEP384:VnbWVWNTQR7DRX/VsjsMgdyetb600VHRnfTwNAK+Z524S3G1VGLJ3+PXAaVcXH:AY0rPJx0fv24SW1VcsXAaVcX
TLSHT1FBE21066FF888512DA240D71CDB613057B34D8C2A647AB872009727EECB76D13FA5ADC
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdai
FileSize13214
MD52F8DED650EA7E054B2CB6011EC8D52DA
SHA-102B4D116714191B4245BD2724C9E755CCA5ACBED
SHA-2566361FFC5DB0D1CF103FB0739C49CD1EC2B9DAC78D26CD778DCFA464A4B25FC54
SSDEEP384:VCBH6SdFfMPiStpzYzG2MFa9r95EYXPin:eaSXfZkJFa9J6QPU
TLSHT17052D169C2B246A4FB9A5B39EAC761F2C0F50F09CF54FC2259492CE50E2A35262C117F
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb/Agda/TypeChecking/SizedTypes/Syntax.hi
FileSize138404
MD529B053845D53EA61D5001850C7722A30
SHA-10342E0E2E3C7A3FD262EC30734D8381179F4D5C8
SHA-256B6CA983525A6D3339FF7B36342805506C9B25675CA0402A312A21D36BE3954E6
SSDEEP1536:UpeTZ59AJQo50Nqhn6hnMoT+5Ta2+6s3NemG:6MMm6kNs
TLSHT1D8D34A25EF8DD213DA38067485BA03497F34D882B68ABF57601461BCFD73AD07F52A98





metalookup is a service from miwakeru.com