Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / maude
Commits: 28115258 by Antonio Rojas at 2025-06-28T00:46:39+02:00 Add nvchecker - - - - - 1 changed file: - + .nvchecker.toml Changes: ===================================== .nvchecker.toml ===================================== @@ -0,0 +1,5 @@ +[maude] +source = "git" +git = "https://github.com/SRI-CSL/Maude.git"; +prefix = "Maude" +include_regex = "Maude.*" View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/28115258ef44c565c7f7eaa75ff16c08bee942f0 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/28115258ef44c565c7f7eaa75ff16c08bee942f0 You're receiving this email because of your account on gitlab.archlinux.org.
