me
/
guix
Archived
1
0
Fork 0
This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
guix/gnu
Efraim Flashner 5a69a52d74
gnu: solidity: Update to 0.8.25.
* gnu/packages/solidity.scm (solidity): Update to 0.8.25.
[arguments]: Add configure-flag to allow an older version of z3.
[inputs]: Replace fmt-8.0 with fmt.

Change-Id: I1501d16323566c066c58c1c4bbf90dd17a23f021
2024-05-06 23:16:53 +03:00
..
bootloader bootloader: Add u-boot-qemu-riscv64-bootloader. 2024-03-31 22:26:21 +02:00
build linux-modules: Ignore nonexistent module files on boot. 2024-03-27 22:23:38 +08:00
home home: services: bash: Move default PS1 prompt to bashrc 2024-04-29 23:54:13 +02:00
installer system: Remove nss-certs from OS templates, adjust doc. 2024-04-18 10:43:06 -04:00
machine
packages gnu: solidity: Update to 0.8.25. 2024-05-06 23:16:53 +03:00
services services: guix: Use Shepherd 0.10 API for actions. 2024-05-05 12:06:23 +02:00
system linux-initrd: Further strip the static Guile. 2024-04-29 22:52:08 +02:00
tests services: Add the Guix Home service. 2024-04-17 12:13:03 +02:00
artwork.scm
bootloader.scm
ci.scm ci: Don’t cross-compile to xtensa-ath9k-elf. 2024-04-17 17:29:58 +02:00
compression.scm
home.scm system, home: Validate ‘services’ field value. 2024-03-22 11:40:33 +01:00
image.scm
installer.scm
local.mk gnu: wmfire: Fix build. 2024-05-06 23:16:46 +03:00
machine.scm
packages.scm
services.scm system, home: Validate ‘services’ field value. 2024-03-22 11:40:33 +01:00
system.scm system: Fix duplicate nss-certs check. 2024-04-28 09:53:46 -04:00
tests.scm