Package sources for project openSUSE:Factory:PullRequest:47:MinimalX are received through scmsync. This is not supported by the OBS frontend
Overview

z3

Edit Package z3
No description set
  • Download package
  • osc -A https://api.opensuse.org checkout home:Freeman310/z3 && cd $_
  • Create Badge
Refresh
Source Files
Filename Size Changed
_constraints 0000000472 472 Bytes
z3_4.8.12-3.1.debian.tar.xz 0000010420 10.2 KB
z3_4.8.12-3.1.dsc 0000002663 2.6 KB
z3_4.8.12.orig.tar.gz 0004803435 4.58 MB
Comments 0
No comments available
openSUSE Build Service is sponsored by
Places