diff options
author | Áron Ricardo Perez-Lopez | 2024-02-16 15:40:52 -0800 |
---|---|---|
committer | Áron Ricardo Perez-Lopez | 2024-02-16 15:40:52 -0800 |
commit | 266fde7ed4adec6cf6848ed27a1dd659ffcad375 (patch) | |
tree | 678271efd4cc6f0808ea1f5bfdef2eb5fb1b4126 /PKGBUILD | |
parent | 856e5f35a9cd1c23636c78e512043d10f376cf75 (diff) | |
download | aur-btor2tools-git.tar.gz |
Update .SRCINFO
Diffstat (limited to 'PKGBUILD')
0 files changed, 0 insertions, 0 deletions