tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-18 00:00:32 +02:00
Code Activity
Files
9cdce964caea6555de481f87a2994de16b092f2b
guix/gnu/packages/agda.scm
Tobias Geerinckx-Rice 2e964d0d7d gnu: agda: Update to 2.6.2.1. 
* gnu/packages/agda.scm (agda): Update to 2.6.2.1.
[arguments]: Don't explicitly return #t from phases.
2021-12-17 03:07:54 +01:00

6.4 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink