Hi Fabian,
On Tue, Jan 14, 2020 at 03:42:18PM +0100, Fabian Wolff wrote:
> [discussion continued from #948763]
Thank you!
> On 1/13/20 7:30 PM, Helmut Grohne wrote:
> > Why is the libz3-java package "Architecture: any" (long list actually)
> > instead of "Architecture: all"? Many lib*-java packa
Source: z3
Severity: wishlist
X-Debbugs-CC: hel...@subdivi.de
[discussion continued from #948763]
On 1/13/20 7:30 PM, Helmut Grohne wrote:
> Why is the libz3-java package "Architecture: any" (long list actually)
> instead of "Architecture: all"? Many lib*-java packages are
> "Architecture: all" i
2 matches
Mail list logo
