/doc/

ype='submit' value='switch'/> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....Josselin Poiret
2023-11-14gnu: agda-cubical: Update to 0.6....Josselin Poiret
2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....Josselin Poiret
2023-11-14gnu: agda-stdlib: Update to 1.7.3....Josselin Poiret
2023-11-14gnu: agda: Update to 2.6.4....Josselin Poiret
2023-10-11gnu: agda-cubical: Add source file-name....Efraim Flashner
2023-07-22gnu: agda-cubical: Update to 0.5....Josselin Poiret