Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update copilot to 3.17 (details)
Commit 283700b0c95ac270b8c5632ed04f451d2fcd198a by swt
Update copilot to 3.17
The file was modified packages.txt
The file was removedpatches/copilot-theorem/3.16.1/series
The file was removedpatches/copilot-theorem/3.16.1/newer-what4