summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-06-06gnu: thc-ipv6: Do not build with "-march=native"....Z572
2023-06-05gnu: linux-libre 5.4: Update to 5.4.245....Leo Famulari
2023-06-05gnu: linux-libre 5.10: Update to 5.10.182....Leo Famulari
2023-06-05gnu: linux-libre 5.15: Update to 5.15.115....Leo Famulari
2023-06-05gnu: linux-libre 6.1: Update to 6.1.32....Leo Famulari
2023-06-05gnu: linux-libre: Update to 6.3.6....Leo Famulari
2023-06-05gnu: blurhash: Update to 0.2.0....Efraim Flashner
2023-06-05gnu: cpp-httplib: Update to 0.12.5....Efraim Flashner
2023-06-05doc: Fix some typos in the manual....Efraim Flashner
2023-06-05gnu: python-codespell: Update to 2.2.4....Efraim Flashner
2023-06-05doc: cookbook: Update example my-libgit2 package....Efraim Flashner
2023-06-05import/cran: Ensure current package is not among inputs....Ricardo Wurmus
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 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