Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
agda-stdlib
Commits:
6afb1c35 by Felix Yan at 2025-07-31T19:00:28+08:00
REUSE updates
- - - - -
1 changed file:
- REUSE.toml
Changes:
=====================================
REUSE.toml
=====================================
@@ -17,6 +17,7 @@ path = [
"*.timer",
"*.desktop",
"*.hook",
+ "standard-library.agda-lib.in",
]
SPDX-FileCopyrightText = "Arch Linux contributors"
SPDX-License-Identifier = "0BSD"
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/agda-stdlib/-/commit/6afb1c3539ba8fe848fb5b3e750ed3e3c56e5b65
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/agda-stdlib/-/commit/6afb1c3539ba8fe848fb5b3e750ed3e3c56e5b65
You're receiving this email because of your account on gitlab.archlinux.org.
