Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1208199
| From | Sylvestre Ledru <sylvestre@debian.org> |
|---|---|
| Newsgroups | linux.debian.bugs.dist |
| Subject | Bug#1073242: Bug#1014978: How about version 4.12.1? |
| Date | 2024-08-13 18:40 +0200 |
| Message-ID | <Jb2IV-4LDF-3@gated-at.bofh.it> (permalink) |
| References | <EJvTr-bwZ5-1@gated-at.bofh.it> <Jb2IV-4LDF-5@gated-at.bofh.it> <Jb2fU-4Lu7-5@gated-at.bofh.it> <Jb2IV-4LDF-7@gated-at.bofh.it> <Jb2fU-4Lu7-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
[Multipart message — attachments visible in raw view] - view raw
Hello Not sure when we will be able to work on it. Don't hesitate to propose a patch Cheers S Le 13/08/2024 à 18:06, Al Ma a écrit : > I have the same request: please kindly consider upgrading. > > For my purposes, I ask specifically for version 4.12.1 (which is NOT > the most recent version of Z3) because that's the one currently > requested by dafny in > https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source .
Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Find similar | Unroll thread
Bug#1014978: How about version 4.12.1? "Al Ma" <alma0@ro.ru> - 2024-08-13 18:10 +0200 Bug#1073242: Bug#1014978: How about version 4.12.1? Sylvestre Ledru <sylvestre@debian.org> - 2024-08-13 18:40 +0200
csiph-web