Bug#1014978: Please update to newer upstream

julien.puydt at gmail.com julien.puydt at gmail.com
Fri Jul 15 16:50:18 BST 2022

Previous message (by thread): Bug#1014972: Missing build for libllvm14
Next message (by thread): Bug#1014979: Please ship z3_tptp
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Package: z3
Version: 4.8.12-1
Severity: wishlist

A few new versions have been published by upstream ; can you update the
Debian package?

Thanks,

J.Puydt

Previous message (by thread): Bug#1014972: Missing build for libllvm14
Next message (by thread): Bug#1014979: Please ship z3_tptp
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-llvm-team mailing list