Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1208198 > unrolled thread
| Started by | "Al Ma" <alma0@ro.ru> |
|---|---|
| First post | 2024-08-13 18:10 +0200 |
| Last post | 2024-08-13 18:40 +0200 |
| Articles | 2 — 2 participants |
Back to article view | Back to linux.debian.bugs.dist
This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by
below is the oldest one visible, not the original post.
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
| From | "Al Ma" <alma0@ro.ru> |
|---|---|
| Date | 2024-08-13 18:10 +0200 |
| Subject | Bug#1014978: How about version 4.12.1? |
| Message-ID | <Jb2fU-4Lu7-5@gated-at.bofh.it> |
[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 .
[toc] | [next] | [standalone]
| From | Sylvestre Ledru <sylvestre@debian.org> |
|---|---|
| Date | 2024-08-13 18:40 +0200 |
| Subject | Bug#1073242: Bug#1014978: How about version 4.12.1? |
| Message-ID | <Jb2IV-4LDF-3@gated-at.bofh.it> |
| In reply to | #1208198 |
[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 .
[toc] | [prev] | [standalone]
Back to top | Article view | linux.debian.bugs.dist
csiph-web