Result for 09EAA99A6D7DEE600837A2034016627251FB6414

Search result
Graph view
Children (228)

Query result

Key Value
FileSize12924862
MD50EF3D08D980443F2D4C6F41082213865
PackageDescriptiondependently typed functional programming language - development libraries 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 contains the normal library files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-dev
PackageSectionhaskell
PackageVersion2.3.2-1
SHA-109EAA99A6D7DEE600837A2034016627251FB6414
SHA-2561AF6C7EFF302249552EE235EA6391194CB6350381EE929829C442D585F2CACCC
hashlookup:children-total228
hashlookup:trust50

Network graph view

Children (Total: 228)

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

Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Utils/Unicode.hi
FileSize1345
MD54A5CDF78B98325148077884332B17BE5
SHA-10061A7AA9D260A15ADDCE244DFBB661A9770FF77
SHA-25624E9C87A954F3069152E659FF699142B03A8286778B381A29A6AC70F50EDBD30
SSDEEP24:ZvlrGyfECNYDTwrlzlnlfCJVTQN6iOlHX+jJNMtztr:ZvpfVYDErl+TTQUiKujJqZtr
TLSHT155211F9B0B869F3FE68107B688F783107B31ED236B23EB9701A470110C262F44C7069D
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Reduce.hi
FileSize149995
MD58E1933ACDB5D47CFEFCEF2716F8C98AA
SHA-102ED553FCF8384DD04DD027D960FA38D23A15775
SHA-256664B134AE63C07040D99556BF84A121A2100B2C1F6B3AAB9BC45881B044C2969
SSDEEP1536:ZxA2qfGhRhqs2KgGGkyvLQg2c0f8yYmlmaMcg1Z6JonuIu6n:HA2KihqL9dP
TLSHT1ADE3973AFFA8A31BD421167249F27B00B780EDD252368B9B154E5336BAE35F50DA30D5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Termination/Termination.hi
FileSize27770
MD51745A934C9B1A590F467CC5738359C0B
SHA-10302237B6CB7089669B5377BCD546CA9CF3489C1
SHA-2562015C381501F967936F9860E96D39954EE5C221D73BD3D156FB89C6E6D5DF049
SSDEEP384:ZJH0LzjRhdOLDLrPFRK98ZQh/Zi63RN3jIPkkpELfECXITQOY:ZJmzjRI8gwnzjycflXvz
TLSHT10EC2CBA9CF4FEB2AEC7EA43844721750BB31FCE398214B5B92CD119758634B02D264ED
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Compiler/JS/Pretty.hi
FileSize12436
MD5038CC1957CDEE2550050507C5F2E14E6
SHA-10303DD133B1E7C08E80E362A1F1DA6744BCBA4D6
SHA-2567CB5714B9E303CCCAFDEECD94D4F334144271E1B0F92921ED648BAB2EBFE0FB8
SSDEEP384:Z1mlyZpJ1hisk+4Npd29DLzQhed+Db4t2o9+REbflXf6+kPNsf/v:Z1XZVCozxfePNsf/v
TLSHT1B4425F60DF18CB19EC2847B584B60B02B721FECA1665CB87B64B6E177D138F42C719DA
Key Value
FileName./usr/share/doc/libghc-agda-dev/changelog.Debian.gz
FileSize1799
MD529A0F6076D7058A5DB491A292979D96D
SHA-103994E3F239B03A0B62637DD014F1584E44DDA91
SHA-256BAF1648E5FC046576D6E4B630A8988ED27FFB844BD8D71E9A433BBEE1E2B1363
SSDEEP48:XgLndVAV1Bz/j/p/wUdfJ2D9831dGQHL0EUcQ:wrMBX/tiDkdfL0ELQ
TLSHT1B4312BB40A7AD1AA95C0618763465852AFC22D1532487113EB1C96DED853A385EF0A32
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/MetaVars.hi
FileSize66719
MD592DAC0AB71A66E29A771315E1119ED54
SHA-104C60449597AF2B74703E74C453A37938C83D69F
SHA-25655F3BCE7F168FB9213DAA1184A0D6A34912BBD7D418C9245AE83AF2930A7B13C
SSDEEP768:ZcTAYKO90p6Yi75GN/jqaxiegNhxcIiFnVj1JopSMgLZpOMIfWOmLztaji/vwQF:Zis8UcaxiegNhxcpIfWOmXtbX
TLSHT1A5635374EF19D717FC241A7288F71701B360EDE35AA6D7A7198E62A36A134F40C720DA
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Utils/Map.hi
FileSize8182
MD5E64F8263F7752E663E52243F0E77A8EF
SHA-1065773FE7552A0D6895EC1087292477945C199A8
SHA-256A408F202C88CC316CE3D257903507563AEE9F1A716A724B5824429E56248FBCB
SSDEEP192:Z5+njYbWga+B6Cfa4x5o6iYB1gOPDggMevkxjJ/ILaDXw3ZWOtJJ7cqzr+f6iBN4:ZsnjYbWgafCfa4xxxLggMev2jJvgqf6F
TLSHT116F135069F08D72BEA588A7958EE0B007350F9DCA579CF872089BE11BE574F43DB5C89
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Interaction/Highlighting/Dot.hi
FileSize15645
MD57C60690EDA24D4774191B8C6CD0E8F6A
SHA-106B1654FFDB429E64B740D553BD5EA7AE3EC6105
SHA-256CAF52B23F50CADF06C5367F35DBC9F9135FC3D57D83DF0DE9518EC31EB771DC5
SSDEEP384:ZTEsXgd50Ji92V8M/xBRvdOaqf6IdXAErf676xl4I:Z4td50JWfrik/
TLSHT11162B8749F188B2AFD644E768CBB8700A320EED2C521D7DB16CDA153185BC794CB28E5
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/TypeChecking/Coverage.hi
FileSize35725
MD52B7C5D414EC41A6BCF231FF21AF612C8
SHA-109C78613C8FC36FE8922D0121CB2E0BADA0C18F4
SHA-2561BAA820144A9704AB9DF52D98EA0989A55BC5C5E093E8AB069B3404882C3E362
SSDEEP768:Z6tOepCEHkEoqnGjw7An+inlB5E1ac2r3zfWiQoy+Zcn:ZYBHkolyr3zffBZ4
TLSHT15CF297AAFF045621ED700A764CF94700B751E9C29A12E7AB318F51632D5B8F90CBB1F9
Key Value
FileName./usr/lib/haskell-packages/ghc/lib/Agda-2.3.2/ghc-7.6.2/Agda/Syntax/Concrete/Name.hi
FileSize35217
MD50F3BF2F02314952D223759160C4E037A
SHA-10B4BC85CD5CA4DAC2CC64E529FC4CB5E4E0E98F4
SHA-256CB6B6F51D307ED02C6AB5C2BB76655FE4E525584EB6A85E68A718FD6D11DC7E7
SSDEEP384:Z5TneN+l9O4htb4qrsniRdTdp7tBfvLIrPhBDAwYYAsYdtVbRgzo6oloWodofo4/:ZJ4+ljN6ZbbhHJiQSPArNfaPl3XF41re
TLSHT1DDF21F26DF48D713D879867940B61341FB70FDD29613CB5BEA8E21653C232A52CA61CE





metalookup is a service from miwakeru.com