summary refs log tree commit diff
AgeCommit message (Expand)Author
2022-10-03gnu: ocaml-dose3: Migrate from gforce.inria.fr.Maxim Cournoyer
2022-10-03gnu: Remove unused scotch patches.Maxim Cournoyer
2022-10-03gnu: mpfi: Update to 1.5.4-1.b982534.Maxim Cournoyer
2022-10-03gnu: mpfi: Use gexps and remove input labels.Maxim Cournoyer
2022-10-03gnu: isl: Remove outdated comment.Maxim Cournoyer
2022-10-03gnu: gappa: Honor TESTS?.Maxim Cournoyer
2022-10-03gnu: gappa: Update to 1.4.1.Maxim Cournoyer
2022-10-03gnu: gmp-ecm: Update to 7.0.5.Maxim Cournoyer
2022-10-03gnu: gf2x: Update to 1.3.0.Maxim Cournoyer
2022-10-03gnu: gf2x: Migrate from gforge.inria.fr to gitlab.inria.fr.Maxim Cournoyer
2022-10-03gnu-maintenance: Remove retired 'gforge.inria.fr' site.Maxim Cournoyer
2022-10-03news: Add 'pt' translation.Thiago Jung Bauermann
2022-10-03etc: teams: Add news.scm to translations team scope.Thiago Jung Bauermann
2022-10-03gnu: emacs-ag: Do not propagate the-silver-searcher.Michael Rohleder
2022-10-03gnu: emacs-ag: Use gexps.Michael Rohleder
2022-10-02gnu: python-louvain: Fix test.Greg Hogan
2022-10-02gnu: python-setools: Update to 4.4.0.Greg Hogan
2022-10-02gnu: python-cfn-lint: Update to 0.65.0.Greg Hogan
2022-10-02gnu: Add python-sarif-om.Greg Hogan
2022-10-02gnu: Add python-jschema-to-python.Greg Hogan
2022-10-02gnu: python-aws-sam-translator: Update to 1.51.0.Greg Hogan
2022-10-02gnu: python-networkx: Update to 2.8.6.Greg Hogan
2022-10-02gnu: Add texlive-generic-xstring.Wiktor Żelazny
2022-10-02gnu: emacs-telega: Use tdlib-1.8.0Giovanni Biscuolo
2022-10-02gnu: Add tdlib-1.8.0.Giovanni Biscuolo
2022-10-02gnu: ffmpeg@4: Build against SDL2 2.0 so 'ffplay' gets built.Ludovic Courtès
2022-10-02read-print: Fix indentation rule for 'match-lambda*'.Ludovic Courtès
2022-10-02doc: Update the URL of ISC DHCP.Ludovic Courtès
2022-10-02transformations: Switch to SRFI-71.Ludovic Courtès
2022-10-02gnu: emacs-scratch-el: Update source and homepage.Michael Rohleder
2022-10-02gnu: pantalaimon: Update to 0.10.5.Michael Rohleder
2022-10-02gnu: python-matrix-nio: Update to 0.20.0.Michael Rohleder
2022-10-02gnu: python-aiohttp-socks: Update to 0.7.1.Michael Rohleder
2022-10-02gnu: python-socks: Update to 2.0.3.Michael Rohleder
2022-10-02gnu: Add go-1.19.Hilton Chain
2022-10-02gnu: Add go-1.18.Hilton Chain
2022-10-02gnu: Add ghc-9.0.itd
2022-10-02gnu: csound: Update to 6.16.2.Fulbert
2022-10-02gnu: units: Update to 2.22.Mike Swanson
2022-10-02gnu: neovim: Update to 0.8.0.ギャラ
2022-10-02gnu: libvterm: Update to 0.3.0.ギャラ
2022-10-01gnu: ungoogled-chromium: Update to 106.0.5249.91-1.Marius Bakke
2022-10-01gnu: exercism: Remove input labels.Efraim Flashner
2022-10-01gnu: exercism: Update home-page.Efraim Flashner
2022-10-01gnu: exercism: Install shell completions.Efraim Flashner
2022-10-01gnu: nanovna-saver: Update to 0.5.3.Guillaume Le Vaillant
2022-10-01gnu: komikku: Update to 1.0.0.Liliana Marie Prikler
2022-10-01gnu: komikku: Use G-Expressions.Liliana Marie Prikler
2022-10-01gnu: gfeeds: Update to 1.0.3.Liliana Marie Prikler
2022-10-01gnu: gfeeds: Modernize package description.Liliana Marie Prikler