summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* gnu: frama-c: Update to 28.1.issue-70567Jean-Pierre De Jesus DIAZ30 hours
* gnu: Add ocaml-unionfind.Jean-Pierre De Jesus DIAZ30 hours
* gnu: why3: Enable extra features.Jean-Pierre De Jesus DIAZ30 hours
* gnu: why3: Use new style.Jean-Pierre De Jesus DIAZ30 hours
* gnu: why3: Update to 1.7.2.Jean-Pierre De Jesus DIAZ30 hours
* gnu: coq-flocq: Update to 4.1.4.Jean-Pierre De Jesus DIAZ30 hours
* gnu: ocaml-lablgtk3-sourceview3: Fix inputs.Jean-Pierre De Jesus DIAZ30 hours
* gnu: linux-libre 4.19: Update to 4.19.313.base-for-issue-70818base-for-issue-70812base-for-issue-70810base-for-issue-70802base-for-issue-70567Wilko Meyer3 days
* gnu: linux-libre 5.4: Update to 5.4.275.Wilko Meyer3 days
* gnu: linux-libre 5.10: Update to 5.10.216.Wilko Meyer3 days
* gnu: linux-libre 5.15: Update to 5.15.158.Wilko Meyer3 days
* gnu: linux-libre 6.1: Update to 6.1.90.Wilko Meyer3 days
* gnu: linux-libre 6.6: Update to 6.6.30.Wilko Meyer3 days
* gnu: linux-libre-6.8-gnu-revision: Update to 6.8.9.Wilko Meyer3 days
* gnu: Add mupen64plus-video-gliden64.Maxim Cournoyer3 days
* gnu: mupen64plus-ui-console: Modernize.Maxim Cournoyer3 days
* gnu: mupen64plus-video-rice: Adjust synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-video-glide64mk2: Fix synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-video-glide64: Fix synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-video-arachnoid: Fix synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-rsp-z64: Fix synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-rsp-hle: Fix synopsis.Maxim Cournoyer3 days
* gnu: mupen64plus-audio-sdl: Fix synopsis.Maxim Cournoyer3 days
* gnu: Add python-pyahocorasick.nafkhamdc3 days
* gnu: Add r-memes.nafkhamdc3 days
* gnu: python-graphtools: Fix tests.Ricardo Wurmus3 days
* gnu: python-gpy: Update to 1.13.1.Ricardo Wurmus3 days
* gnu: python-pygsp: Add missing input.Ricardo Wurmus3 days
* gnu: python-paramz: Update to 0.9.6.Ricardo Wurmus3 days
* gnu: python-pingouin: Update to 0.5.4.Ricardo Wurmus3 days
* gnu: python-liana-py: Update to 1.1.0.Ricardo Wurmus3 days
* gnu: python-plotnine: Fix version string.Ricardo Wurmus3 days
* gnu: python-plotnine: Disable test because of harmless warning.Ricardo Wurmus3 days
* gnu: python-mapie: Disable strict tests.Ricardo Wurmus3 days
* gnu: python-scikit-learn-extra: Disable a validation test.Ricardo Wurmus3 days
* gnu: python-cooltools: Update to 0.7.0.Ricardo Wurmus3 days
* gnu: python-bioframe: Update to 0.6.4.Ricardo Wurmus3 days
* gnu: python-verde: Add missing input.Ricardo Wurmus3 days
* gnu: python-statmake: Adjust tests and version checks.Ricardo Wurmus3 days
* gnu: python-decoupler-py: Update to 1.6.0.Ricardo Wurmus3 days
* gnu: python-omnipath: Update to 1.0.8.Ricardo Wurmus3 days
* gnu: barectf: Use python-termcolor-1.Ricardo Wurmus3 days
* gnu: Add python-termcolor-1.Ricardo Wurmus3 days
* gnu: python-pytest-shutil: Disable a test.Ricardo Wurmus3 days
* gnu: python-cleanlab: Update to 2.6.3.Ricardo Wurmus3 days
* gnu: python-termcolor: Update to 2.4.0.Ricardo Wurmus3 days
* gnu: python-hicexplorer: Update to 3.7.4.Ricardo Wurmus3 days
* gnu: snakemake-5: Patch version string.Ricardo Wurmus3 days
* gnu: snakemake-5: Make compatible with tabulate 0.9.0.Ricardo Wurmus3 days
* gnu: snakemake: Fetch from git repository.Ricardo Wurmus3 days