summary refs log tree commit diff
AgeCommit message (Expand)Author
2023-06-04build-system: New agda-build-system.Josselin Poiret
2023-06-04build-system/haskell: Export default-haskell.Josselin Poiret
2023-06-04gnu: agda: Add AGDA_LIBDIRS search-path.Josselin Poiret
2023-06-04gnu: emacs-agda2-mode: Switch to G-Exps.Josselin Poiret
2023-06-04gnu: emacs-agda2-mode: No longer inherit from agda.Josselin Poiret
2023-06-04gnu: agda: Build info manual.Josselin Poiret
2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch.Josselin Poiret
2023-06-04gnu: Add ghc-vector-hashtables.Josselin Poiret
2023-06-04gnu: Add ghc-peano.Josselin Poiret
2023-06-04tests: records: Add test for ellipsis in body.Josselin Poiret
2023-06-04records: match-record: Do not show internal form.Josselin Poiret
2023-06-04records: Add MATCH-RECORD-LAMBDA.(unmatched-parenthesis ew syntax
2023-06-04dir-locals: Fix MATCH-RECORD indentation.(unmatched-parenthesis d
2023-06-04records: match-record: Support thunked and delayed fields.(unmatched-parenthesis d
2023-06-04records: match-record: Raise a syntax error if TYPE is nonexistent.(unmatched-parenthesis
2023-06-04gnu: sbsigntools: Update to 0.9.5.kiasoc5
2023-06-04gnu: proot: Update to 5.4.0 and fix clone3 behavior.Josselin Poiret
2023-06-04gnu: heimdal: Drop obsolete and insecure user tools.Felix Lechner
2023-06-04gnu: heimdal: Run autoreconf.Felix Lechner
2023-06-04services: screen-locker-service-type: Configurable PAM and setuid.muradm
2023-06-04gnu: mpd: Split outputs.Bruno Victal
2023-06-04gnu: mpd: Enable tests.Bruno Victal
2023-06-04gnu: mpd: Update to 0.23.13.Leo Famulari
2023-06-04gnu: d-feet: Fix build errors when using Meson 1.1.0.Zhu Zihao
2023-06-03gnu: font-charter: Remove woff2 output.Arun Isaac
2023-06-03gnu: notcurses: Enable building without pandoc.Efraim Flashner
2023-06-03gnu: emacs-straight-el: Update to 0-2.039e5c9.Hilton Chain
2023-06-03gnu: guile-png: Update to 0.5.0.Artyom V. Poptsov
2023-06-03gnu: python-zulip: Fix test failure.gemmaro
2023-06-03gnu: guix-build-coordinator: Update to 0-85.c44d485.Christopher Baines
2023-06-03gnu: Remove obs-spectralizer.Andy Tai
2023-06-03gnu: Add s7.Antero Mejr
2023-06-03gnu: Add s7-bootstrap.Antero Mejr
2023-06-03gnu: notcurses: Update to 3.0.9.Antero Mejr
2023-06-03gnu: r-biased-urn: Update to 2.0.10.Ricardo Wurmus
2023-06-03gnu: r-matrixstats: Update to 1.0.0.Ricardo Wurmus
2023-06-03gnu: r-mvtnorm: Update to 1.2-0.Ricardo Wurmus
2023-06-03gnu: r-stringfish: Update to 0.15.8.Ricardo Wurmus
2023-06-03gnu: r-scico: Update to 1.4.0.Ricardo Wurmus
2023-06-03gnu: r-shapforxgboost: Update to 0.1.3.Ricardo Wurmus
2023-06-03gnu: r-projpred: Update to 2.6.0.Ricardo Wurmus
2023-06-03gnu: r-stanheaders: Update to 2.26.26.Ricardo Wurmus
2023-06-03gnu: r-regsem: Update to 1.9.5.Ricardo Wurmus
2023-06-03gnu: r-adabag: Update to 5.0.Ricardo Wurmus
2023-06-03gnu: r-assertive-code: Update to 0.0-4.Ricardo Wurmus
2023-06-03gnu: r-ontologyindex: Update to 2.11.Ricardo Wurmus
2023-06-03gnu: r-performance: Update to 0.10.4.Ricardo Wurmus
2023-06-03gnu: r-biasedurn: Update to 2.0.10.Ricardo Wurmus
2023-06-03gnu: r-maptools: Update to 1.1-7.Ricardo Wurmus
2023-06-03gnu: r-catdap: Update to 1.3.7.Ricardo Wurmus
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 09:56:08 +0000