Result for 508494F60238D733102ED94073650C6720D91902

Search result
Graph view
Children (652)

Query result

Key Value
FileSize14325888
MD5430DB07A2C22C23371BE60C214113F07
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.5.1.1-3+b3
SHA-1508494F60238D733102ED94073650C6720D91902
SHA-256F872288DB980B0C0641F257294522DFB07762F3D1048A23AC1F356AD6CAAAC9F
hashlookup:children-total652
hashlookup:trust50

Network graph view

Children (Total: 652)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Interaction/FindFile.hi
FileSize21870
MD53ABEEF5F953EC41D93908BD3D552BF2C
SHA-100A03F10B473D0A64E7B2ECF51ABBA5A9B86B33B
SHA-256F680B0495802D31113B3C3E09CD344C13A80B111E4C462B5443D9A8767ED1F5F
SSDEEP384:jUDZD9SSsmrSjKVS7SzOS7W4ymTFxkhTFXi16v7Kf6fJINQfYAKvimx4u1Dl5eKD:0ymzvFxSFXtvmfSqvAKqYFf
TLSHT12DA2529BAF14DA35DD150FB68CFA07007B30EAD15126DBAB11886172CDF70E82DA64ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi
FileSize91949
MD5A211761F8644AB8659B31E6EF4464AD3
SHA-100FC338CCF5E9B45AE763630DE7DE10252F458A3
SHA-256876B91F87F40750F49EED3344B023D348702E56D78BC4A81C55E985324B51D50
SSDEEP768:FU452hrvE0dgMU90i2o9AHS5tYgBfSxH5/u0j4Kdos8:FU4ia90BDOf4HH2
TLSHT1FA935695BF93D75BD91B9EB5887ED30CBF24DAC102229B4700143830AD72AD86D71A9F
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai
FileSize1617
MD55F536625D6FBD677F10C77FA9954ACE8
SHA-10102B85AC67FF0EAC6D5DBA78E3B2C6C71E82CDD
SHA-2561280658E9633804EA1F399803942DCD406890EE8E5AB19D586294F72DFE38949
SSDEEP24:1lFUis71iVZ43qGA7E9uRonumXjhNYnNhc+veDMQZkuKomSVno/sW/fBq+Yz6IMl:1QWv43IE9uRon9XjD0GFRrUnH1GNk
TLSHT1A7310842820A5CC21C0D6E7E290911FB9EDFCF64432E9BB142AAA25B27294C20CC3C27
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/JS/Case.hi
FileSize25097
MD58E24F24188EBDF301E8DB884A6F9537E
SHA-1012BBB4CA02129DCCA21E5FAC0A6C3594043CB8B
SHA-2567C68D5C8EFE2663C75F73101BDC7BEB3E3090AB698FFF6C8B197EDB0E14E305D
SSDEEP768:zk2c9pL8N262w+AXJL15csnkiKQUlhfSkpjF6a9c:zqhw+ANkH/vf2V
TLSHT1BFB20C16FF44D326D8394BB588BA03063B38EED217429B974141B531ECB76D86EF216E
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/ReconstructParameters.hi
FileSize20324
MD51A40937193FD9CD2250F7703A0477CA7
SHA-10182BBB0640BF87904CD2B48C36E0D5B4E91D1A3
SHA-2564377AB191E5BCC297212D0331D241E6A3683A7D70BDDB1921D7555E594039275
SSDEEP384:SVhb7d2cQcBOBknqm4Nodx3QJ2Ize7Kf6fJogoipn:e7d2c9A9JAIzemfS0iB
TLSHT1629264D57F149670FDA41F729CFE87007F6029C25283ABDB01D8A1B216AEC9D0DA35A9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/Rules/Def.hi
FileSize50794
MD5C41B9A9022AFE968315AB8BDB4505343
SHA-1024F89F7B0EB293A711366D7075BD471A8500B2E
SHA-256F5AA9052DE11B3CE0E11B01084EBF557D3570DCA564284A5F5378459C891A9AB
SSDEEP768:5dBFaYWH2h3U/2TnhuSM1jFqD7jt7gEAgZkIOGdfStIfkvPxfcQQiY/30:5PFaYWB/anh+IOGdfCUQJY/30
TLSHT1A0337E51AF04C7B3E9280F7A8CFA03017760E9D21752CBA765843171DDDE9EA2DB7268
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Syntax/Abstract/Pretty.hi
FileSize18158
MD540049C45CB00B81F93F49B3DFBF0BDD0
SHA-10254E5107D418F02E3FDEE56894785D93A6B7A1B
SHA-25602F1F0D2432D1C4F97255EF44E4D8CAE14D1AFB339A9535B86292FD92F76C01E
SSDEEP384:itSXwSesaOYnSgpx6v/YghSXlxn7Kf6fJ8m:1e8XinmfST
TLSHT1FB827F54BF46C725E9990B724CFE4B087F20EF9252A3DBAB0148A0765DBE8DD0D73129
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/Reduce.dyn_hi
FileSize230662
MD50DB0014F6845C07E1E0D88853D803676
SHA-1025DD73AFCB8BC59DB3CEC0C9597A1AEA03DBC32
SHA-2568891FD80067566F5EADAB4885C82825F1C00F11F0DD5EBEAF0E5675A6F830474
SSDEEP3072:zSYMJ1gf4pPl6IWf4nZbn+bm7w8LOBYlv:+zJy4p97
TLSHT1C9349959FF85C31BC8290F72CDFA1708B720D4C1575A8B5B5008757AFDE62E82DAB298
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/TypeChecking/Polarity.hi
FileSize43548
MD50FF175BC66F70C5E6AFD3D822C602698
SHA-1032E9B652AD4305E580A5E7DCD2F66BF3479694B
SHA-256C845121C9C5E2421653E1F3AFAC517382A5EE6A7C4D25B9996F3F2F5AD4862FE
SSDEEP768:RmU2PB8BhJvJFnhwHkXUgIeDmfSpVmnnBLVJ:RmQVIeDmfsVmn5L
TLSHT102134F54BF08D225E8280B75CCFA4306BB38DDD167429B9B034435729DFA9D92EB71E8
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/Agda-2.5.1.1-D7i3toi3ly1FEjQkWaRq05/Agda/Compiler/Epic/ForceConstrs.hi
FileSize13617
MD545DFC15DE63C3EDC71328A873BE64C5A
SHA-1033E759680C6C618E19EB1F5443DC3BE020B20A7
SHA-25601BE00FF5C898F67FBBF9E400B4E1A2779F402C7EA91C676D5CE672AA11002DC
SSDEEP192:Ss4D2w2pPt9Vsl20WPOlTy4A/eNr43uII+HIuYKADN9nggARnxrtqJ6WjS0ntE/o:cyPt9Kl20mdtuILn7Kf6fJqVf
TLSHT18D5282949F081A31FA940E774CFE87012FA067629683EFDB01C5D2B35A4DC9E1DA7639





metalookup is a service from miwakeru.com