sha256:c53b788133a0034231d7520367c25b5df541a2ed3cfec3912852393b940ac112

Build input of

Contains Dependency Lockfiles

Diff

Content

                                                                         tree-sitter-agda-1.3.3/
sha256:90496ff136741e183308ae716913a90325bb20f5a83194b37aee5182501c81ee  tree-sitter-agda-1.3.3/.editorconfig
sha256:4af865e7a4e4a96e9e465794e6b112bd922c4b81bea45f8162f529c69c9fd9be  tree-sitter-agda-1.3.3/.gitattributes
                                                                         tree-sitter-agda-1.3.3/.github/
                                                                         tree-sitter-agda-1.3.3/.github/workflows/
sha256:3f4354a7a7cbd3f2b9215951e125da257e6da5a4ac83ed752d3fe6b0bde363d1  tree-sitter-agda-1.3.3/.github/workflows/ci.yml
sha256:201352cfe99697632737cea16887397cb3e7b2b81e9f5d7ea71640493d0faff0  tree-sitter-agda-1.3.3/.github/workflows/fuzz.yml
sha256:b31b4fe53081449ab8e37d88b5ed9c5c154be94b5fb80694a46ad5c04fdafbb1  tree-sitter-agda-1.3.3/.github/workflows/lint.yml
sha256:a9e5e5ffaa691df662c773d153922a793ad085d3f0747c6a285ad86d8c074ba3  tree-sitter-agda-1.3.3/.github/workflows/release.yml
sha256:b3ab146577626a302df228cfdbe663020ecbed513dd0a02700b68fea1e8ce00e  tree-sitter-agda-1.3.3/.gitignore
sha256:1b729fcfd6d807de165aa55d5e3058cafbee4d265cf5125f70a81d570a83c4d6  tree-sitter-agda-1.3.3/CMakeLists.txt
sha256:2891c86502c0cb65ccc73f7f3766fd16b8218ed8c850acd762851b07ccc9ecec  tree-sitter-agda-1.3.3/Cargo.lock
sha256:197d51f0d55539c5d1ef38317727ef4b62ce685d58e649b6e2151a5d4aca4166  tree-sitter-agda-1.3.3/Cargo.toml
sha256:ef120ea13e3e543234f3d9a193c99ea512872979802dc0cebaea404c1a47047c  tree-sitter-agda-1.3.3/LICENSE
sha256:2f3de1d3541dc13128bd35e184aae9d435ca76d342e386336f64e23556ad8c0b  tree-sitter-agda-1.3.3/Makefile
sha256:cef0ed0b229ba190f267939af963f3ca1411da00d4e32950b7085d6c46210104  tree-sitter-agda-1.3.3/Package.resolved
sha256:066370c917d8c5684ab3af1bd0d8a7482b2fd3d2b4b3fb749009503267d965b3  tree-sitter-agda-1.3.3/Package.swift
sha256:3438ac3ced9a43d1c04424317535f5c426522948221ce49f12f377d61912a241  tree-sitter-agda-1.3.3/README.md
sha256:c8f158df20f6d0e23bb0cdeb9973cc6f00a79631168633902d5b49ea04b7d64f  tree-sitter-agda-1.3.3/binding.gyp
                                                                         tree-sitter-agda-1.3.3/bindings/
                                                                         tree-sitter-agda-1.3.3/bindings/c/
sha256:67ea339b0d2c8b4024dcfe07fdc2b9641033eba22f6b879c34db3db94aceeb46  tree-sitter-agda-1.3.3/bindings/c/tree-sitter-agda.h
sha256:9c534a99da5cbeab23eacc09beda6c2a43e4e54e91b156ebee74084ed89dda78  tree-sitter-agda-1.3.3/bindings/c/tree-sitter-agda.pc.in
                                                                         tree-sitter-agda-1.3.3/bindings/go/
sha256:93a81f335431626e0415dad5d30296f73567bafbfe6d35ffa68d393328fab23a  tree-sitter-agda-1.3.3/bindings/go/binding.go
sha256:4c8a8c9c94f23613f08a560c0ccf32c57ea861a7b328dc8e8809d3ed1f1fbd09  tree-sitter-agda-1.3.3/bindings/go/binding_test.go
                                                                         tree-sitter-agda-1.3.3/bindings/node/
