mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-04-08 06:00:36 +02:00
* gnu/packages/maths.scm (yices): [phases] <fix-build-files>: Use gexp variable. Change-Id: If40f787e3c6535edd14aec833de8beff79213d95
457 KiB
457 KiB