Result for 29E757E8D33937BAE129FA89C30699962E38B217

Search result
Graph view
Children (98)

Query result

Key Value
MD56D1A6D85266C8CB2A99E07FEE878885F
PackageArchx86_64
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
PackageRelease30.fc34
PackageVersion2.6.1
SHA-129E757E8D33937BAE129FA89C30699962E38B217
SHA-256C30F3075B376FE7CD05511ADEB7E8C5D595A4479B49A80AF245B752407F6E7E9
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/Reflection/Properties.agdai
FileSize19121
MD5882C632628DBDAAD9FFFA09C4AFBE722
SHA-107AB36610F96A43752A06A083FED06F0D064085D
SHA-25661C32174A8FB8A3C5A86A70EF1470E3E000CCB26C196C20788BE2E3586632906
SSDEEP384:x3Bd6TWF90iTFtzUywn9PBLQpSrHipFSzF3X:9D90i3UywndBLqSrHJp3X
TLSHT13382D0DDCE6373C78DF210CD283A26B84F187915D4C82447C3DB09E5219928FB4B9879
tar:gnameroot
tar:unameroot
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/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/Unit.agdai
FileSize4282
MD546C1A84D14CE0F664ED7FD77AFA265AB
SHA-1134955A3E78DF846D0FFC3A2D57AAFDCFFF44F6F
SHA-256A27FE7ABF9792D62BF2C4477B48F98B61575318DD62F3F765AE606E3D9129A88
SSDEEP96:9JOj0c0R4PoJOMafmF8mrQev0axNXbOwOEhBqUBtlPULn62aFI8:fOj0c0R4PROamvvHxNL8GFbVU+2aa8
TLSHT145916C5D012C46D7B47ACBEF3747D2380A47F5ABDA846245D3815FCE268AB6C0A63C46
tar:gnameroot
tar:unameroot
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/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