summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-03-12gnu: r-cicero: Update to 1.4.4....Ricardo Wurmus
2020-03-12gnu: r-ggcyto: Update to 1.14.1....Ricardo Wurmus
2020-03-12gnu: r-mlinterfaces: Update to 1.66.5....Ricardo Wurmus
2020-03-12gnu: r-qtl: Update to 1.46-2....Ricardo Wurmus
2020-03-12gnu: Add hyperledger-iroha....Pierre Neidhardt
2020-03-12gnu: Add boost-1.69....Efraim Flashner
2020-03-12gnu: Add hyperledger-iroha-ed25519....Pierre Neidhardt
2020-03-12gnu: grpc: Build shared libraries....Efraim Flashner
2020-03-12gnu: python2-jupyter-console: Build with python2....Efraim Flashner
2020-03-12gnu: python-jupyter-console: Specify python2 variant....Efraim Flashner
2020-03-12services: mumi-service-type: Update to latest version of mumi....Ricardo Wurmus
2020-03-12gnu: mumi: Update to 0.0.0-7.6653e2d....Ricardo Wurmus
2020-03-12gnu: r-cairo: Update to 1.5-11....Ricardo Wurmus
2020-03-12gnu: dune-istl: Build with suitesparse...Felix Gruber
2020-03-12gnu: Add dune-subgrid...Felix Gruber
2020-03-12gnu: Add dune-uggrid....Felix Gruber
2020-03-12gnu: dune-*: set up MPI for tests...Felix Gruber
2020-03-12inferior: Distinguish inferior exceptions....Ludovic Courtès
2020-03-12import: cpan: Gracefully handle missing projects....Ludovic Courtès
2020-03-12import: utils: Remove 'assoc-ref*'....Ludovic Courtès
2020-03-12import: pypi: Rewrite to use 'define-json-mapping'....Ludovic Courtès
2020-03-12gnu: guile-next: Enable JIT on ARMv7....Ludovic Courtès
2020-03-12gnu: Add virtualpg....Guillaume Le Vaillant
2020-03-12gnu: jgmenu: Update to 4.1.0....Guillaume Le Vaillant
2020-03-12gnu: udiskie: Update to 2.1.0....Guillaume Le Vaillant
2020-03-12gnu: txr: Update to 233....Guillaume Le Vaillant
2020-03-12doc: Fix description for "guix package -A"....Danny Milosavljevic
2020-03-12gnu: python2-ipython: Fix build....Efraim Flashner
2020-03-12gnu: xlockmore: Update to 5.62....Tobias Geerinckx-Rice
2020-03-12gnu: xlockmore: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: mame: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: dosbox: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: Add gitless....Tobias Geerinckx-Rice
2020-03-12gnu: faust: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: rsound: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: libgme: Update to 0.6.3....Tobias Geerinckx-Rice
2020-03-12gnu: xmobar: Update to 0.33....Tobias Geerinckx-Rice
2020-03-12gnu: gptfdisk: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: ephoto: Update source and home page URIs....Tobias Geerinckx-Rice
2020-03-12gnu: s6: Update to 2.9.1.0....Tobias Geerinckx-Rice
2020-03-12gnu: simple-scan: Update to 3.36.0....Tobias Geerinckx-Rice
2020-03-12gnu: picprog: Use HTTPS home page....Tobias Geerinckx-Rice
2020-03-12gnu: java-snappy: Don't use unstable tarball....Tobias Geerinckx-Rice
2020-03-12gnu: java-snappy: Update to 1.1.7.3....Tobias Geerinckx-Rice
2020-03-11gnu: Borg: Update to 1.1.11....Leo Famulari
2020-03-11gnu: xxHash: Update to 0.7.3....Leo Famulari
2020-03-11gnu: Remove year range from copyright header....Marius Bakke
2020-03-11gnu: Remove duplicate copyright line....Marius Bakke
2020-03-11gnu: python-cookies: Use the correct version of pytest....Marius Bakke
2020-03-11gnu: python2-radon: Fix build....Marius Bakke