math/yices: Update 2.6.1 -> 2.6.2
Also change http -> https, and add binary stripping.
Description
Description
Details
Details
- Provenance
yuri Authored on - Parents
- rP531032: misc/mnn: Update 0.2.2.1 -> 0.2.2.2
- Branches
- Unknown
- Tags
math/yices: Update 2.6.1 -> 2.6.2 Tags None Referenced Files None Subscribers None |