tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-24 03:00:35 +02:00
Code Activity
Files
aed2e17768bc2a2bbac95066637bbf00a60765b2
guix/gnu/packages/agda.scm
Josselin Poiret bd0f217321 gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280. 
* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.

Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
2023-11-14 13:47:53 +01:00

13 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink