index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
Age
Commit message (
Expand
)
Author
2020-01-04
gnu: Add atomspace.
Ricardo Wurmus
2020-01-04
gnu: Add cogutil.
Ricardo Wurmus
2020-01-04
gnu: nfs-utils: Update to 2.4.2.
Ricardo Wurmus
2020-01-04
gnu: swi-prolog: Update to 8.1.20.
Brett Gilio
2020-01-04
gnu: swi-prolog: Modify documentation installation.
Brett Gilio
2020-01-04
gnu: swi-prolog: Enable tests.
Brett Gilio
2020-01-04
gnu: Add jgmenu.
Guillaume Le Vaillant
2020-01-03
gnu: Add emacs-company-posframe.
LaFreniere, Joseph
2020-01-03
gnu: Add swi-prolog.
Brett Gilio
2020-01-03
gnu: gprolog: Use license prefix.
Brett Gilio
2020-01-03
Revert "gnu: Add swi-prolog."
Brett Gilio
2020-01-03
gnu: Add swi-prolog.
Brett Gilio
2020-01-03
gnu: Rename module gprolog to prolog.
Brett Gilio
2020-01-03
gnu: femtolisp: Update to 0.0.0-2.
Brett Gilio
2020-01-04
gnu: soundtouch: Update to 2.1.2.
Tobias Geerinckx-Rice
2020-01-04
gnu: doctest: Update to 2.3.6.
Tobias Geerinckx-Rice
2020-01-04
gnu: polybar: Update to 3.4.2.
Tobias Geerinckx-Rice
2020-01-04
gnu: libshout: Update to 2.4.3.
Tobias Geerinckx-Rice
2020-01-04
gnu: html-xml-utils: Update to 7.8.
Tobias Geerinckx-Rice
2020-01-04
gnu: mg: Use @command mark-up in description.
Tobias Geerinckx-Rice
2020-01-03
gnu: python-language-server: Update to 0.31.4.
Brett Gilio
2020-01-03
gnu: emacs-pyvenv: Update to 1.21.
Brett Gilio
2020-01-03
gnu: emacs-request: Disable tests.
Brett Gilio
2020-01-03
gnu: emacs-request: Update to 0.3.2.
Brett Gilio
2020-01-03
gnu: emacs-doom-themes: Add note about byte-compilation issue.
Brett Gilio
2020-01-03
gnu: Add ocaml-fftw3.
Brett Gilio
2020-01-03
gnu: Add ocaml-lacaml.
Brett Gilio
2020-01-03
gnu: ocaml-utop: Modify home-page.
Brett Gilio
2020-01-03
gnu: ocaml-utop: Update to 2.4.3.
Brett Gilio
2020-01-03
gnu: Add lean.
Amin Bandali
2020-01-03
gnu: Add cl-ana.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.statistical-learning.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-utils.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-branch.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-graphviz.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-table.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-progress.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-block.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres-macro.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.makeres.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.serialization.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.table-viewing.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.plotting.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.gnuplot-interface.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.statistics.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.file-utils.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.histogram.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.fitting.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.map.
Katherine Cox-Buday
2020-01-03
gnu: Add cl-ana.hash-table-utils.
Katherine Cox-Buday
[next]