aboutsummaryrefslogtreecommitdiff
Normally a ChangeLog is generated at "make dist" time and available in
source tarballs.

If not, see the Git commit log at <http://git.sv.gnu.org/cgit/guix.git/>.
h class='left'>AgeCommit message (Expand)Author 2020-04-02gnu: proof-general: Update home-page....John Soo 2020-04-02gnu: proof-general: Update to 4.4....John Soo 2020-03-05gnu: coq-mathcomp: Update home page URI....Björn Höfling 2020-01-07gnu: coq-stdpp: Reword comment....Brett Gilio 2020-01-07gnu: coq-stdpp: Update to 1.2.1....Brett Gilio 2020-01-07gnu: coq-bignums: Fix comment spacing....Brett Gilio 2020-01-07gnu: coq-bignums: Update to 8.10.0....Brett Gilio 2020-01-06gnu: coq-equations: Update to 1.2.1....Brett Gilio 2020-01-06gnu: coq-interval: Update to 3.4.1....Brett Gilio 2020-01-06gnu: coq-coquelicot: Truncate home-page....Brett Gilio 2020-01-06gnu: coq-coquelicot: Update to 3.0.3....Brett Gilio 2020-01-06gnu: coq-gappa: Use HTTPS home page URI....Brett Gilio 2020-01-06gnu: coq-gappa: Update to 1.4.2....Brett Gilio 2020-01-06gnu: coq-flocq: Use HTTPS home page URI....Brett Gilio 2020-01-06gnu: coq-flocq: Update to 3.2.0....Brett Gilio 2020-01-06gnu: coq: Reword several comments....Brett Gilio 2020-01-06gnu: coq: Update to 8.10.2....Brett Gilio 2020-01-05gnu: coq-mathcomp: Update to 1.10.0....Brett Gilio 2019-12-12gnu: coq: Split coqide....Julien Lepiller 2019-11-25gnu: coq-bignums: Don't use unstable tarball....Efraim Flashner 2019-10-20gnu: Remove more GCC < 7 workarounds....Marius Bakke avail'>...Maxim Cournoyer 2023-08-16doc: cookbook: Document a dynamic DNS update mcron job....Maxim Cournoyer 2023-08-16doc: Update Cookbook Texinfo menus....Maxim Cournoyer 2023-08-15doc: cookbook: Mention common SRFI-1 procedures....Ludovic Courtès 2023-08-15doc: cookbook: Add 'use-modules' in gexp example....Ludovic Courtès 2023-08-15doc: cookbook: Link to "Package Modules"....Ludovic Courtès 2023-07-14doc: Mention gexps in the "Scheme Crash Course"....Ludovic Courtès 2023-06-05doc: cookbook: Update example my-libgit2 package....Efraim Flashner 2023-06-04services: screen-locker-service-type: Configurable PAM and setuid....muradm 2023-05-31nls: Update translations....Florian Pelz 2023-05-06doc: cookbook: Remove outdated section about GUIX_PACKAGE_PATH....Ludovic Courtès 2023-01-09doc: cookbook: Add "Installing Guix on a Cluster" chapter....Ludovic Courtès 2023-01-06doc: cookbook: Remove 404 link to mitpress.mit.edu....Ludovic Courtès 2022-11-27doc: cookbook: Fix commands in example....Florian Pelz 2022-11-24doc: Add a security keys section to the cookbook....Maxim Cournoyer 2022-11-06doc: cookbook: Add section on MPD with bluealsa....Ricardo Wurmus 2022-11-06doc: cookbook: Update detailed menu for "System Configuration"....Ricardo Wurmus 2022-10-13doc: Add chapter on containers to Cookbook....Ricardo Wurmus 2022-07-08doc: cookbook: Link to "A Scheme Primer"....Ludovic Courtès 2022-07-08doc: cookbook: Suggest 'guix shell'....Ludovic Courtès 2022-06-01doc: cookbook: Refer to the "Writing Manifests" manual node....Ludovic Courtès 2022-04-08doc: cookbook: Fix cross-reference to SICP....Ludovic Courtès 2022-04-08doc: cookbook: Fix cross-reference to the manual....Ludovic Courtès 2022-03-18doc: cookbook: Update Tor onion service name....Ludovic Courtès