[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp
From: |
Efraim Flashner |
Subject: |
bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp |
Date: |
Tue, 5 Mar 2024 10:21:17 +0200 |
These patches are applied to master. Closing!
--
Efraim Flashner <efraim@flashner.co.il> רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp,
Efraim Flashner <=