aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-06-04gnu: lagrange: Update to 1.16.3....Efraim Flashner
2023-06-04gnu: keepassxc: Update to 2.7.5....Efraim Flashner
2023-06-04gnu: urlscan: Update to 1.0.0....Efraim Flashner
2023-06-04gnu: tree: Update to 2.1.1....Efraim Flashner
2023-06-04gnu: jpegoptim: Fix cross-compiling to riscv64....Zheng Junjie
2023-06-04gnu: libicns: Fix cross-compiling to riscv64....Zheng Junjie
2023-06-04gnu: gsettings-desktop-schemas: Fix cross-compiling....Zheng Junjie
2023-06-04gnu: gobject-introspection: Fix cross-compiling....Zheng Junjie
2023-06-04gnu: mtdev: Fix cross-compiling to riscv64....Zheng Junjie
2023-06-04gnu: xcb-util-wm: Fix cross-compiling to riscv64....Zheng Junjie
2023-06-04gnu: libxtst: Fix cross-compiling to riscv64....Zheng Junjie
2023-06-04gnu: libdeflate: Use default tests....Efraim Flashner
2023-06-04channels: Raise an error if dependency's introduction is malformed...Josselin Poiret
2023-06-04gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7....Josselin Poiret
2023-06-04gnu: Add agda-1lab....Josselin Poiret
2023-06-04gnu: Add agda-cubical....Josselin Poiret
2023-06-04gnu: Add agda-categories....Josselin Poiret
2023-06-04gnu: Add agda-stdlib....Josselin Poiret
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
generated by cgit