diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2025-10-10 08:00:31 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-10-10 23:17:40 +0100 |
| commit | 394a2accac3d9815eb47682fe4f1e4985e7932e0 (patch) | |
| tree | 82833240acaa99711f83cc07df192ae2fb5fa6f3 /gnu/packages/patches/automake-regexp-syntax.patch | |
| parent | 6eb7198ab622d98a70cc7dfbb3f0ccba137888a9 (diff) | |
gnu: kissat: Make build reproducible.
* gnu/packages/maths.scm (kissat)[#:phases] <patch-source>: Don't
include current date in build-header.
Change-Id: Iae8dde38de8badb2f5975f69b2221faebd043371
Reviewed-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Diffstat (limited to 'gnu/packages/patches/automake-regexp-syntax.patch')
0 files changed, 0 insertions, 0 deletions