Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1208198
| From | "Al Ma" <alma0@ro.ru> |
|---|---|
| Newsgroups | linux.debian.bugs.dist |
| Subject | Bug#1014978: How about version 4.12.1? |
| Date | 2024-08-13 18:10 +0200 |
| Message-ID | <Jb2fU-4Lu7-5@gated-at.bofh.it> (permalink) |
| References | <EJvTr-bwZ5-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
[Multipart message — attachments visible in raw view] - view raw
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 — Next 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