|
| From: | Liliana Marie Prikler |
| Subject: | bug#57181: [PATCH v2 4/4] gnu: Add cryptominisat. |
| Date: | Sat, 26 Nov 2022 14:15:35 +0100 |
| User-agent: | Evolution 3.46.0 |
Am Samstag, dem 15.10.2022 um 16:47 +0200 schrieb Liliana Marie Prikler: > * gnu/packages/maths.scm (cryptominisat): New variable. > > Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at> Aaaand it's pushed.
| [Prev in Thread] | Current Thread | [Next in Thread] |