aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2020-01-04gnu: swi-prolog: Update to 8.1.20....Brett Gilio
2020-01-04gnu: swi-prolog: Modify documentation installation....Brett Gilio
2020-01-04gnu: swi-prolog: Enable tests....Brett Gilio
2020-01-04gnu: Add jgmenu....Guillaume Le Vaillant
2020-01-03gnu: Add emacs-company-posframe....LaFreniere, Joseph
2020-01-03gnu: Add swi-prolog....Brett Gilio
2020-01-03gnu: gprolog: Use license prefix....Brett Gilio
2020-01-03Revert "gnu: Add swi-prolog."...Brett Gilio
2020-01-03gnu: Add swi-prolog....Brett Gilio
2020-01-03gnu: Rename module gprolog to prolog....Brett Gilio
2020-01-03gnu: femtolisp: Update to 0.0.0-2....Brett Gilio
2020-01-04gnu: soundtouch: Update to 2.1.2....Tobias Geerinckx-Rice
2020-01-04gnu: doctest: Update to 2.3.6....Tobias Geerinckx-Rice
2020-01-04gnu: polybar: Update to 3.4.2....Tobias Geerinckx-Rice
2020-01-04gnu: libshout: Update to 2.4.3....Tobias Geerinckx-Rice
2020-01-04gnu: html-xml-utils: Update to 7.8....Tobias Geerinckx-Rice
2020-01-04gnu: mg: Use @command mark-up in description....Tobias Geerinckx-Rice
2020-01-03gnu: python-language-server: Update to 0.31.4....Brett Gilio
2020-01-03gnu: emacs-pyvenv: Update to 1.21....Brett Gilio
2020-01-03gnu: emacs-request: Disable tests....Brett Gilio
2020-01-03gnu: emacs-request: Update to 0.3.2....Brett Gilio
2020-01-03gnu: emacs-doom-themes: Add note about byte-compilation issue....Brett Gilio
2020-01-03gnu: Add ocaml-fftw3....Brett Gilio
2020-01-03gnu: Add ocaml-lacaml....Brett Gilio
2020-01-03gnu: ocaml-utop: Modify home-page....Brett Gilio
2020-01-03gnu: ocaml-utop: Update to 2.4.3....Brett Gilio
2020-01-03gnu: Add lean....Amin Bandali
2020-01-03gnu: Add cl-ana....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.statistical-learning....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-utils....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-branch....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-graphviz....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-table....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-progress....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-block....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-macro....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.serialization....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.table-viewing....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.plotting....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.gnuplot-interface....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.statistics....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.file-utils....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.histogram....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.fitting....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.map....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.hash-table-utils....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.clos-utils....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.lorentz....Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.linear-algebra....Katherine Cox-Buday