Update to 5.0.0, Refactor build #1
Open
zeroability opened 2 days ago
  • Update to version 5.0.0

  • Convert to declarative, fix url and names

Able to merge without conflicts
Pull request cannot be merged now as it is pending review
1/1
Merge Strategy
Rebase Source Branch Commits
Auto Merge OFF
Enable this option to merge the pull request automatically when ready (all reviewers approved, all required jobs passed etc.)
Watchers (2)
Reference
pull request UnnamedNewDistro/Packages/z3#1
Please wait...
Connection lost or session expired, reload to recover
Page is in error, reload to recover