math/eprover: Add PORTSCOUT line
Description
Description
Details
Details
- Provenance
yuri Authored on Jul 24 2023, 8:59 AM - Parents
- R11:a2ba9ca08f23: math/py-deap: Update 1.4.0 → 1.4.1
- Branches
- Unknown
- Tags
math/eprover: Add PORTSCOUT line Tags None Referenced Files None Subscribers None |