summary refs log tree commit diff
AgeCommit message (Expand)Author
2023-06-05gnu: proj-7: Add upstream patch.Ricardo Wurmus
2023-06-05gnu: python-bulkvis: Reference upstream issue.Ricardo Wurmus
2023-06-05gnu: python-tenacity: Use pyproject-build-system.Ricardo Wurmus
2023-06-05gnu: python-tenacity: Use Tornado 6.Ricardo Wurmus
2023-06-05gnu: python-bokeh: Use Tornado 6.Ricardo Wurmus
2023-06-05gnu: Add python-bulkvis.Navid Afkhami
2023-06-05gnu: Add python-readpaf.Navid Afkhami
2023-06-05gnu: gcompris-qt: Update to 3.2.Efraim Flashner
2023-06-05gnu: mupdf: Update to 1.22.1.Timotej Lazar
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 malformedJosselin 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