Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / coq
Commits:
519dfee2 by Antonio Rojas at 2023-09-02T20:07:30+02:00
Drop unused argparse optdepend (FS#78497)
- - - - -
1 changed file:
- PKGBUILD
Changes:
=====================================
PKGBUILD
=====================================
@@ -57,8 +57,7 @@ build() {
package_coq() {
optdepends=('coqide: graphical Coq IDE'
'coq-doc: offline documentation'
- 'coin-or-csdp: for psatz plugin'
- 'python-argparse: needed by some coq tools (e.g. TimeFileMaker)')
+ 'coin-or-csdp: for psatz plugin')
# coq-nox was the old name for coq without coqide
replaces=('coq-nox')
conflicts=('coq-nox')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/519dfee2bf5e14d8b0665c1c62c3415c761d7a9c
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/519dfee2bf5e14d8b0665c1c62c3415c761d7a9c
You're receiving this email because of your account on gitlab.archlinux.org.
