summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-01-05system: bootstrap: Compute and print the result's hash.wip-system-bootstrapLudovic Courtès2-7/+81
2020-01-05DRAFT serialization: Avoid 'define-values', for the sake of Guile 2.0.Ludovic Courtès1-0/+15
2020-01-05bootstrap: Add %bootstrap-guile+guild.Jan Nieuwenhuizen1-0/+51
2020-01-05DRAFT system: Add (gnu system bootstrap).Ludovic Courtès2-0/+192
2020-01-05DRAFT gexp: Add 'object-sources'.Ludovic Courtès1-0/+54
2020-01-05DRAFT gexp: Add 'raw-derivation-closure'.Ludovic Courtès1-0/+32
2020-01-05derivations: Add #:skip-dependencies? parameter to 'derivation-input-fold'.Ludovic Courtès1-4/+9
2020-01-05store: Add #:cut? parameter to 'topologically-sorted'.Ludovic Courtès2-13/+27
2020-01-05monads: Add portability to Guile 2.0.Ludovic Courtès1-6/+11
2020-01-05utils: 'version-compare' delays 'dynamic-link' code.Ludovic Courtès1-4/+7
2020-01-04gexp: Add 'raw-derivation-file'.Ludovic Courtès2-1/+56
2020-01-04gnu: guile-hashing: Add variant for Guile 3.0.Ludovic Courtès1-1/+8
2020-01-04gnu: Add guile-hashing.Ludovic Courtès1-0/+51
2020-01-04build-system/guile: Add #:implicit-inputs?.Jan Nieuwenhuizen1-3/+7
2020-01-04gnu: Add cl-zpb-ttf.Ricardo Wurmus1-1/+30
2020-01-04gnu: Add opencog.Ricardo Wurmus1-0/+53
2020-01-04gnu: Add attention.Ricardo Wurmus1-0/+45
2020-01-04gnu: Add link-grammar.Ricardo Wurmus1-0/+25
2020-01-04gnu: Add cogserver.Ricardo Wurmus1-0/+43
2020-01-04gnu: Add atomspace.Ricardo Wurmus1-0/+49
2020-01-04gnu: Add cogutil.Ricardo Wurmus2-1/+64
2020-01-04gnu: nfs-utils: Update to 2.4.2.Ricardo Wurmus3-40/+25
2020-01-04gnu: swi-prolog: Update to 8.1.20.Brett Gilio1-2/+2
2020-01-04gnu: swi-prolog: Modify documentation installation.Brett Gilio1-2/+1
2020-01-04gnu: swi-prolog: Enable tests.Brett Gilio1-1/+27
2020-01-04gnu: Add jgmenu.Guillaume Le Vaillant1-0/+49
2020-01-03gnu: Add emacs-company-posframe.LaFreniere, Joseph1-0/+29
2020-01-03gnu: Add swi-prolog.Brett Gilio1-0/+57
2020-01-03gnu: gprolog: Use license prefix.Brett Gilio1-2/+3
2020-01-03Revert "gnu: Add swi-prolog."Brett Gilio1-43/+0
2020-01-03gnu: Add swi-prolog.Brett Gilio1-0/+43
2020-01-03gnu: Rename module gprolog to prolog.Brett Gilio2-2/+3
2020-01-03gnu: femtolisp: Update to 0.0.0-2.Brett Gilio1-3/+3
2020-01-04gnu: soundtouch: Update to 2.1.2.Tobias Geerinckx-Rice1-3/+3
2020-01-04gnu: doctest: Update to 2.3.6.Tobias Geerinckx-Rice1-3/+3
2020-01-04gnu: polybar: Update to 3.4.2.Tobias Geerinckx-Rice1-3/+3
2020-01-04gnu: libshout: Update to 2.4.3.Tobias Geerinckx-Rice1-3/+3
2020-01-04gnu: html-xml-utils: Update to 7.8.Tobias Geerinckx-Rice1-4/+3
2020-01-04gnu: mg: Use @command mark-up in description.Tobias Geerinckx-Rice1-3/+3
2020-01-03gnu: python-language-server: Update to 0.31.4.Brett Gilio1-3/+3
2020-01-03gnu: emacs-pyvenv: Update to 1.21.Brett Gilio1-2/+2
2020-01-03gnu: emacs-request: Disable tests.Brett Gilio1-0/+2
2020-01-03gnu: emacs-request: Update to 0.3.2.Brett Gilio1-2/+2
2020-01-03gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio1-0/+4
2020-01-03gnu: Add ocaml-fftw3.Brett Gilio1-0/+33
2020-01-03gnu: Add ocaml-lacaml.Brett Gilio1-0/+33
2020-01-03gnu: ocaml-utop: Modify home-page.Brett Gilio1-1/+1
2020-01-03gnu: ocaml-utop: Update to 2.4.3.Brett Gilio1-2/+2
2020-01-03gnu: Add lean.Amin Bandali2-0/+67
2020-01-03gnu: Add cl-ana.Katherine Cox-Buday1-0/+53
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-03 05:26:37 +0000