sha256:fa0076372104145b2e7568bb59bb23f3a00c4438743ecbf0e6b299d1121b743e  tree-sitter-agda-1.3.3/bindings/node/binding.cc
sha256:c35f2aaec5d06fa42a4cea226fa4cb841a04a7506e70086c2ea5d9fd67d8c482  tree-sitter-agda-1.3.3/bindings/node/binding_test.js
sha256:5f593f781f7cb12a3dcdcab2f9c063a77b9965f537bb01c5c05958947f5ff8fd  tree-sitter-agda-1.3.3/bindings/node/index.d.ts
sha256:1c88f4a11c364bfef370b6e0703e051bda0c2ad8e0cf801b7715a4e592084008  tree-sitter-agda-1.3.3/bindings/node/index.js
                                                                         tree-sitter-agda-1.3.3/bindings/python/
                                                                         tree-sitter-agda-1.3.3/bindings/python/tests/
sha256:7da3ecdb32e551eba3508ae892f79be9ae38a63a6fe62bad4ae3b2cdd56bf284  tree-sitter-agda-1.3.3/bindings/python/tests/test_binding.py
                                                                         tree-sitter-agda-1.3.3/bindings/python/tree_sitter_agda/
sha256:bec46bbfeae32619d448a9aebe1e1279171e0888076e7a9b326c4239d3fc89d8  tree-sitter-agda-1.3.3/bindings/python/tree_sitter_agda/__init__.py
sha256:06350d1a3d120ef457882b18b9938a8415b29eba08f00848ab97e7b326369bea  tree-sitter-agda-1.3.3/bindings/python/tree_sitter_agda/__init__.pyi
sha256:1aabf6bf499acf9495dcad5e53fda144b53767db7596a3ec42c2e827acc75cf8  tree-sitter-agda-1.3.3/bindings/python/tree_sitter_agda/binding.c
sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  tree-sitter-agda-1.3.3/bindings/python/tree_sitter_agda/py.typed
                                                                         tree-sitter-agda-1.3.3/bindings/rust/
sha256:5ce4259a1f2815f7c04c1084681693b0a237578b22b6a04fb967894da6bb0a90  tree-sitter-agda-1.3.3/bindings/rust/build.rs
sha256:6abda58d58f4e347651d2454b7e589a72f748193225c73885b86b0753a6e1d75  tree-sitter-agda-1.3.3/bindings/rust/lib.rs
                                                                         tree-sitter-agda-1.3.3/bindings/swift/
                                                                         tree-sitter-agda-1.3.3/bindings/swift/TreeSitterAgda/
sha256:67ea339b0d2c8b4024dcfe07fdc2b9641033eba22f6b879c34db3db94aceeb46  tree-sitter-agda-1.3.3/bindings/swift/TreeSitterAgda/agda.h
                                                                         tree-sitter-agda-1.3.3/bindings/swift/TreeSitterAgdaTests/
sha256:6fda7bd5c753509940ec4582f19cce8c3db402767893c3ef9b5eb8fdff5e71c4  tree-sitter-agda-1.3.3/bindings/swift/TreeSitterAgdaTests/TreeSitterAgdaTests.swift
sha256:e7b2dbe4f462cf890b53cc2d140aef6785fa31caabaaf6a11a38bf12a3ece091  tree-sitter-agda-1.3.3/eslint.config.mjs
                                                                         tree-sitter-agda-1.3.3/examples/
sha256:9db138849388affcf0cda8ff63df7533f40171a2f408dec44e987b1b5ef1a1c2  tree-sitter-agda-1.3.3/examples/example.txt
sha256:7b3fe95ee84f9e0ada24bf8ecfc87af5ec63e858bf075729183ab53dab83fe8a  tree-sitter-agda-1.3.3/go.mod
sha256:a7d2dd524ce7f8e47eb33d9aa480d5011628376107c15e3a415cfef44d22fc44  tree-sitter-agda-1.3.3/go.sum
sha256:59b6e05a3522de085db461aabf364b1af0cf696996bb0cafd1f85b6a05280eea  tree-sitter-agda-1.3.3/grammar.js
sha256:cd7cb84af3e9996c3cab1a31f26242559a6064b2849929a7e4acf34953ee6b86  tree-sitter-agda-1.3.3/package-lock.json
sha256:77c620afab8570a1225fb15b07b343f6e8c44e6437332f4c496321c62c97fed7  tree-sitter-agda-1.3.3/package.json
sha256:3bac85cc4d1e6f565f0b73087f86cfcdf1826794fcca74a372dc9b7e8ebcd096  tree-sitter-agda-1.3.3/parser.y
sha256:bd0ff25b43cc42fc500ce930bd5d0735ea6cbaa4abdbd6de185428f4bd7589d2  tree-sitter-agda-1.3.3/pyproject.toml
                                                                         tree-sitter-agda-1.3.3/queries/
