aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/gnome.scm
blob: 49089fefd66b6df1f8b69a65abcc80fd93cc4e36 (plain)
blob size (492KB) exceeds display size limit (100KB).
/agda.scm?id=914d2c2142eb22a0219cf09475ea7207808ded6a'>gnu: agda: Use G-expressions.Tobias Geerinckx-Rice 2022-05-08gnu: agda: Update to 2.6.2.2.Tobias Geerinckx-Rice 2021-12-17gnu: agda: Update to 2.6.2.1.Tobias Geerinckx-Rice 2021-12-13gnu: Simplify package inputs.Ludovic Courtès 2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun