Result for 3D29C39B884968085485A87F8115AFADF4911FD1

Search result
Graph view
Children (98)

Query result

Key Value
MD5BEA32CF4C5302AF806042983AF2D7229
PackageArcharmv7hl
PackageDescriptionAgda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized 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.
PackageMaintainerFedora Project
PackageNameAgda
PackageRelease28.fc33
PackageVersion2.6.1
SHA-13D29C39B884968085485A87F8115AFADF4911FD1
SHA-256CB7B90F16365437B95D858C5DF82F6DEA3FD8B36582E0CFD0231643BE9E3D01E
hashlookup:children-total98
hashlookup:trust50

Network graph view

Children (Total: 98)

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

Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agda
FileSize316
MD5A3546C99E7BD7AA25ED4BFA29AC956CF
SHA-10D537621F8E8FEE854EAC04A9466F26A946E9DDA
SHA-25686DAA4AC81F10B8728FA037388D4D88F861E74F04D04220A207C5D62ED654398
SSDEEP6:iqQucM3TqatSniAyxFSsqL2xFZCRSY0TqIYW5v92v:3s0TqIZAyxF/5xFZCkqS2v
TLSHT14AE08C96E72C499C12C85521EEA9427C8AF42053AEB938F9FA9EE2614F0D6A45634203
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agdai
FileSize47145
MD5E4739BE9418D06C929721FE9B92492DE
SHA-10DC3DA2AC6AF0879FE3D48F2A5919F2F15137BEF
SHA-25630B1AB42CF6B03257485777CCB071F03CFB483C5B40B94D6D98FE1EF6F3AD8DA
SSDEEP768:gVb1jDrcq/ZAtz79n6cReZVjetifghub9VIv6V5kopTxC/XDbi1E56zop:gVb2qczB0jSYghis6V51pljE56M
TLSHT11823F26BDA568970C76D465D086D31ECC366B9B24E6F1767E3CE84A3342E8E74C0806B
Key Value
FileName./usr/share/emacs/site-lisp/agda/agda2-mode.elc
FileSize75468
MD5CF130578435126CFB71A2FC6CE7D5B54
SHA-1121BECC1A4894D6B000554657268568B51217D32
SHA-256EA3E3C338631792103FF00902F2580063826662157FDBEE5452D0D820BD47768
SSDEEP1536:kklFBIJmNpvho/K0d4D6EVenNeqcLVce1L8Cr1cpXa9EQpNDGfWTF6YuxQIGZp:md4DReUBa0joKrPTkYuxQh
TLSHT1E473E97FEBF98271858610A3D678DBAA4722C1D0E6511C50789CC388E311EB5A7E7B4E
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agda
FileSize504
MD5517639D7CB1F0B131C49D2367EC4C1DB
SHA-1147695FF8DF0C583C705441FC743201FAC3D0EB3
SHA-2567C6FDA138809A702274AAF4479E10642E4F7EA28D6C278197634948C0FF1ED0E
SSDEEP12:3eISFTok3qINK207JlXd0g+wvv+3JxUYfqd9F5jBqYLwv3qRr:3e5FTH3u207JlXGzwvvCJxUuy9F5tFLb
TLSHT12AF02447AA08313D60200962B8660244F954502AF6A02262B2CDE2F12B6D2EC111C99F
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/share/agda/MAlonzo/src/MAlonzo/RTE.hs
FileSize3994
MD541C20842F03B02FF7FAA603F0B966B43
SHA-1147DA20AA758E0A977ED665913C5F0469E583436
SHA-2566334EFEC9FC7F9103B877BFE708DFA984725DE21C21978FCA9D9525903A35593
SSDEEP48:DWX+g5MxMUFko0R+pV54rFqqf25xDH/qMLpEPrVJV55l6AGX:DM5kMe30RvqfxvLmrVJVfUAs
TLSHT1D08127FD23C5303BD039B9B1E909B05ADC157AC78BD37495384C827863E5A54DA01FA7
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agda
FileSize4473
MD5B030162B4052876D54B32ACB3E09D7B1
SHA-1196E19DFE47D764417FEAD9A6769383F51250CBA
SHA-25613436D2CA19D3C71D1259807D792A36C1453AE3F365E3F928A836F86330753C4
SSDEEP96:nkO94+uX65yxyIRCteCaGyiSxqYduaaOXTwmppjO/bCnyA+3QM:kO92iAWtejj+Y8MCbCnyA+AM
TLSHT19691548549C545322BCF4A22FF5B052561743C8BAEA4B23BB3CE975A1F0577853E2E8C
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agda
FileSize270
MD5BA4534CD8776CBC91C4DFA0095D08306
SHA-119B1428DA575DBBD59E0A33FE52DDB078218FE1B
SHA-256E849249C8C1F31892952518F998DA4740AA7CCFDDC0F6B00BF83A4F03FFE84F2
SSDEEP6:iqeWnSSqTUuctDatANqvRbGgGDx+fGKCP1YF1QYv:3eISFTotDIAMvRbGDDx+fEzC
TLSHT16BD02BE2FB3C152738558E51FC744701AA045033DBEC05D4329CE3E00B8C6D921462B6
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdai
FileSize13832
MD58F2AE348300CFC5C00E9D251CC93BBC8
SHA-11B640B9BDF041CC0F717AD1688086A8FBEEC5B67
SHA-256913FF3D2E54050DA1A4273D9CF4D5620B8E044345F80E6C7E28E293F7B632E1C
SSDEEP192:DF/WL0+3z2/IB3LgtNsg+k3V81ggnURbDDAATL3mGKIwDYcIGmQO2/8R6KXr09Vr:DF/M3zC1/1gTURbAGOILer8xOV0qmm
TLSHT14E52B0689D117CF76C6397D110119782376D27A20B9BAFB9E61A0ACBBF6B02CD1C1D30
Key Value
FileName./usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.1/agda2-mode-pkg.el
FileSize128
MD511AC5489878614294DC66980E4222ACE
SHA-11BE47AD278EB0D0520916CA1D8A9AB9F36FD133C
SHA-256C2A4C8C4C40F874B2EDADE2ECFB11F21104E9310A7806CBF59E42DE52D3A4252
SSDEEP3:AGWgHE3ki9QPyBGSEucrAwNrcoIFVJRIMqELTriMv:AGWgk0iyqkhuOLGJINELTeMv
TLSHT1DBB02B10C892BFE0B04D0100A087146114BFE8B312C80CC01D84000CC893F800CCDB43
Key Value
FileName./usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agda
FileSize490
MD5EE250FEC986F464347C6FEAC121AA04E
SHA-11CB665596B5EE192B114ACE99C26D9EE95A6E0B9
SHA-2561A1E7896CB11D047A0EAFF4C768C2CE45507026A6B23ED8743F0E59512B35C56
SSDEEP12:3s0TqIJtLAQyxx2xFzMF1cfMLM9WFHMmHrM7uYHMO/MmMyn:3/Tf+tv2c1cmTMmHrOB9P
TLSHT126F09743F2091320A09C4944EC3842A416544803BBB03AFCFFCDD3108F8A141843D78E
tar:gnameroot
tar:unameroot





metalookup is a service from miwakeru.com