sha256:0b24acfefcd3117061a5b6178acec0acab911e02f76526b76b4086e70b28b0ed  tree-sitter-agda-1.3.3/queries/highlights.scm
sha256:323dacd7317c054b23b7b92f7994421dc5dc64fc58bea6b0dc31ef5ef27a211c  tree-sitter-agda-1.3.3/setup.py
                                                                         tree-sitter-agda-1.3.3/src/
sha256:72933f8f5a8039b852b1f22e818514012cb435a454d24dffb0f80bcc62d643ec  tree-sitter-agda-1.3.3/src/grammar.json
sha256:a9c6e5bb1d033bcfd8d03932f9cf1e30fc1189d484c3dd6816c8fa9d9fd2a061  tree-sitter-agda-1.3.3/src/node-types.json
sha256:ab45429d4acee054bcc0d93dabc7b818051b8c98aca3695b3a08b5ba47315980  tree-sitter-agda-1.3.3/src/parser.c
sha256:2f8cf5eba1412dcbe69bf3b392e7ca0c9664ff7f340c9848885c929a12a223ae  tree-sitter-agda-1.3.3/src/scanner.c
                                                                         tree-sitter-agda-1.3.3/src/tree_sitter/
sha256:b29c1c9fb7cc82f58c84b376df1297d6e2737a1d655fd356db0859e3c29c2fea  tree-sitter-agda-1.3.3/src/tree_sitter/alloc.h
sha256:4ff743903dc46f5db6aa54f31c6b4d160a8a9779e5b2ab1ee59ae7ebcd850ea1  tree-sitter-agda-1.3.3/src/tree_sitter/array.h
sha256:a1f6ef161fbaf48a0e10fca90ef5290a062462b307b3898aa562993853b9f80a  tree-sitter-agda-1.3.3/src/tree_sitter/parser.h
                                                                         tree-sitter-agda-1.3.3/test/
                                                                         tree-sitter-agda-1.3.3/test/corpus/
                                                                         tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/
sha256:7f544a103af0fde6fb7724f752c80971034f123de30c12f5435d50a7cb3b4640  tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/Algebra.txt
                                                                         tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/IO/
sha256:3f25f9c298d0eaff1bb1f327a5ec468a0f44705c123b8c125261cfd6d8736624  tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/IO/Primitive.txt
sha256:f70c1a7fb9416698e5a8b35c3a18aa88c83f2feba9603fd658d2668098badce9  tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/Level.txt
sha256:aabedc9f06b08ce1bd3b830fd65b499c7b4c6ab2b6ff3f0be1f25547a8f6e950  tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/Size.txt
sha256:d9ed30c5e3d8a667279194964c70fbf7d23102e01d0ba557ee546c4c8452d4e4  tree-sitter-agda-1.3.3/test/corpus/agda-stdlib/Strict.txt
                                                                         tree-sitter-agda-1.3.3/test/corpus/declaration/
