aboutsummaryrefslogtreecommitdiff
path: root/.gitattributes
blob: b31f7fd74d457543fee1d2e3b6f3ef2303fa255d (about) (plain) 
1
2
3

*.scm       diff=scheme
*.scm.in    diff=scheme
*.texi      diff=texinfo
generated by cgit
5c051d62ca63 Josselin Poiret 2024-10-12gnu: agda-cubical: Update to 0.7....* gnu/packages/agda.scm (agda-cubical): Update to 0.7. Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30 Josselin Poiret 2024-10-12gnu: agda-categories: Update to 0.2.0....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch -> gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch. * gnu/local.mk (dist_patch_DATA): Change registered name to new name. * gnu/packages/agda.scm (agda-categories): Update to 0.2.0. Use new patch name. Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e Josselin Poiret 2024-10-12gnu: agda-stdlib: Update to 2.1.13...* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1. Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf Josselin Poiret 2024-10-12gnu: agda: Update to 2.7.0.1....* gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 Josselin Poiret 2024-08-31gnu: agda: Fix build....* gnu/packages/agda.scm (agda)[arguments]: Don't refer to nonexistent 'compile' phase. Change-Id: Ibc9aa38a31c22c9be3a3997882e62129a47938a3 宋文武