chore: bump Agda parser

This commit is contained in:
Stefano Volpe 2025-08-30 17:50:15 +02:00
parent 42fc28ba91
commit 5665b58eac
No known key found for this signature in database
GPG key ID: 44725D38BFD67CB2

View file

@ -3,7 +3,7 @@
"revision": "e8e2515465cc2d7c444498e68bdb9f1d86767f95"
},
"agda": {
"revision": "b9b32fa042c2952a7bfca86847ea325e44ccc897"
"revision": "e8d47a6987effe34d5595baf321d82d3519a8527"
},
"angular": {
"revision": "843525141575e397541e119698f0532755e959f6"