guix/gnu
Josselin Poiret fd299f580d
gnu: agda-cubical: Update to 0.7.
* gnu/packages/agda.scm (agda-cubical): Update to 0.7.

Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30
2024-10-12 11:12:27 +02:00
..
bootloader
build
home home: xdg-mime-applications: Fix file name spelling. 2024-09-29 22:21:34 +08:00
installer
machine
packages gnu: agda-cubical: Update to 0.7. 2024-10-12 11:12:27 +02:00
services services: Extend udev rules in joycond-service-type. 2024-10-07 01:20:22 +09:00
system
tests services: cleanup: Reintroduce explicit ‘chmod’ calls. 2024-09-25 17:53:53 +02:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm installer: Use the latest ‘iso-codes’. 2024-09-28 12:55:54 +02:00
local.mk gnu: agda-categories: Update to 0.2.0. 2024-10-12 11:12:26 +02:00
machine.scm
packages.scm
services.scm services: cleanup: Reintroduce explicit ‘chmod’ calls. 2024-09-25 17:53:53 +02:00
system.scm
tests.scm