FS#78497 - [coq] 'python-argparse' needs to be removed as dependency.

Attached to Project: Community Packages
Opened by Oid Maps (dreieck) - Friday, 12 May 2023, 12:35 GMT
Last edited by Antonio Rojas (arojas) - Saturday, 02 September 2023, 18:07 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Konstantin Gizdov (kgizdov)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

'python-argparse' must be removed from as (make/optional) dependency, and replaced with 'python>=3.2', see here: https://bugs.archlinux.org/task/78484
This task depends upon

Closed by  Antonio Rojas (arojas)
Saturday, 02 September 2023, 18:07 GMT
Reason for closing:  Fixed
Comment by Oid Maps (dreieck) - Friday, 12 May 2023, 12:37 GMT
Sorry, wrong title, please assign this report to the package "coq".

Loading...