sha256:c9ee828b210923ac0c5e795dd512d94751d94c50d34e4b3ceb723c57b4890555  tree-sitter-agda-1.3.3/test/corpus/declaration/abstract.txt
sha256:bb2883642b7fae0ec0e525145dffaa85b35e461a351968763fa5539ca75f3b8a  tree-sitter-agda-1.3.3/test/corpus/declaration/comment.txt
sha256:3b1b49558707f161a7cd7c733ca8a4108ae2d75a319c2514bd89c086163ebc63  tree-sitter-agda-1.3.3/test/corpus/declaration/data-signature.txt
sha256:ff694bdc1c043c503966bf4efce304d4e183b033244437581878fb338a578c49  tree-sitter-agda-1.3.3/test/corpus/declaration/data.txt
sha256:391aa47b824330d78a3cad4cef058928a57d40374a1ad7e5c7be6127c4f00993  tree-sitter-agda-1.3.3/test/corpus/declaration/field.txt
sha256:595df57e87ab9bac2ca52e4dbd587cfd1932a64c3b41f22bd8e49cb9e4a43d49  tree-sitter-agda-1.3.3/test/corpus/declaration/function.txt
sha256:677b6e45029997bd4da6d27b3ff948c8ae3e0f0a1923a21c66817f1e6554d031  tree-sitter-agda-1.3.3/test/corpus/declaration/generialize.txt
sha256:b29fddd62084e0215d96010402cbfcd886223bee5ec137f40227aa23cc6ac7ff  tree-sitter-agda-1.3.3/test/corpus/declaration/infix.txt
sha256:295824ca236d0407b7b81f2b7f315fbc9595c1ed35d110baaecfebb616e705d7  tree-sitter-agda-1.3.3/test/corpus/declaration/instance.txt
sha256:955e192d77595ec3093576fc245f9efe55e2abfa51edea3a333fa1c38fb33c4a  tree-sitter-agda-1.3.3/test/corpus/declaration/macro.txt
sha256:36281ae94f31c55bf393bcf4c1e5e2c50228e520f59142ccc3d8ad5dc0577e9c  tree-sitter-agda-1.3.3/test/corpus/declaration/module.txt
sha256:25fe14eca1b0ac0093de0e60a901896df60693903f8d876a50eb50dc67b1b9a4  tree-sitter-agda-1.3.3/test/corpus/declaration/mutual.txt
sha256:34dca90858acfefd4227d445758bb3a4dd63a193fd51c41e8d45f4fd5fad07a3  tree-sitter-agda-1.3.3/test/corpus/declaration/pattern.txt
sha256:591de8d28e5f48274404f1be994919399f9969d176b8cfe55eb8f39dda08d89b  tree-sitter-agda-1.3.3/test/corpus/declaration/postulate.txt
sha256:c5363dbca84f8f406fa3f0b04fe548edae3f33b941300789acb065a5e57e7eda  tree-sitter-agda-1.3.3/test/corpus/declaration/pragma.txt
sha256:6549a7beba34031ddaf527686af7a3939fcd62cef52ad290f546c392b41d0995  tree-sitter-agda-1.3.3/test/corpus/declaration/primitive.txt
sha256:cd47b9718b054072b73e19d315703577608557c36398afb0a5987969efe9bf64  tree-sitter-agda-1.3.3/test/corpus/declaration/private.txt
sha256:ef092dbd3c35b57c4bc02eca499af2ac46e3416bf7f0736defda7093fed6a7c7  tree-sitter-agda-1.3.3/test/corpus/declaration/record-signature.txt
sha256:46e153865e03a353948a6e838476581feca11db7cd9fbc589418d11aad6934a7  tree-sitter-agda-1.3.3/test/corpus/declaration/record.txt
sha256:579d3d7a0bb574d1e37d354fd0fef18b1a4a1394743d7d782775d72769024365  tree-sitter-agda-1.3.3/test/corpus/declaration/syntax.txt
                                                                         tree-sitter-agda-1.3.3/test/corpus/expression/
sha256:6aa5d15386a5114206ee94213f5fe6feab088bb3dd9bdba849ae36ef4e76f5cf  tree-sitter-agda-1.3.3/test/corpus/expression/do.txt
sha256:90426c61e0fdf914c50886d4cd13f8537f098c68d006d8f62abcf38df0d7468d  tree-sitter-agda-1.3.3/test/corpus/expression/lambda.txt
sha256:d02b44cb9604eb94c17f4537f340f517c3167baf453b456fa82a71484d702a5e  tree-sitter-agda-1.3.3/test/corpus/expression/let.txt
sha256:238f96a890687097979bc14ea249a87568e84dfd5ddf2f10c97b06021e2f3095  tree-sitter-agda-1.3.3/test/corpus/expression/record.txt
                                                                         tree-sitter-agda-1.3.3/todo/
sha256:2fc4e3a9244be284653bbd8dcc34f6104150d53e090ca94b4aa6dc911275081c  tree-sitter-agda-1.3.3/todo/let.txt
sha256:06be2899399eec886127b3dcb1ce26b5319d4f267e86b64d81ded0bbfa68cbb9  tree-sitter-agda-1.3.3/todo/unicode.txt
sha256:64af9cb03f95e7633506c16f71c9e755d067b88abf82da2656bce72399cb29a7  tree-sitter-agda-1.3.3/tree-sitter.json

Return to home page.